A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Most of the current nonmonotonic logics are limited to a propositional or a first-order language. This means that these formalisms cannot model an agent reasoning about the knowledge of other nonmonotonic agents, which limits the usefulness of such formalisms in modeling communication among agents. This paper follows the approach that one can extend some of the existing nonmonotonic logics to include modal operators to denote the knowledge of other agents. We use a theory of utterancedblp:conf/ijcai/Wainer93 fatcat:vxjfwjc5inhw7fzodd7dkixlpe