Filters








633 Hits in 2.7 sec

Reactive Standard Deontic Logic [chapter]

Dov M. Gabbay
2013 Reactive Kripke Semantics  
We introduce a reactive variant of SDL (standard deontic logic): SDLR1 (reactive standard deontic logic).  ...  Given a Kripkean view on the semantics of SDL in terms of directed graphs where arrows → represent the accessibility relation between worlds, reactive models add two elements: arrows → are labelled as  ...  Research completed under the Russia-Israel Scientific Research Cooperation, Grant No 1321/10: combined modal logics.  ... 
doi:10.1007/978-3-642-41389-6_11 fatcat:saxuhbxuana7zfbnxxjtby24be

Toward a Linguistic Interpretation of Deontic Paradoxes [chapter]

Dov Gabbay, Livio Robaldo, Xin Sun, Leendert van der Torre, Zohreh Baniasadi
2014 Lecture Notes in Computer Science  
A linguistic analysis of deontic paradoxes can be used to further develop deontic logic.  ...  We also introduce extensions with reactive arrows and actions, which can be used to give a linguistic interpretation of multi-agent dialogues.  ...  Analyses of the three conditional obligations have led to preference-based deontic logic, temporal deontic logic, action deontic logic, non-monotonic deontic logic, and more.  ... 
doi:10.1007/978-3-319-08615-6_9 fatcat:sgdfco4i6rgnje27a26t2a4syu

Timed Dyadic Deontic Logic [chapter]

Karam Younes Kharraz, Martin Leucker, Gerardo Schneider
2021 Frontiers in Artificial Intelligence and Applications  
In this paper, we introduce TDDL, a timed dyadic deontic logic.  ...  Our starting point is a version of a dyadic deontic logic with conditional obligations, permissions, and obligations, and with a "reparation" operator for representing contrary-to-duties and contrary-to-prohibitions  ...  Conclusion In this paper, we presented a first suggestion of a timed dyadic deontic logic allowing to reason over prohibitions, obligations and permissions, within certain timed intervals.  ... 
doi:10.3233/faia210336 fatcat:bmfubanvqvhpvao2iergog277e

Obligation as Optimal Goal Satisfaction

Robert Kowalski, Ken Satoh
2017 Journal of Philosophical Logic  
Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic.  ...  applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety.  ...  The best known formalisation, which is commonly used as a basis for comparison with other deontic logics, is standard deontic logic (SDL).  ... 
doi:10.1007/s10992-017-9440-3 fatcat:pcsnnijeorgohj6nddxdhf4q5i

Specification of cooperative constraints in virtual enterprise workflow

A.H.H. Ngu
1999 Proceedings Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises. RIDE-VE'99  
We propose using propositional temporal logic for specifying and reasoning over the temporal constraints in workflow's activities and complement it with deontic logic which is used to specify commitments  ...  The logic to reason about obligations and related concepts is called deontic logic.  ...  We use deontic logic to document the deontic effect of a speech-act operator (i.e. obligations).  ... 
doi:10.1109/ride.1999.758649 dblp:conf/ride/Ngu99 fatcat:t6hr2bjwsrh4tg4g7xg7vfcqqy

The Logic of Normative Systems [chapter]

Arnold A. Johanson
1996 Workshops in Computing  
After defining the logic, we give a sound and complete axiomatisation, and discuss the logic's relationship to standard deontic logics.  ...  NTL is a generalisation of the well-known branchingtime temporal logic CTL, in which the path quantifiers A ("on all paths. . . ") and E ("on some path. . . ") are replaced by the indexed deontic operators  ...  to present many more technical results for the logic: we first give a sound and complete axiomatisation, and then discuss the logic's relationship to standard deontic logics.  ... 
doi:10.1007/978-1-4471-1488-8_7 dblp:conf/deon/Johanson96 fatcat:t4aypvyqznfszp6zlbhx22rbie

Using Annotated Policy Documents as a User Interface for Process Management

Alan S. Abrahams, David M. Eyers
2007 Third International Conference on Autonomic and Autonomous Systems (ICAS'07)  
A deontic adaptation of the Event Calculus is presented to monitor the normative state of policy compliance.  ...  A non-tree-based document annotation scheme is used to allow a natural language text to be linked with a logic program developed to represent its intentions.  ...  Much of the literature focuses on the issues that arise when looking at logics such as Standard Deontic Logic (SDL) from a more complete (and thus future inclusive) perspective.  ... 
doi:10.1109/conielecomp.2007.114 fatcat:k223tzc6ljgjzpwyowi72qt7qy

A Functional Program for Agents, Actions, and Deontic Specifications [chapter]

Adam Zachary Wyner
2006 Lecture Notes in Computer Science  
The deontic specifications are prohibition, permission, and obligation. The concepts of deontic specifications are derived from Standard Deontic Logic and Dynamic Deontic Logic.  ...  We implement inference in the Contrary-to-Duty Obligations case, which has been a central problem in Deontic Logic.  ...  For this, we define a notion of the negation of a deontic specification. We also introduce lexical relations between positive and negative deontic specifications.  ... 
doi:10.1007/11961536_16 fatcat:huawvbi75rbozon2q3nobqrb4y

Knowledge representation concepts for automated SLA management

Adrian Paschke, Martin Bichler
2008 Decision Support Systems  
We suggest logical formalisms for the representation and enforcement of SLA rules and describe a proof-of-concept implementation.  ...  The complexity of contractual logic in SLAs requires new forms of knowledge representation to automatically draw inferences and execute contractual agreements.  ...  ContractLog we extended the general concepts of standard deontic logic (SDL) and integrated it into the event calculus implementation in order to model the effects of events/actions on personalized deontic  ... 
doi:10.1016/j.dss.2008.06.008 fatcat:nac3iyeilnezfkxf4vhr72qdju

Deontic Modals: Why Abandon the Classical Semantics?

John Horty
2014 Pacific Philosophical Quarterly  
After a brief detour through default logic, I establish some connections between the treatment of conflicts in each of these two approaches, classical and default, and then move on to consider some further  ...  , classical semantics under the standard Kratzer evaluation rule, and standard deontic logic applied to standard transforms of Kratzer models.  ...  What is the relation between standard deontic logic and the logic defined here on the basis of norm finite Kratzer models?  ... 
doi:10.1111/papq.12044 fatcat:ho6qmh3ga5ftdjojdc55nuqdty

MCMAS: A Model Checker for the Verification of Multi-Agent Systems [chapter]

Alessio Lomuscio, Hongyang Qu, Franco Raimondi
2009 Lecture Notes in Computer Science  
While temporal logic in its various forms has proven essential to reason about reactive systems, agent-based scenarios are typically specified by considering high-level agents attitudes.  ...  MCMAS [12] supports specifications based on CTL, epistemic logic (including operators of common and distributed knowledge) [7], Alternating Time Logic [2], and deontic modalities for correctness [16] .  ...  as well as standard CTL.  ... 
doi:10.1007/978-3-642-02658-4_55 fatcat:stymco64o5ccpntc2gi2hcbmv4

Evolutionary psychology: the emperor's new paradigm

David J. Buller
2005 Trends in Cognitive Sciences  
But if sentences actually come in a variety of logical forms [21] . The two logical types that have figured prominently in selection tasks are 'indicative' and 'deontic' if sentences.  ...  Indicatives are genuine conditionals, the logical form of which involves two propositions and a dyadic propositional operator (the if ); but deontics are not logically conditional [22] .  ... 
doi:10.1016/j.tics.2005.04.003 pmid:15925806 fatcat:vlzitjkbxjclfiji4faapvhcvi

Introduction to normative multiagent systems

Guido Boella, Leendert van der Torre, Harko Verhagen
2006 Computational and mathematical organization theory  
Therefore, insights from deontic logic can be used to represent and reason with norms. Deontic logic also offers representations of norms as rules or conditionals.  ...  They also explain why normative systems are intimately related with deontic logic.  ... 
doi:10.1007/s10588-006-9537-7 fatcat:tg4psndkmrbobphzn42j63kldm

A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning

K STENNING
2004 Cognitive Science  
Subjects quite reasonably experience great difficulty in assigning logical form to descriptively interpreted rules in this task and materials, though not to deontically interpreted ones.  ...  Experimental verification that these difficulties do in fact affect subjects' performance in the standard task is provided by six novel experimental conditions each designed to test different aspects of  ...  The instruction 'Tick the cards you want to turn . . . ' clearly does not allow the subject to return a reactive plan.  ... 
doi:10.1016/j.cogsci.2004.02.002 fatcat:rr5racqxxbdc7o2zwhigjampiq

A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning

Keith Stenning, Michiel van Lambalgen
2004 Cognitive Science  
Subjects quite reasonably experience great difficulty in assigning logical form to descriptively interpreted rules in this task and materials, though not to deontically interpreted ones.  ...  Experimental verification that these difficulties do in fact affect subjects' performance in the standard task is provided by six novel experimental conditions each designed to test different aspects of  ...  The instruction 'Tick the cards you want to turn . . . ' clearly does not allow the subject to return a reactive plan.  ... 
doi:10.1207/s15516709cog2804_1 fatcat:vyi5ygosc5f2fd64wxcsrfmyxi
« Previous Showing results 1 — 15 out of 633 results