" Although one of the fundamental goals of AI is to understand and develop intelligent systems that have all of the capabilities of humans, there is little active research directly pursuing that goal. We propose that AI for interactive computer games is an emerging application area in which this goal of human-level AI can successfully be pursued" [Laird, 2001].

The scope of this project is classical and non-classical logics (multimodal and intensional logics), multi-agent systems (reasoning about knowledge, uncertainty and action – [Fagin, 1995], [Yamamoto, 2003]; [Halpern, 2003]; [Moore, 1995]), declarative programming (constraint and intensional programming), distributed computing and games. Logical formalization of agent behaviour is desirable to provide the foundation for sophisticated reasoning techniques to be used on, and by, the agents themselves. In particular, the intensional logics [van Benthem, 1998]; [Zalta, 1988] - that include apparatus for signifying when two meanings are identical, and that analyzes inferences involving meanings, of practical reasoning are attractive for their capability of encapsulating practical reasoning. Also, the possible worlds semantics offered by modal logic [Fagin, 1995], [Yamamoto, 2003], has proved to be a successful framework in which to model mental attitudes of agents such as beliefs, desires and intentions [Rao, 1995]. More precisely, we examine the relationship between agent (intensional agent) specifications and operational behaviour of multi-agent systems (adapted to different applications scenarios).

People Flávio Soares Corrêa da Silva   (Supervisor) Project: Laboratory for Computer Games Technology (LIDET) LIAMF

Agents, Games, Inference, Intensional Logics, Reasoning About Knowledge, Modal Logics. Paraconsistent Logics.

Attentive Agensts, 2003.
The Mozart Programming System and Its Use for Agent Applications, 2000.
Intelligent Agents: Theory and Practice, 1994.
Applications of Intelligent Agents.
From Logic Programming to Multi-Agent Systems, 1998.
Formalisms for Multi-Agent Systems.
The Logical Modelling of Computational Multi-Agent Systems - (Thesis), 1992.
Logics and Multi-Agents: Towards a New Symbolic Model of Cognition, 2002.
Logic Programming & Multi-Agent Systems: a Synergic Combination for Applications and Semantics, 1999.
Formal Specification of Beliefs in Multi-Agent Systems, 1997.
Efficient Representation and Reasoning in Multi-Agent System - (Thesis), 1991.

Human-level AI's Killer Application:Interactive Computer Games.

Computation and Deduction, 2001.

First-Order Intensional Logic, 2003.

Knowledge Based Environmental Data Validation, 2002.

Modal Logic, 1999.
Basic Concepts in Modal Logic, 1995.
A guide to Completeness and Complexity for Modal Logics of Knowledge and Belief, 1985.

Plato: Paraconsistent Logic.

We investigate features and properties of knowledge-based multi-agent systems. We study correct and complete axiomatizations which capture and handle the notions of knowledge, common knowledge and distributed knowledge. We extend the study of knowledge systems classifying them according to the computational complexity class to which they belong: we do that exposing the existing difficulties in the decision procedures in terms of the computational complexity of the several axiomatizations presented. We verify that while the problem of deciding satisfiability of a formula in S5 with one agent is np-complete, the problem for many agents is pspace-complete and the addition of the common knowledge operator to the language turns the problem to exptime.