Possible world semantics for defeasible deontic logic

Authors:
Guido Governatori;Antonino Rotolo;Erica Calardo
Affiliations:
Software Systems Research Group, NICTA, Australia;CIRSFID, University of Bologna, Italy;CIRSFID, University of Bologna, Italy
Venue:
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Year:
2012

Citing 17
Cited 0

Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
Autoepistemic logic

Journal of the ACM (JACM)
Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Reasoning about knowledge

Reasoning about knowledge
A semantic decomposition of defeasible logics

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
A logical theory of nonmonotonic inference and belief change

A logical theory of nonmonotonic inference and belief change
A Flexible Framework for Defeasible Logics

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Propositional defeasible logic has linear complexity

Theory and Practice of Logic Programming
Argumentation Semantics for Defeasible Logic

Journal of Logic and Computation
Embedding defeasible logic into logic programming

Theory and Practice of Logic Programming
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

IEEE Transactions on Knowledge and Data Engineering
BIO logical agents: Norms, beliefs, intentions in defeasible logic

Autonomous Agents and Multi-Agent Systems
A computational framework for institutional agency

Artificial Intelligence and Law
The Making of SPINdle

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
On the logic of argumentation theory

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

International Journal on Semantic Web & Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Defeasible Deontic Logic is a simple and computationally efficient approach for the representation of normative reasoning. Traditionally defeasible logics are defined proof theoretically based on the proof conditions for the logic. While several logic programming, operational and argumentation semantics have been provided for defeasible logics, possible world semantics for (modal) defeasible logics remained elusive. In this paper we address this issue.