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.
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)