More Web Proxy on the site http://driver.im/

research-article

Specifying and reasoning about normative systems in deontic logic programming

Authors:

Ricardo Gonçalves,

José Júlio AlferesAuthors Info & Claims

AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3

Pages 1423 - 1424

Published: 04 June 2012 Publication History

Abstract

In this paper we propose the usage of a framework combining standard deontic logic (SDL) and non-monotonic logic programming -- deontic logic programs (DLP) -- to represent and reason about normative systems.

References

[1]

G. Boella, G. Governatori, A. Rotolo, and L. van der Torre. A logical understanding of legal interpretation. In F. Lin, U. Sattler, and M. Truszczynski, editors, KR. AAAI Press, 2010.

[2]

G. Brewka. Well-founded semantics for extended logic programs with dynamic preferences. J. Artif. Intell. Res. (JAIR), 4:19--36, 1996.

Digital Library

[3]

B. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1980.

[4]

R. Chisholm. Contrary-to-duty imperatives and deontic logic. Analysis, 24(2):33--36, 1963.

[5]

R. Gonçalves and J. Alferes. Parametrized logic programming. In T. Janhunen and I. Niemelä, editors, Logics in AI -- JELIA, volume 6341 of LNCS, pages 182--194. Springer, 2010.

Digital Library

[6]

G. Governatori and A. Rotolo. Bio logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems, 17(1):36--69, 2008.

Digital Library

[7]

J. F. Horty. Deontic logic as founded on nonmonotonic logic. Ann. Math. Artif. Intell., 9(1--2):69--91, 1993.

[8]

J. Hubner, J. Sichman, and O. Boissier. Developing organised multiagent systems using the moise+ model: programming issues at the system and agent levels. Int. J. Agent-Oriented Softw. Eng., 1:370--395, 2007.

Digital Library

[9]

D. Lewis. Semantic analyses for dyadic deontic logic. Cambridge University Press, 1999.

[10]

D. Makinson, Leendert, and V. D. Torre. Input-output logics. Journal of Philosophical Logic, 29:2000, 2000.

[11]

D. Makinson and L. van der Torre. Constraints for input/output logics. Journal of Philosophical Logic, 30:155--185, 2001.

[12]

L. T. McCarty. Defeasible deontic reasoning. Fundam. Inform., 21(1/2):125--148, 1994.

Digital Library

[13]

D. Nute. Defeasible deontic logic. Springer, 1997.

[14]

H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics, 7(1), 1997.

[15]

Y. U. Ryu and R. M. Lee. Defeasible deontic reasoning: a logic programming model, pages 225--241. John Wiley and Sons Ltd., Chichester, UK, 1993.

Digital Library

[16]

M. J. Sergot, F. Sadri, R. A. Kowalski, F. Kriwaczek, P. Hammond, and H. T. Cory. The british nationality act as a logic program. Com. ACM, 29:370--386, 1986.

Digital Library

[17]

N. A. M. Tinnemeier, M. Dastani, and J.-J. C. Meyer. Roles and norms for programming agent organizations. In C. Sierra, C. Castelfranchi, K. S. Decker, and J. S. Sichman, editors, AAMAS (1), pages 121--128. IFAAMAS, 2009.

Digital Library

[18]

N. A. M. Tinnemeier, M. Dastani, J.-J. C. Meyer, and L. W. N. van der Torre. Programming normative artifacts with declarative obligations and prohibitions. In IAT, pages 145--152. IEEE, 2009.

Digital Library

[19]

L. W. N. van der Torre. Contextual deontic logic: Normative agents, violations and independence. Ann. Math. Artif. Intell., 37(1--2):33--63, 2003.

[20]

G. H. von Wright. Deontic logic. Mind, 60:1--15, 1951.

[21]

M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. pages 1070--1080. MIT Press, 1988.

Cited By

Gonçalves RAlferes JGini MShehory OIto TJonker C(2013)Deontic logic programsProceedings of the 2013 international conference on Autonomous agents and multi-agent systems10.5555/2484920.2485210(1333-1334)Online publication date: 6-May-2013
https://dl.acm.org/doi/10.5555/2484920.2485210
Gonçalves RAlferes J(2013)Decidability and Implementation of Parametrized Logic ProgramsProceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning - Volume 814810.1007/978-3-642-40564-8_36(361-373)Online publication date: 15-Sep-2013
https://dl.acm.org/doi/10.1007/978-3-642-40564-8_36

Index Terms

Specifying and reasoning about normative systems in deontic logic programming
1. Computing methodologies
  1. Artificial intelligence
    1. Philosophical/theoretical foundations of artificial intelligence

Recommendations

Deontic logic programs
AAMAS '13: Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems

Deontic logic programming (DLP) is a framework combining deontic logic and non-monotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation for reasoning in DLP that combines, ...
Order-sorted logic programming with predicate hierarchy

Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to useful expressions and inference methods for structural knowledge that ...
Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces

A family of many-valued modal logics which correspond to possible-worlds models with many-valued accessibility relations, has been recently proposed by M. Fitting [7, 8]. Non-monotonic extensions of these logics are introduced with a fixpoint ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3

June 2012

376 pages

ISBN:0981738133

Sponsors

The International Foundation for Autonomous Agents and Multiagent Systems: The International Foundation for Autonomous Agents and Multiagent Systems

In-Cooperation

SIGAI: ACM Special Interest Group on Artificial Intelligence

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 04 June 2012

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AAMAS 12

Sponsor:

The International Foundation for Autonomous Agents and Multiagent Systems

AAMAS 12: International Conference on Autonomous Agents and Multiagent Systems

June 4 - 8, 2012

Valencia, Spain

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
55
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Gonçalves RAlferes JGini MShehory OIto TJonker C(2013)Deontic logic programsProceedings of the 2013 international conference on Autonomous agents and multi-agent systems10.5555/2484920.2485210(1333-1334)Online publication date: 6-May-2013
https://dl.acm.org/doi/10.5555/2484920.2485210
Gonçalves RAlferes J(2013)Decidability and Implementation of Parametrized Logic ProgramsProceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning - Volume 814810.1007/978-3-642-40564-8_36(361-373)Online publication date: 15-Sep-2013
https://dl.acm.org/doi/10.1007/978-3-642-40564-8_36

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents