Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
Design By Contract Deontic Design Language for Multiagent Systems
Garion, C.; VAN DER TORRE, Leon
2006 • In Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005
[en] Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obligations and benefits made explicit by assertions. However, there is a gap between this theory and software engineering concepts and tools. For example, dealing with contract violations is realized by exception handlers, whereas it has been observed in the area of deontic logic in computer science that violations and exceptions are distinct concepts that should not be confused. To bridge this gap, we propose a software design language based on temporal deontic logic. Moreover, we show how preferences over the possible outcomes of a supplier can be added. We also discuss the relation between the normative stance toward systems implicit in the design by contract approach and the intentional or BDI stance popular in agent theory.
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2009-121
Auteur, co-auteur :
Garion, C.
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Design By Contract Deontic Design Language for Multiagent Systems
Date de publication/diffusion :
2006
Nom de la manifestation :
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005
Date de la manifestation :
2006
Titre de l'ouvrage principal :
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005
Meyer, B.: Design by contract. In Mandrioli, D., Meyer, B., eds.: Advances in Object-Oriented Software Engineering. Prentice-Hall, New York, London (1991) 1-50
Meyer, B.: Systematic concurrent object-oriented programming. Communication of the ACM 36(9) (1993) 56-80
Meyer, J., Wieringa, R.: Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons (1993)
von Wright, G.: Deontic logic. Mind 60 (1951) 1-15
Wieringa, R., Meyer, J.: Applications of deontic logic in computer science: A concise overview. In: Deontic Logic in Computer Science, John Wiley & Sons, Chichester, England (1993) 17-40
Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4) (2002) 428-447
Dignum, F.: Autonomous agents with norms. Artificial Intelligence and Law 7(1) (1999) 69-79
Krogh, C., Herrestad, H.: Hohfeld in cyberspace and other applications of normative reasoning in agent technology. Artificial Intelligence and Law 7(1) (1999) 81-96
Singh, M.P.: An ontology for commitments in multiagent systems: toward a unification of normative concepts. Artificial Intelligence and Law 7 (1999) 97-113
Tan, Y., Thoen, W.: Modeling directed obligations and permissions in trade contracts. In: Proceedings of the Thirty-First Annual Hawaian International Conference on System Sciences. (1998)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, Heidelberg, Germany (1992)
Broersen, J., Dastani, M., van der Torre, L.: BDIOCTL- Properties of obligation in agent specification languages. In: Proceedings of IJCAI'03. (2003) 1389-1390
Jamroga, W., van der Hoek, W., Wooldridge, M.: On obligations and abilities. In: Deontic logic in computer science. Volume 3065 of LNAI. (2004) 165-181
Boutilier, C., Brafman, R., Hoos, H., Poole, D.: Reasoning with conditional ceteris paribus preference statement. In Laskey, K., Prade, H., eds.: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann (1999) 71-80
Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H., Poole, D.: CP-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements. Journal of Artificial Intelligence Research (JAIR) 21 (2005) 135-191
Broersen, J.: Modal Action Logics for Reasoning about Reactive Systems. PhD thesis, Vrije Universiteit Amsterdam (2003)
Brandom, R.: Making it explicit. Harvard University Press, Cambridge, MA (1994)
Rousseau, J.: The social contract. (1762) http://www.constitution.org/jjr/socon.htm.
Stark, E.W.: A proof technique for rely/guarantee properties. In: Foundations of Software Technology and Theoretical Computer Science. Volume 206 of Lecture Notes in Computer Science. (1985) 369-391
Boella, G., van der Torre, L.: Contracts as legal institutions in organizations of autonomous agents. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'04). (2004) 948-955
