A logic of intention

Authors:
Xiaoping Chen;Guiquan Liu
Affiliations:
Dept of Computer Science & Technology, Univ. of Science & Technology of China, He Fei, An Hui Province, P. R. China;Dept of Computer Science & Technology, Univ. of Science & Technology of China, He Fei, An Hui Province, P. R. China
Venue:
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Year:
1999

Citing 5
Cited 0

Belief, awareness, and limited reasoning

Artificial Intelligence
Intention is choice with commitment

Artificial Intelligence
ALX, an action logic for agents with bounded rationality

Artificial Intelligence
A Deduction Model of Belief

A Deduction Model of Belief
Commitments in the Architecture of a Limited, Rational Agent

PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues

Quantified Score

Hi-index	0.00

Visualization

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.