| R.M. Young. Reasoning about the effects of communication on beliefs, Stanford University (1994), Web source. |
....are not many attempts to extend such formalisms to MAS. In [4,8] nonmonotonic behaviour is treated at procedural level. In [11] Perrault proposes, at a formal level, an axiomatization of inter agent communication based on possible world semantics and Reiter s default logic, further developed in [15] by an axiomatization of belief transfer in a nonmonotonic modal logic of belief and time. Our work starts from a different approach of assumption based reasoning, namely TLI, and shows how this paradigm may be applied to design and model agents in MAS. A considerable number of sources deal with ....
R.M. Young. Reasoning about the effects of communication on beliefs, Stanford University (1994), Web source.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC