Extending deontic interpreted systems with action logic
Resumo
This paper presents an extension to deontic interpreted systems with the use of action logic for the specification of normative aspects in multiagent systems. The paper presents a preliminary formalization of operators required and describes a simple example of the application of this formalization, using the segregation model (a simulation model available in NetLogo platform) through the formalization and proof of some properties of this system.
Palavras-chave:
Deontic Interpreted Systems, Action Logic, Multiagent Systems, Norms
Referências
F. Dignum, “Autonomous agents with norms,” Artificial Intelligence and Law, vol. 7, pp. 69–79, 1999.
G. Boella and L. V. D. Torre, “Introduction to normative multiagent systems,” Computational and Mathematical Organization Theory, vol. 12, pp. 71–79, 2006.
G. H. von Wright, “Deontic logic,” in Mind. Oxford University Press, 1951, vol. 60, no. 237, pp. 1–15.
J. Y. Halpern, “Using reasoning about knowledge to analyze distributed systems,” Annual Review of Computer Science, vol. 2, no. 1, pp. 37–68, 1987. [Online]. Available: [link]
J. Hintikka, Knowledge and Belief. Ithaca: Cornell Univ., 1962.
J. Y. Halpern, “Reasoning about knowledge: A survey,” in Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press, 1995, pp. 1–34.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge. The MIT Press, Cambridge Massachusetts, 1995.
A. Lomuscio and M. Sergot, “On multi-agent systems specification via deontic logic,” in Proceedings of ATAL 2001. Springer Verlag, 2001.
T. C. Schelling, Micromotives and Macrobehavior. New York: Norton, 1978, see also a recent Atlantic article: Rauch, J. (2002). Seeing Around Corners; The Atlantic Monthly; April 2002;Volume 289, No. 4; 35-48. [link].
U. Wilensky, “Netlogo,” [link], Evanston,IL, 1999.
——, “Netlogo segregation model,” [link], Evanston,IL, 1997.
A. Lomuscio and M. Sergot, “Extending interpreting systems with some deontic concepts,” in Proceedings of TARK 2001. Morgan Kauffman, 2001, pp. 207–218.
F. Raimondi and A. Lomuscio, “Automatic verification of deontic interpreted systems by model checking via obdd’s,” 2004.
B. Wozna, A. Lomuscio, W. Penczek, and W. Penczek, “Bounded model checking for deontic interpreted systems,” in Proc. of the 2nd Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 04). Elsevier, 2004, pp. 93–114.
G. Governatori, A. Lomuscio, and M. J. Sergot, “A tableux system for deontic interpreted systems,” in AI 2003: Advances in Artificial Intelligence, ser. Lecture Notes in Computer Science, T. Gedeon and L. Fung, Eds., vol. 2903. Berlin, Springer, 2003, pp. 339–350.
R. M. Barbosa, “Especificação formal de organizações de sistemas multiagentes.” Ph.D. dissertation, Universidade Federal do Rio Grande do Sul (UFRGS), Porto Alegre, RS, 2011.
A. Lomuscio and M. Sergot, “Deontic interpreted systems,” Studia Logica, vol. 75, no. 1, pp. 63–92, 2003. [Online]. Available: DOI: 10.1023/A%3A1026176900459
J.-J. Meyer, “Dynamic logic reasoning about actions and agents,” in Logic-Based Artificial Intelligence. Kluwer Academic Publishers, 2000, pp. 281–311.
G. Boella and L. V. D. Torre, “Introduction to normative multiagent systems,” Computational and Mathematical Organization Theory, vol. 12, pp. 71–79, 2006.
G. H. von Wright, “Deontic logic,” in Mind. Oxford University Press, 1951, vol. 60, no. 237, pp. 1–15.
J. Y. Halpern, “Using reasoning about knowledge to analyze distributed systems,” Annual Review of Computer Science, vol. 2, no. 1, pp. 37–68, 1987. [Online]. Available: [link]
J. Hintikka, Knowledge and Belief. Ithaca: Cornell Univ., 1962.
J. Y. Halpern, “Reasoning about knowledge: A survey,” in Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press, 1995, pp. 1–34.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge. The MIT Press, Cambridge Massachusetts, 1995.
A. Lomuscio and M. Sergot, “On multi-agent systems specification via deontic logic,” in Proceedings of ATAL 2001. Springer Verlag, 2001.
T. C. Schelling, Micromotives and Macrobehavior. New York: Norton, 1978, see also a recent Atlantic article: Rauch, J. (2002). Seeing Around Corners; The Atlantic Monthly; April 2002;Volume 289, No. 4; 35-48. [link].
U. Wilensky, “Netlogo,” [link], Evanston,IL, 1999.
——, “Netlogo segregation model,” [link], Evanston,IL, 1997.
A. Lomuscio and M. Sergot, “Extending interpreting systems with some deontic concepts,” in Proceedings of TARK 2001. Morgan Kauffman, 2001, pp. 207–218.
F. Raimondi and A. Lomuscio, “Automatic verification of deontic interpreted systems by model checking via obdd’s,” 2004.
B. Wozna, A. Lomuscio, W. Penczek, and W. Penczek, “Bounded model checking for deontic interpreted systems,” in Proc. of the 2nd Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 04). Elsevier, 2004, pp. 93–114.
G. Governatori, A. Lomuscio, and M. J. Sergot, “A tableux system for deontic interpreted systems,” in AI 2003: Advances in Artificial Intelligence, ser. Lecture Notes in Computer Science, T. Gedeon and L. Fung, Eds., vol. 2903. Berlin, Springer, 2003, pp. 339–350.
R. M. Barbosa, “Especificação formal de organizações de sistemas multiagentes.” Ph.D. dissertation, Universidade Federal do Rio Grande do Sul (UFRGS), Porto Alegre, RS, 2011.
A. Lomuscio and M. Sergot, “Deontic interpreted systems,” Studia Logica, vol. 75, no. 1, pp. 63–92, 2003. [Online]. Available: DOI: 10.1023/A%3A1026176900459
J.-J. Meyer, “Dynamic logic reasoning about actions and agents,” in Logic-Based Artificial Intelligence. Kluwer Academic Publishers, 2000, pp. 281–311.
Publicado
26/05/2013
Como Citar
BARBOSA, Raquel de Miranda; COSTA, Antônio Carlos da Rocha.
Extending deontic interpreted systems with action logic. In: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 7. , 2013, São Paulo/SP.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2013
.
p. 29-34.
ISSN 2326-5434.
