Epistemic Extension of Propositional Preference Logics

Jacques Wainer
1993 International Joint Conference on Artificial Intelligence  
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 utterance
more » ... ing as the source of our intuitions on the properties that such extended logics should exhibit. The second part of this paper discusses a methodof extending any propositional preference logics into a corresponding extended logics that allows for a knowledge operator.
dblp:conf/ijcai/Wainer93 fatcat:vxjfwjc5inhw7fzodd7dkixlpe