Towards a First-Order Approach for Social Agents: Preliminary Report

Maria Fasli, University of Essex

The study of intelligent agents capable of rational as well as social behaviour has received an increasing attention within Computer Science and in Artificial Intelligence in particular. A theory of agents can be used as a specification language in order to design, build, study and verify multi-agents systems. In this paper after arguing about the importance of common knowledge in multi-agent systems, we provide a method for the formal description of such systems. We present a first-order self-referential framework for reasoning about truth and modal knowledge and common knowledge. We then look at an extension of the basic logical machinery in which knowledge and common knowledge are predicative modalities. We continue by discussing a special case, a well-known logical paradox, the surprise examination, which involves self-reference in a multi-agent domain and we employ common knowledge to investigate it.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.