Goal change

Authors:
Steven Shapiro;Yves Lespérance;Hector J. Levesque
Affiliations:
Computer Science Inst., University of Leipzig, Leipzig, Germany;Dept. of Computer Science, York University, Toronto, ON, Canada;Dept. of Computer Science, University of Toronto, Toronto, ON, Canada
Venue:
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Year:
2005

Citing 5
Cited 16

Intention is choice with commitment

Artificial Intelligence
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Specifying Communicative Multi-Agent Systems (Invited Paper)

Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Knowledge, action, and the frame problem

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
Goal generation with relevant and trusted beliefs

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Goal Generation with Ordered Beliefs

AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
A Formal Framework of Conversational Goals Based on Strategic Reasoning

IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Strategic Agent Communication: An Argumentation-Driven Approach

Declarative Agent Languages and Technologies VI
Toward a programming theory for rational agents

Autonomous Agents and Multi-Agent Systems
Goal Revision for a Rational Agent

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Goal Generation and Adoption from Partially Trusted Beliefs

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Dynamic interactions between goals and beliefs

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A belief-desire framework for goal revision

KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part I
An integrated possibilistic framework for goal generation in cognitive agents

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
On action theory change

Journal of Artificial Intelligence Research
A possibilistic approach to goal generation in cognitive agents

IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part II
A BDI agent programming language with failure handling, declarative goals, and planning

Autonomous Agents and Multi-Agent Systems
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

Although there has been much discussion of belief change (e.g., [Gärdenfors, 1988; Spohn, 1988]), goal change has not received much attention. In this paper, we propose a method for goal change in the framework of Reiter's [2001] theory of action in the situation calculus [McCarthy and Hayes, 1969; Levesque et al., 1998], and investigate its properties. We extend the framework developed by Shapiro et al. [1998] and Shapiro and Lespérance [2001], where goals and goal expansion were modelled, but goal contraction was not.