论文信息 - Resolution for synchrony and no learning

Resolution for synchrony and no learning

We present a clausal resolution method for tempo- ral logics of knowledge with synchrony and no learning. This and related logics admit axioms which include operators from both the temporal and epistemic logics, which allow the description of how knowledge evolves over time. Instead of proposing new resolution rules, further information is added to the set of clauses in o rder to deal with this particular interaction.

Cláudia Nalon

[1] Bernhard Heinemann. Linear Tense Logics of Increasing Sets , 2002, J. Log. Comput..

[2] Clare Dixon,et al. Clausal temporal resolution , 1999, TOCL.

[3] R. Ladner,et al. The Logic of Distributed Protocols (Preliminary Report). , 1988 .

[4] Clare Dixon,et al. Resolution-based proof for multi-modal temporal logics of knowledge , 2000, Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000.

[5] Ronald Fagin,et al. Reasoning about knowledge , 1995 .

[6] Clare Dixon,et al. Clausal Resolution for Logics of Time and Knowledge with Synchrony and Perfect Recall , 2000 .

[7] Joseph Y. Halpern,et al. Complete Axiomatizations for Reasoning about Knowledge and Time , 2002, SIAM J. Comput..

[8] Anand S. Rao,et al. Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[9] Michael Wooldridge,et al. Resolution for Temporal Logics of Knowledge , 1998, J. Log. Comput..

[10] Clare Dixon,et al. Temporal resolution using a breadth-first search algorithm , 1998, Annals of Mathematics and Artificial Intelligence.

[11] John-Jules Ch. Meyer,et al. Formalising Motivational Attitudes of Agents , 1995, ATAL.