article

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

Authors:

Nick Bassiliades,

Efstratios Kontopoulos,

Guido Governatori,

Grigoris AntoniouAuthors Info & Claims

International Journal on Semantic Web & Information Systems, Volume 7, Issue 1

Pages 18 - 43

https://doi.org/10.4018/jswis.2011010102

Published: 01 January 2011 Publication History

Abstract

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.

References

[1]

Antoniou, G.,&Bikakis, A. 2007. DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Transactions on Knowledge and Data Engineering, 192, 233-245.

Digital Library

[2]

Antoniou, G., Billington, D., Governatori, G.,&Maher, M. J. 2006. Embedding Defeasible Logic into Logic Programming. Theory and Practice of Logic Programming, 66, 703-735.

Digital Library

[3]

Antoniou, G., Dimaresis, N.,&Governatori, G. 2009. A Modal and Deontic Defeasible Reasoning System for Modelling Policies and Multi-Agent Systems. Expert Systems with Applications, 362, 4125-4134.

[4]

Antoniou, G., Skylogiannis, T., Bikakis, A.,&Bassiliades, N. 2007. DR-BROKERING: A Semantic Brokering System. Knowledge-Based Systems, 201, 61-72.

Digital Library

[5]

Antoniou, G.,&van Harmelen, F. 2004. A Semantic Web Primer. Cambridge, MA: MIT Press.

[6]

Artosi, A., Governatori, G.,&Sartor, G. 1996. Towards a computational treatment of deontic defeasibility. In M. Brown&J. Carmo Eds., Deontic Logic Agency and Normative Systems: Workshop on Computing pp. 27-46. Berlin, Germany: Springer-Verlag.

[7]

Ashri, R., Payne, T., Marvin, D., Surridge, M.,&Taylor, S. 2004. Towards a Semantic Web Security Infrastructure. In Proceedings of the AAAI Spring Symposium on Semantic Web Services pp. 84-91. Menlo Park, CA: AAAI Press.

[8]

Bassiliades, N., Antoniou, G.,&Vlahavas, I. 2006. A Defeasible Logic Reasoner for the Semantic Web. International Journal on Semantic Web and Information Systems, 21, 1-41.

[9]

Bassiliades, N.,&Vlahavas, I. 2006. R-DEVICE: An Object-Oriented Knowledge Base System for RDF Metadata. International Journal on Semantic Web and Information Systems, 22, 24-90.

[10]

Berners-Lee, T., Hendler, J.,&Lassila, O. 2001. The Semantic Web. Scientific American, 2845, 34-43.

[11]

Bieber, P.,&Cuppens, F. 1993. Expression of Confidentiality Policies with Deontic Logic. In Meyer, J. C.,&Wieringa, R. J. Eds., Deontic Logic in Computer Science: Normative System Specification pp. 103-123. Chichester, UK: John Wiley&Sons.

[12]

Blackburn, P., de Rijke, M.,&Venema, Y. 2001. Modal Logic. Cambridge, UK: Cambridge University Press.

[13]

Boley, H. 2004. An Integrated Positional-Slotted Language for Semantic Web Knowledge. Retrieved from http://www.ruleml.org/submission/ruleml-shortation.html

[14]

Boley, H. 2006. The RuleML Family of Web Rule Languages: Invited talk. In Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning, Budva, Montenegro LNCS 4187, pp.1-15.

[15]

Bonatti, P. A., Duma, C., Fuchs, N., Nejdl, W., Olmedilla, D., Peer, J.,&Shahmehri, N. 2006. Semantic Web Policies - a Discussion of Requirements and Research Issues. In Proceedings of the 3rd European Semantic Web Conference, Budva, Montenegro LNCS 4011, pp. 712-724.

[16]

Broersen, J., Dastani, M., Hulstijn, J., Huang, Z.,&van der Torre, L. 2001. The BOID Architecture: Conflicts between Beliefs, Obligations, Intentions and Desires. In Proceedings of the 5th International Conference on Autonomous Agents, Montreal, QC, Canada pp. 9-16. New York, NY: ACM.

[17]

Cohen, P. R.,&Levesque, H. J. 1990. Intention is Choice with Commitment. Artificial Intelligence, 422-3, 213-261.

Digital Library

[18]

Gottlob, G. 1992. Complexity Results for Nonmonotonic Logics. Journal of Logic and Computation, 2, 397-425.

[19]

Governatori, G. 2005. Representing Business Contracts in RuleML. International Journal of Cooperative Information Systems, 142-3, 181-216.

[20]

Governatori, G., Hulstijn, J., Riveret, R.,&Rotolo, A. 2007. Characterising Deadlines in Temporal Modal Defeasible Logic. In Proceedings of the 20th Australian Joint Conference on Artificial Intelligence AI 2007 pp. 486-496.

[21]

Governatori, G., Padmanabhan, V., Rotolo, A.,&Sattar, A. 2009. A Defeasible Logic for Modelling Policy-based Intentions and Motivational Attitudes. Logic Journal of the IGPL, 173, 227-265.

