Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity

Authors:
Yi Zhou;Leendert van der Torre;Yan Zhang
Affiliations:
University of Western Sydney, NSW, Australia;University of Luxembourg, Luxembourg;University of Western Sydney, NSW, Australia
Venue:
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Year:
2008

Citing 7
Cited 2

Intention is choice with commitment

Artificial Intelligence
Goals in the context of BDI plan failure and planning

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Dynamic interactions between goals and beliefs

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A logical account of relevance

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Goal change

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Toward formalizing usefulness in propositional language

KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Dynamics of declarative goals in agent programming

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

A logical study of partial entailment

Journal of Artificial Intelligence Research
Towards reasoning with partial goal satisfaction in intelligent agents

ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Partial implication semantics in the context of a background theory has been introduced to formalize partial goal satisfaction in the context of beliefs. In this paper, we introduce strong partial implication prohibiting redundancies and weak partial implication allowing side effects, we study their semantic as well as complexity properties, and we apply the three notions of partial implication to goal change in the context of beliefs.