Rule Schemata for Game Artificial Intelligence

  • Flávio S. Corrêa da Silva
  • Wamberto W. Vasconcelos
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4140)


Rule-based systems are a promising means to specify interface standards for artificial intelligence tools and modules for games, as advocated by the International Game Developers Association. Rules, however, can be too flexible, allowing undisciplined and “dirty” programming styles and solutions. We advocate in this paper that although rules are a good starting point towards standardising artificial intelligence techniques in games, they must be complemented with automatically verifiable rule schemata to ensure the appropriate implementation of such techniques and theories. We illustrate our point with a specific rule-based implementation of a theory of norms for synthetic characters which enables the specification of sophisticated behaviours.


Computer Game Multiagent System Operational Semantic Deontic Logic Axiom Schema 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Laird, J.E., van Lent, M.: Human-level AI’s Killer Application: Interactive Computer Games. In: Procs. 17th Nat’l Conf. on A.I. (AAAI 2000), Austin, Texas,U.S.A. AAAI Press, Menlo Park (2000)Google Scholar
  2. 2.
    Combs, N., Ardoint, J.L.: Declarative vs. Imperative Paradigms in Games AI (2005), Available at (Last revised in June 2005)
  3. 3.
    Johnson, D., Wiles, J.: Computer Games with Intelligence. In: Procs. 10th IEEE Int’l Conf. on Fuzzy Systems, Melbourne, Australia. IEEE, Los Alamitos (2001)Google Scholar
  4. 4.
    Sweetser, P.: Current AI in Games: a Review (2002), Unpublished manuscript, available at University of Queensland (Last accessed 05 March 2006) 16:15GMT
  5. 5.
    International Game Developers Association: Report of the IGDA’s Artificial Intelligence Interface Standards Committee (2005), Available at (Last accessed March 05, 2006) 16:03GMT
  6. 6.
    Java: Community Development of Java Technology Specifications: Java Specification Requests (2005), Available at (Last accessed March 05, 2006) 15:28GMT
  7. 7.
    Valente, A.: Legal Knowledge Engineering: A Modelling Approach. IOS Press, Amsterdam (1995)MATHGoogle Scholar
  8. 8.
    Mally, E.: Grundgesetze des Sollens: Elemente der Logik des Willens. Leuschner & Lubensky, Graz, Austria (1926)Google Scholar
  9. 9.
    von Wright, G.: Deontic Logic. Mind 60, 1–15 (1951)CrossRefGoogle Scholar
  10. 10.
    Aqvist, L.: Deontic Logic. In: Handbook of Philosophical Logic. Extensions of Classical Logic, vol. II, Kluwer, Dordrecht (1984)Google Scholar
  11. 11.
    García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: A Distributed Architecture for Norm-Aware Agent Societies. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 89–105. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: Norm Oriented Programming of Electronic Institutions. In: Procs. 5th Int’l Joint Conf. on Autonomous Agents & Multiagent Systems (AAMAS 2006), Hakodate, Japan. ACM Press, New York (2006)Google Scholar
  13. 13.
    García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: A Rulebased Approach to Norm-Oriented Programming of Electronic Institutions. ACM SIGecom Exchanges 5, 33–40 (2006)CrossRefGoogle Scholar
  14. 14.
    Conte, R., Castelfranchi, C.: Understanding the Functions of Norms in Social Groups through Simulation. In: Artificial Societies. The Computer Simulation of Social Life, UCL Press (1995)Google Scholar
  15. 15.
    Tuomela, R., Bonnevier-Tuomela, M.: Norms and Agreement. European Journal of Law, Philosophy and Computer Science 5, 41–46 (1995)Google Scholar
  16. 16.
    Shoham, Y., Tennenholtz, M.: On Social Laws for Artificial Agent Societies: Offline Design. Artificial Intelligence 73, 231–252 (1995)CrossRefGoogle Scholar
  17. 17.
    López y López, F., Luck, M.: A model of normative multi-agent systems and dynamic relationships. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol. 2934, pp. 259–280. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  18. 18.
    von Wright, G.: Norm and Action: A Logical Inquiry. Routledge and Kegan Paul, London (1963)Google Scholar
  19. 19.
    Artikis, A., Kamara, L., Pitt, J., Sergot, M.J.: A protocol for resource sharing in norm-governed ad hoc networks. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS, vol. 3476, pp. 221–238. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  20. 20.
    Boella, G., van der Torre, L.: Permission and Obligations in Hierarchical Normative Systems. In: Procs. ICAIL 2003, ACM Press, New York (2003)Google Scholar
  21. 21.
    Dignum, F.: Autonomous Agents with Norms. A. I. & Law 7, 69–79 (1999)CrossRefGoogle Scholar
  22. 22.
    Michael, L., Parkes, D.C., Pfeffer, A.: Specifying and monitoring market mechanisms using rights and obligations. In: Proc. AMEC VI (2004)Google Scholar
  23. 23.
    Vázquez-Salceda, J., Aldewereld, H., Dignum, F.P.M.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 313–327. Springer, Heidelberg (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Flávio S. Corrêa da Silva
    • 1
  • Wamberto W. Vasconcelos
    • 2
  1. 1.Dept of Computer ScienceUniv de São PauloBrazil
  2. 2.Dept of Computing ScienceUniv of AberdeenUK

Personalised recommendations