A Defeasible Reasoning System in Multi-Agent Environments

Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, and Ken Satoh

Proceedings of the 1th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'00), pages 1-6, Imperial College, 2000.

Abstract

We introduce a multi-agent system based on logic programming. In this system an agent has a knowledge base written in an extended logic program. Then, an agent performs default reasoning in the situation that her belief is possibly rebutted by other agents. We present a logical framework of such systems and also characterize the system in situation calculus.


Full Paper (gzipped postscript 132K)