Logical Reasoning of Multiagent Systems

In the area of reasoning of multiagent systems, Professor Sim devised a unifying logic that enables the representation and reasoning about meta-belief (meta information) as well as degree of belief (an agent’s confidence about a certain piece of information) by proving that its semantics 1) subsumes four epistemic logics and 2) is equivalent to four other epistemic logics. Furthermore, he also proved that his unifying reasoning framework is computationally tractable. He has also contributed two survey papers in: 1) epistemic logics and 2) bilattice theory.

Publications

1. K. M. Sim. Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations. Artificial Intelligence Review Journal, Vol. 15, Issue 3, May 2001, pp. 219-240.

2. K. M. Sim. Reasoning Tractably About Explicit Belief: A Model-theoretic Approach. International Journal of Intelligent Systems, Vol. 15, No. 9, Sep 2000, pp. 811-848.

3. K. M. Sim. Epistemic Logic and Logical Omniscience II: A Unifying Framework. International Journal of Intelligent Systems, Vol. 15, No. 2, Feb 2000, pp. 129-152.

4. K. M. Sim. Epistemic Logic and Logical Omniscience: A Survey. International Journal of Intelligent Systems. Vol. 12, No. 1, Jan. 1997, pp. 57 - 81.

5. K. M. Sim. Beliefs and Bilattices. In Proceedings of the 8th Int. Sym. on Methodologies for Intelligent Systems, Charlotte, North Carolina 1994. Lecture Notes in Artificial Intelligence 869, pages 594 - 603, Springer Verlag, 1994.