Contextual Norm-Based Plan Evaluation via Answer Set Programming

  • Sofia Panagiotidi
  • Javier Vázquez-Salceda
  • Wamberto Vasconcelos
Part of the Advances in Intelligent and Soft Computing book series (AINSC, volume 156)

Abstract

There is a recent trend on agent-oriented methods and abstractions in the field of Service Engineering to tackle governance of distributed (Semantic) Web systems. Some approaches are based on the creation of a social level where actors’ behaviour is regulated by means of computational norms. We present a framework where norm-enabled agents can, at runtime, 1) enter an organisational context, 2) get the organisational specification, including norms, and translate it into the agents’ internal representation and 3) determine the quality of a to-be-adopted plan taking into account the incentives derived from the norm-regulated context. A normative model formalisation is provided using Semantic Web elements. Then a translation of the formalism into Answer Set Programming and a full implementation of a normative plan evaluator are presented.

Keywords

Multiagent System Trajectory Path Explicit Substitution Open World Assumption Atom Trans 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alvarez-Napagao, S., Aldewereld, H., Vázquez-Salceda, J., Dignum, F.: Normative Monitoring: Semantics and Implementation. In: De Vos, M., Fornara, N., Pitt, J.V., Vouros, G. (eds.) COIN 2010. LNCS, vol. 6541, pp. 321–336. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  2. 2.
    Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, U.K (1997)Google Scholar
  3. 3.
    Astefanoaei, L., Dastani, M., Meyer, J.J., de Boer, F.S.: On the Semantics and Verification of Normative Multi-Agent Systems. International Journal of Universal Computer Science 15(13), 2629–2652 (2009)Google Scholar
  4. 4.
    Cliffe, O., Vos, M.D., Padget, J.: pecifying and analysing agent-based social institutions using answer set programming, pp. 99–113 (2006) ISBN: 3-540-35173-6Google Scholar
  5. 5.
    Dastani, M., Tinnemeier, N.A., Meyer, J.J.: A Programming Language for Normative Multi-Agent Systems. Information Science Reference, Hershey (2009)Google Scholar
  6. 6.
    Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1990)MATHGoogle Scholar
  7. 7.
    Ilghami, O., Nau, D.S.: A general approach to synthesize problem-specific planners (2003)Google Scholar
  8. 8.
    Kollingbaum, M.J.: Norm-governed practical reasoning agents. Univ. of Aberdeen (2005)Google Scholar
  9. 9.
    Okouya, D., Dignum, V.: Operetta: a prototype tool for the design, analysis and development of multi-agent organizations. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems: Demo Papers, pp. 1677–1678 (2008)Google Scholar
  10. 10.
    Oren, N., Panagiotidi, S., Vázquez-Salceda, J., Modgil, S., Luck, M., Miles, S.: Towards a Formalisation of Electronic Contracting Environments. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN@AAMAS 2008. LNCS, vol. 5428, pp. 156–171. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Panagiotidi, S., Nieves, J.C., Vazquez-Salceda, J.: A Framework to Model Norm Dynamics in Answer Set Programming. In: Proceedings of FAMAS 2009, vol. 494 (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Sofia Panagiotidi
    • 1
  • Javier Vázquez-Salceda
    • 1
  • Wamberto Vasconcelos
    • 2
  1. 1.KEMLG GroupUniv. Politecnica de CatalunyaBarcelonaSpain
  2. 2.Department of Computing ScienceUniv. of AberdeenAberdeenUK

Personalised recommendations