[22]

Governatori, G.,&Rotolo, A. 2004. Defeasible Logic: Agency, Intention and Obligation. In Proceedings of the 7th International Workshop on Deontic Logic in Computer Science, Madeira, Portugal pp. 114-128.

[23]

Governatori, G.,&Rotolo, A. 2008a. BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic. Journal of Autonomous Agents and Multi Agent Systems, 171, 36-69.

Digital Library

[24]

Governatori, G.,&Rotolo, A. 2008b. A Computational Framework for Institutional Agency. Artificial Intelligence and Law, 161, 25-52.

Digital Library

[25]

Hilpinen, R. 2001. Deontic Logic. In Goble, L. Ed., The Blackwell Guide to Philosophical Logic pp. 159-182. Oxford, UK: Blackwell.

[26]

Hofstadter, D. R. 1983. Metamagical Themas: Computer Tournaments of the Prisoner's Dilemma Suggest How Cooperation Evolves. Scientific American, 2485, 16-26.

[27]

Kagal, L., Berners-Lee, T., Connolly, D.,&Weitzner, D. 2006, July 16-20. Using Semantic Web Technologies for Open Policy Management on the Web. In Proceedings of the 21st National Conference on Artificial Intelligence AAAI 2006. Menlo Park, CA: AAAI Press.

[28]

Kautz, H. A.,&Selman, B. 1991. Hard Problems for Simple Default Theories. Artificial Intelligence, 28, 243-279.

Digital Library

[29]

Kolaczek, G. 2002. Application of Deontic Logic in Role-based Access Control. International Journal of Applied Mathematics and Computer Science, 122, 269-275.

[30]

Kontopoulos, E., Bassiliades, N., Governatori, G.,&Antoniou, G. 2008. Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. In Proceedings of the Workshop on Logics for Intelligent Agents and Multi-Agent Systems WLIAMAS 2008, IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, Sydney, NSW, Australia pp. 626-629. Washington, DC: IEEE Computer Society.

[31]

Kontopoulos, E., Bassiliades, N., Governatori, G.,&Antoniou, G. 2011. Visualizing Semantic Web Proofs of Defeasible Logic in the DR-DEVICE System. Knowledge-Based Systems, 243, 406-419.

Digital Library

[32]

Kravari, K., Kontopoulos, E.,&Bassiliades, N. 2010a, May 4-7. EMERALD: A Multi-Agent System for Knowledge-based Reasoning Interoperability in the Semantic Web. In Proceedings of the 6th Hellenic Conference on Artificial Intelligence SETN 2010, Athens, Greece pp. 173-182.

[33]

Kravari, K., Kontopoulos, E.,&Bassiliades, N. 2010b. Trusted Reasoning Services for Semantic Web Agents. Informatica: International Journal of Computing and Informatics, 344, 429-440.

[34]

Lam, H.,&Governatori, G. 2009. The Making of SPINdle. In G. Governatori, J. Hall,&A. Paschke Eds., Proceedings of the 2009 International Symposium on Rule Interchange and Applications LNCS 5858, pp. 315-322.

[35]

Lokhorst, G.-J. C. 1996. Reasoning about actions and obligations in first-order logic. Studia Logica, 571, 221-237.

[36]

Maher, M. J.,&Governatori, G. 1999. A Semantic Decomposition of Defeasible Logics. In Proceedings of the 16th National Conference on Artificial Intelligence, Orlando, FL pp. 299-305. Menlo Park, CA: AAAI Press.

[37]

Meyer, J.-J. C. 2001. Epistemic Logic. In Goble, L. Ed., The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell.

[38]

Meyer, J.-J. C. 2003. Modal Epistemic and Doxastic Logic. In Gabbay, D.,&Guenthner, F. Eds., Handbook of Philosophical Logic 2nd ed., Vol. 10, pp. 1-38. Dordrecht, The Netherlands: Kluwer.

[39]

Nute, D. 1994. Defeasible logic. In Gabbay, D. Ed., Handbook of Logic and Artificial Intelligence Vol. 3, pp. 353-395. Oxford, UK: Oxford University Press.

[40]

Nute, D. 1998. Norms, Priorities, and Defeasible Logic. In McNamara, P.,&Prakken, H. Eds., Norms, Logics and Information Systems pp. 201-218. Amsterdam, The Netherlands: IOS Press.

[41]

Pham, D. H., Governatori, G., Raboczi, S., Newman, A.,&Thakur, S. 2008. On Extending RuleML for Modal Defeasible Logic. In N. Bassiliades, G. Governatori,&A. Paschke Eds., Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web RuleML 2008, Orlando, FL LNCS 5321, pp. 89-103.

Digital Library

[42]

Rissland, E. L.,&Skalak, D. B. 1991. CABARET: Rule Interpretation in a Hybrid Architecture. International Journal of Man-Machine Studies, 346, 839-887.

Digital Library

[43]

