A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems

Expert Systems with Applications

Volumn 36, Issue 2 PART 2, 2009, Pages 4125-4134

  Antoniou, Grigoris ^a   Dimaresis, Nikos ^a   Governatori, Guido ^b  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Defeasible reasoning; Modal reasoning; Multi agent systems; Nonmonotonic reasoning; Policies

Indexed keywords

COMPUTER CIRCUITS; PUBLIC POLICY;

DEFEASIBLE LOGIC; DEFEASIBLE REASONING; DEONTIC; MODAL REASONING; NON-MONOTONIC REASONING; SEMANTIC WEB TECHNOLOGY;

MULTI AGENT SYSTEMS;

EID: 56349097642     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2008.03.009     Document Type: Article

References (42)

1. Antoniou G., and Arief M. Executable declarative business rules and their use in electronic commerce. SAC'02: Proceedings of the 2002 ACM symposium on applied computing (2002), ACM Press, New York, NY, USA 6-10
2. Antoniou G., and Bikakis A. DR-Prolog: A system for defeasible reasoning with rules and ontologies on the Semantic Web. IEEE Transactions on Knowledge and Data Engineering 19 2 (2007) 233-245
3. Antoniou G., Billington D., Governatori G., and Maher M.J. Representation results for defeasible logic. ACM Transactions on Computational Logic 2 2 (2001) 255-287
4. Antoniou G., Billington D., Governatori G., and Maher M.J. Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming 6 6 (2006) 703-735
5. Antoniou, G., Billington, D., Governatori, G., & Maher, M. J. (1999). On the modeling and analysis of regulations. In Proceedings of the Australian conference information systems (pp. 20-29).
6. Antoniou G., Maher M.J., and Billington D. Defeasible logic versus logic programming without negation as failure. Journal of Logic Programming 42 1 (2000) 47-57
7. Bassiliades, N., Antoniou, G., & Vlahavas, I.P., (2004). DR-DEVICE: A defeasible logic system for the Semantic Web. In PPSWR (pp. 134-148).
8. Berners-Lee T., Hendler J., and Lassila O. The Semantic Web. Scientific American 284 5 (2001) 34-43
9. Boella G., and van der Torre L. Permissions and obligations in hierarchical normative systems. ICAIL'03: Proceedings of the ninth international conference on artificial intelligence and law (2003), ACM Press, New York, NY, USA 109-118
10. Bonatti, P. A., & Olmedilla, D., (2006). Semantic Web policies: Where are we and what is still missing - ESWC'06 Tutorial.
11. Bratman M.E., Israel D., and Pollack M.E. Plans and resource-bounded practical reasoning. Computational Intelligence 4 (1988) 349-355
12. Broekstra J., Kampman A., and van Harmelen F. Sesame: A generic architecture for storing and querying rdf and rdf schema. ISWC'02: Proceedings of the first international Semantic Web conference on the Semantic Web (2002), Springer-Verlag, London, UK 54-68
13. Broersen J., Dastani M., Hulstijn J., Huang Z., and van der Torre L. The BOID architecture: conflicts between beliefs, obligations, intentions and desires. AGENTS'01: Proceedings of the fifth international conference on autonomous agents (2001), ACM Press, New York, NY, USA 9-16
14. Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). dlvhex: A system for integrating multiple semantics in an answer-set programming framework. In WLP (pp. 206-210).
15. Gelati J., Rotolo A., Sartor G., and Governatori G. Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artificial Intelligence and Law 12 1 (2004) 53-81
16. Governatori G. Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14 2-3 (2005) 181-216
17. Governatori, G., Dumas, M., ter Hofstede, A. H. M., & Oaks, P. (2001). A formal approach to legal negotiation. In International conference on artificial intelligence and law (pp. 168-177).
18. Governatori G., Maher M.J., Antoniou G., and Billington D. Argumentation semantics for defeasible logic. Journal of Logic and Computation 14 5 (2004) 675-702
19. Governatori G., Padmanabhan V., and Sattar A. A defeasible logic of policy-based intention. AI'02: Proceedings of the 15th Australian joint conference on artificial intelligence (2002), Springer-Verlag, London, UK 723
20. Governatori, G., & Rotolo, A. (2003). A defeasible logic of institutional agency.
21. Governatori, G., & Rotolo, A. (2004). Defeasible logic: Agency, intention and obligation. In DEON (pp. 114-128).
22. Governatori G., Rotolo A., and Sartor G. Temporalised normative positions in defeasible logic. ICAIL'05: Proceedings of the 10th international conference on artificial intelligence and law (2005), ACM Press, New York, NY, USA 25-34
23. Grosof B.N. Prioritized conflict handing for logic programs. ILPS '97: Proceedings of the 1997 international symposium on logic programming (1997), MIT Press, Cambridge, MA, USA 197-211
24. Grosof B.N. Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications 3 1 (2004) 2-20
25. Grosof, B., Horrocks, I., Volz, R., & Decker, S. (2003). Description logic programs: Combining logic programs with description logic.
26. Grosof B.N., Labrou Y., and Chan H.Y. A declarative approach to business rules in contracts: Courteous logic programs in XML. EC '99: Proceedings of the 1st ACM conference on electronic commerce (1999), ACM Press, New York, NY, USA 68-77
27. Horrocks I., and Patel-Schneider P.F. A proposal for an owl rules language. WWW'04: Proceedings of the 13th international conference on World Wide Web (2004), ACM Press, New York, NY, USA 723-731
28. InterProlog - a Prolog-Java interface. (2007). .
29. Maher, M. J. (2002). A model-theoretic semantics for defeasible logic.
30. Maher M.J., Rock A., Antoniou G., Billington D., and Miller T. Efficient defeasible reasoning systems. International Journal on Artificial Intelligence Tools 10 4 (2001) 483-501
31. Nute D. Defeasible logic. Handbook of logic in artificial intelligence and logic programming Vol. 3 (1994), Oxford University Press
32. Pitt J. Open agent societies: Normative specifications in multi-agent systems (2004), John Wiley and Sons
33. Rao A.S., and Georgeff M.P. Modeling rational agents within a BDI-architecture. In: Allen J., Fikes R., and Sandewall E. (Eds). Proceedings of the second international conference on principles of knowledge representation and reasoning (KR'91) (1991), Morgan Kaufmann publishers Inc., San Mateo, CA, USA 473-484
34. Riveret, R., Rotolo, A., & Governatori, G. (2007). Interaction between normative systems and cognitive agents in temporal modal defeasible logic. In Normative multi-agent systems.
35. Rosati R. On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics 3 1 (2005) 41-60
36. RuleML: The RuleML Initiative website. (2007). .
37. Spreeuwenberg, S., & Gerrits, R., (2006). Business rules in the Semantic Web, Are there any or are they different? In Reasoning Web (pp. 152-163).
38. SWI-Prolog. (2007). .
39. The ICS-FORTH RDFSuite: High-level Scalable Tools for the Semantic Web. (2007). .
40. Thomason R.H. Desires and defaults: A framework for planning with inferred goals. In: Cohn A.G., Giunchiglia F., and Selman B. (Eds). KR2000: Principles of knowledge representation and reasoning (2000), Morgan Kaufmann, San Francisco 702-713
41. XSB - Logic programming and deductive database system for unix and windows. (2007). .
42. YAP Prolog. (2007). .