A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Reactive Standard Deontic Logic
[chapter]
2013
Reactive Kripke Semantics
Preserved Fulltext
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2021
Frontiers in Artificial Intelligence and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2017
Journal of Philosophical Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1999
Proceedings Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises. RIDE-VE'99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1996
Workshops in Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2007
Third International Conference on Autonomic and Autonomous Systems (ICAS'07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2008
Decision Support Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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?
2014
Pacific Philosophical Quarterly
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2005
Trends in Cognitive Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Computational and mathematical organization theory
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
Cognitive Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2004
Cognitive Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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