A Logic of Intention

Chen, Xiaoping; Liu, Guiquan

A Logic of Intention

Download BibTeX Cite

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 172-178.

Abstract

There is a lot of research on formalization of intention. The common idea of these theories is to interprete intention as an unary modal operator in Kripkean semantics. These theories suffer from the side-effect problem seriously. We introduce · an alternative approach by establishing a nonclassical logic of intention. This logic is based on a novel non-Kripkean semantics which embodies some cognitive features. We show that this logic does provide a formal . specification and a decidable inference mechanism of intention consequences. All and only the instances of sideeffects, except ones in absorbent forms, are forbidden in the logic.

Xiaoping Chen, and Guiquan Liu. 1999. A Logic of Intention. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99. IJCAI, 172–178. https://ijcai.org/proceedings/1999/26

@inproceedings{ijcai1999p26,
  title     = {A Logic of Intention},
  author    = {Chen, Xiaoping and Liu, Guiquan},
  booktitle = {Proceedings of the Sixteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-99}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Thomas Dean},
  pages     = {172--178},
  year      = {1999},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1999/26},
}

TY  - CPAPER
TI  - A Logic of Intention
AU  - Chen, Xiaoping
AU  - Liu, Guiquan
T2  - Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1999
SP  - 172
EP  - 178
UR  - https://ijcai.org/proceedings/1999/26
ER  -