Riveret, R., Rotolo, A.,&Governatori, G. 2007. Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic. In G. Boella, L. van der Torre,&H. Verhagen Eds., Proceedings of the Normative Multi-Agent Systems NorMAS Conference, Dagstuhl, Germany.

[44]

Schild, U. J.,&Herzog, S. 1993. The Use of Meta-rules in Rule Based Legal Computer Systems. In Proceedings of the 4th International Conference on Artificial Intelligence and Law ICAIL'93 pp. 100-109. New York, NY: ACM Press.

[45]

Skylogiannis, T., Antoniou, G., Bassiliades, N., Governatori, G.,&Bikakis, A. 2007. DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. Data&Knowledge Engineering, 632, 362-380.

[46]

Soininen, T.,&Niemela, I. 1998. Developing a Declarative Rule Language for Applications in Product Configuration. In G. Gupta Ed., Proceedings of International Symposium on Practical Aspects of Declarative Languages PADL pp. 305-319. Berlin, Germany: Springer-Verlag.

[47]

Venema, Y. 2001. Temporal Logic. In Goble, L. Ed., The Blackwell Guide to Philosophical Logic pp. 203-223. Oxford, UK: Blackwell.

Cited By

Truong NCao QUm TLee G(2016)Leverage a Trust Service Platform for Data Usage Control in Smart City2016 IEEE Global Communications Conference (GLOBECOM)10.1109/GLOCOM.2016.7841951(1-7)Online publication date: 4-Dec-2016
https://dl.acm.org/doi/10.1109/GLOCOM.2016.7841951
Furbach USchon C(2014)Deontic Logic for Human ReasoningEssays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday on Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Volume 906010.1007/978-3-319-14726-0_5(63-80)Online publication date: 1-Nov-2014
https://dl.acm.org/doi/10.1007/978-3-319-14726-0_5
Furbach USchon CStolzenburg F(2014)Automated Reasoning in Deontic LogicProceedings of the 8th International Workshop on Multi-disciplinary Trends in Artificial Intelligence - Volume 887510.1007/978-3-319-13365-2_6(57-68)Online publication date: 8-Dec-2014
https://dl.acm.org/doi/10.1007/978-3-319-13365-2_6
Show More Cited By

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
1. Theory of computation

Recommendations

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
WI-IAT '08: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; thus, it is possible to combine defeasible logic with modal operators. This ...
A grounder for SPINdle defeasible logic reasoner

Proposed a grounder for defeasible logic bottom-up programs focused on stratified theories.Introduced an algorithm for theory stratification.The grounder exploits classical backtracking algorithm for instantiation.Proposed a query optimization technique ...
A Neutral Temporal Deontic STIT Logic
Logic, Rationality, and Interaction
Abstract
In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: ...

Comments

Information & Contributors

Information

Published In

cover image International Journal on Semantic Web & Information Systems

International Journal on Semantic Web & Information Systems Volume 7, Issue 1

January 2011

78 pages

ISSN:1552-6283

EISSN:1552-6291

Issue’s Table of Contents

Publisher

IGI Global

United States

Publication History

Published: 01 January 2011

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 01 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Truong NCao QUm TLee G(2016)Leverage a Trust Service Platform for Data Usage Control in Smart City2016 IEEE Global Communications Conference (GLOBECOM)10.1109/GLOCOM.2016.7841951(1-7)Online publication date: 4-Dec-2016
https://dl.acm.org/doi/10.1109/GLOCOM.2016.7841951
Furbach USchon C(2014)Deontic Logic for Human ReasoningEssays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday on Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Volume 906010.1007/978-3-319-14726-0_5(63-80)Online publication date: 1-Nov-2014
https://dl.acm.org/doi/10.1007/978-3-319-14726-0_5
Furbach USchon CStolzenburg F(2014)Automated Reasoning in Deontic LogicProceedings of the 8th International Workshop on Multi-disciplinary Trends in Artificial Intelligence - Volume 887510.1007/978-3-319-13365-2_6(57-68)Online publication date: 8-Dec-2014
https://dl.acm.org/doi/10.1007/978-3-319-13365-2_6
Ceci M(2013)Representing Judicial Argumentation in the Semantic WebRevised Selected Papers of the AICOL 2013 International Workshops on AI Approaches to the Complexity of Legal Systems - Volume 892910.1007/978-3-662-45960-7_13(172-187)Online publication date: 21-Jul-2013
https://dl.acm.org/doi/10.1007/978-3-662-45960-7_13
Governatori GRotolo A(2013)Computing temporal defeasible logicProceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web10.1007/978-3-642-39617-5_13(114-128)Online publication date: 11-Jul-2013
https://dl.acm.org/doi/10.1007/978-3-642-39617-5_13
Governatori GRotolo ACalardo E(2012)Possible world semantics for defeasible deontic logicProceedings of the 11th international conference on Deontic Logic in Computer Science10.1007/978-3-642-31570-1_4(46-60)Online publication date: 16-Jul-2012
https://dl.acm.org/doi/10.1007/978-3-642-31570-1_4

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents