Bibliografías temáticas / Defeasible deontic logic

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias

Literatura académica sobre el tema "Defeasible deontic logic"

Autor: Grafiati
Publicado: 11 de marzo de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Defeasible deontic logic".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Defeasible deontic logic"

1

Kontopoulos, Efstratios, Nick Bassiliades, Guido Governatori y Grigoris Antoniou. "A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web". International Journal on Semantic Web and Information Systems 7, n.º 1 (enero de 2011): 18–43. http://dx.doi.org/10.4018/jswis.2011010102.

Texto completo
Resumen
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions, and individual rights. Toward this direction, this article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic logic operators, concerned with obligations, permissions, and related concepts. The motivation behind this work is to develop a practical defeasible reasoner for the Semantic Web that takes advantage of the expressive power offered by modal logics, accompanied by the flexibility to define diverse agent behaviours. A further incentive is to study the various motivational notions of deontic logic and discuss the cognitive state of agents, as well as the interactions among them.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Trelles, Oscar. "Donald Nute (ed.): Defeasible Deontic Logic". Areté 13, n.º 2 (1 de diciembre de 2001): 183–93. http://dx.doi.org/10.18800/arete.200102.008.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Ryu, Young U. "Conditional deontic logic augmented with defeasible reasoning". Data & Knowledge Engineering 16, n.º 1 (julio de 1995): 73–91. http://dx.doi.org/10.1016/0169-023x(95)00008-g.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Hu, Ivan. "Defeasible Tolerance and the Sorites". Journal of Philosophy 117, n.º 4 (2020): 181–218. http://dx.doi.org/10.5840/jphil2020117413.

Texto completo
Resumen
I propose a novel solution to the Sorites Paradox. The account vindicates the tolerance of vague predicates in a way that properly addresses the normativity of vagueness while avoiding sorites contradiction, by treating sorites reasoning as a type of defeasible reasoning. I show how this can be done within the setting of a nonmonotonic deontic logic. Central to the proposal is its deontic interpretation of tolerance. I draw a key distinction between two types of tolerance, based on different deontic notions, and show how the account captures key differences between these types of sorites reasoning. I compare the resulting theory to various existing contextualist proposals and argue that it better accounts for the normative aspects of sorites reasoning.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Dong, Huimin. "Logic of defeasible permission and its dynamics". Journal of Logic and Computation 31, n.º 4 (5 de mayo de 2021): 1158–93. http://dx.doi.org/10.1093/logcom/exab022.

Texto completo
Resumen
Abstract This paper develops a deontic logic for defeasible permission and studies norm change in various updated semantics. When one grants that $\varphi $ or $\psi $ is permitted, normally, it goes together with the conjunction of a permission of $\varphi $ and that of $\psi $. In the monotonic reasoning on this permission, a permission of $\varphi $ leads to a permission of $\varphi $ and $\psi $; however, if a prohibition of $\psi $ is introduced, we get into trouble. We face a paradox of free choice permission. Many solutions have been proposed, but a systematic account of handling norm change is still needed. This paper first introduces the notion of normality to develop a sound and complete deontic logic for defeasible permission, which can be used to analyse several notions in natural language and in game theory. Further, following Lewis’ idea of norm change, a systematic way to capture various dynamics for updating permission and obligation is proposed.
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Prakken, Henry. "Two approaches to the formalisation of defeasible deontic reasoning". Studia Logica 57, n.º 1 (julio de 1996): 73–90. http://dx.doi.org/10.1007/bf00370670.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Nakamatsu, Kazumi. "Pipeline Valve Control Based on EVALPSN Safety Verification". Journal of Advanced Computational Intelligence and Intelligent Informatics 10, n.º 5 (20 de septiembre de 2006): 647–56. http://dx.doi.org/10.20965/jaciii.2006.p0647.

Texto completo
Resumen
We have developed an annotated logic program called an Extended Vector Annotated Logic Program with Strong Negation (abbr. EVALPSN), which can deal with defeasible deontic reasoning and contradiction. We have already applied EVALPSN to safety verification and control such as railway interlocking safety verification. In this paper, we show how to apply EVALPSN to pipeline valve control with an example for brewery pipeline valve control. The safety verification control is based on EVALPSN programming to avoid unexpected mix of different sorts of liquid.
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Nakamatsu, Kazumi. "Application of paraconsistent annotated logic program bf-EVALPSN to intelligent control". Facta universitatis - series: Electronics and Energetics 26, n.º 1 (2013): 11–30. http://dx.doi.org/10.2298/fuee1301011n.

Texto completo
Resumen
A paraconsistent annotated logic program called EVALPSN has been developed for dealing with defeasible deontic reasoning and plausible reasoning, and applied to various kinds of intelligent control and safety verification. Moreover, in order to deal with before-after relation between processes(time intervals), bf(before-after)-EVALPSN has also been developed recently. In this paper, we review the reasoning system for before-after relation between processes based on bf- EVALPSN. The system consists of two groups of inference rules in bf-EVALPSN called basic and transitive bf-inference rules. The application of the reasoning system to real-time process order control is introduced with simple examples.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

LAM, HO-PUN y MUSTAFA HASHMI. "Enabling reasoning with LegalRuleML". Theory and Practice of Logic Programming 19, n.º 1 (14 de septiembre de 2018): 1–26. http://dx.doi.org/10.1017/s1471068418000339.

Texto completo
Resumen
AbstractIn order to automate verification process, regulatory rules written in natural language need to be translated into a format that machines can understand. However, none of the existing formalisms can fully represent the elements that appear in legal norms. For instance, most of these formalisms do not provide features to capture the behavior of deontic effects, which is an important aspect in automated compliance checking. This paper presents an approach for transforming legal norms represented using legalruleml to a variant of modal defeasible logic (and vice versa) such that a legal statement represented using LegalRuleML can be transformed into a machine-readable format that can be understood and reasoned about depending upon the client's preferences.
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Van Der Hoek, Wiebe. "Defeasible deontic logic, edited by Donald Nute, Synthese library, vol. 263, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, x + 354 pp." Bulletin of Symbolic Logic 6, n.º 1 (marzo de 2000): 89–94. http://dx.doi.org/10.2307/421079.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Tesis sobre el tema "Defeasible deontic logic"

1

Trelles, Oscar. "Donald Nute (ed.): Defeasible Deontic Logic". Pontificia Universidad Católica del Perú - Departamento de Humanidades, 2013. http://repositorio.pucp.edu.pe/index/handle/123456789/113238.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Libros sobre el tema "Defeasible deontic logic"

1

Nute, Donald. Defeasible Deontic Logic. Dordrecht: Springer Netherlands, 1997.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Nute, Donald, ed. Defeasible Deontic Logic. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

1947-, Nute Donald, ed. Defeasible deontic logic. Dordrecht: Kluwer Academic Publishers, 1997.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "Defeasible deontic logic"

1

Nute, Donald y Xiaochang Yu. "Introduction". En Defeasible Deontic Logic, 1–16. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_1.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Prakken, Henry y Marek Sergot. "Dyadic Deontic Logic and Contrary-to-Duty Obligations". En Defeasible Deontic Logic, 223–62. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_10.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Royakkers, Lambèr y Frank Dignum. "Defeasible Reasoning with Legal Rules". En Defeasible Deontic Logic, 263–86. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_11.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Nute, Donald. "Apparent Obligation". En Defeasible Deontic Logic, 287–315. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_12.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Carmo, José y Andrew J. I. Jones. "A New Approach to Contrary-to-Duty Obligations". En Defeasible Deontic Logic, 317–44. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_13.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Loui, R. P. "Alchourrón and von Wright on Conflict Among Norms". En Defeasible Deontic Logic, 345–51. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_14.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Horty, John F. "Nonmonotonic Foundations for Deontic Logic". En Defeasible Deontic Logic, 17–44. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Belzer, Marvin y Barry Loewer. "Deontic Logics of Defeasibility". En Defeasible Deontic Logic, 45–57. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Åqvist, Lennart. "Systematic Frame Constants in Defeasible Deontic Logic". En Defeasible Deontic Logic, 59–77. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_4.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

van der Torre, Leendert W. N. y Yao-Hua Tan. "The Many Faces of Defeasibility in Defeasible Deontic Logic". En Defeasible Deontic Logic, 79–121. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Defeasible deontic logic"

1

Governatori, Guido y Francesco Olivieri. "Unravel legal references in defeasible deontic logic". En ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3462757.3466080.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Delgrande, James. "A Preference-Based Approach to Defeasible Deontic Inference". En 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/33.

Texto completo
Resumen
In this paper we present an approach to defeasible deontic inference. Given a set of rules R expressing conditional obligations and a formula A giving contingent information, the goal is to determine the most desirable outcome with respect to this information. Semantically, the rules R induce a partial preorder on the set of models, giving the relative desirability of each model. Then the set of minimal A models characterises the best that can be attained given that A holds. A syntactic approach is also given, in terms of maximal subsets of material counterparts of rules in R, and that yields a formula that expresses the best outcome possible given that A holds. These approaches are shown to coincide, providing an analogue to a soundness and completeness result. Complexity is not unreasonable, being at the second level of the polynomial hierarchy when the underlying logic is propositional logic. The approach yields desirable and intuitive results, including for the various “paradoxes” of deontic reasoning. The approach also highlights an interesting difference in how specificity is dealt with in nonmonotonic and deontic reasoning.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Nakamatsu, Kazumi. "A defeasible deontic reasoning system based on annotated logic programming". En The fourth international conference on computing anticipatory systems (CASYS 2000). AIP, 2001. http://dx.doi.org/10.1063/1.1388726.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Kontopoulos, Efstratios, Nick Bassiliades, Guido Governatori y Grigoris Antoniou. "Extending a Defeasible Reasoner with Modal and Deontic Logic Operators". En 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology. IEEE, 2008. http://dx.doi.org/10.1109/wiiat.2008.164.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Nakamatsu, Kazumi. "Defeasible Deontic Robot Control Based on Extended Vector Annotated Logic Programming". En COMPUTING ANTICIPATORY SYSTEMS: CASYS 2001 - Fifth International Conference. AIP, 2002. http://dx.doi.org/10.1063/1.1503724.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía