Non-monotonic temporal logics for goal specification

Authors:
Chitta Baral;Jicheng Zhao
Affiliations:
Department of Computer Science and Engineering, Arizona State University, Tempe, Arizona;Department of Computer Science and Engineering, Arizona State University, Tempe, Arizona
Venue:
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Year:
2007

Citing 10
Cited 6

A nonmonotonic temporal logic and its Kripke semantics

Journal of Information Processing
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Motivated action theory: a formal theory of causal reasoning

Artificial Intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Planning for temporally extended goals

Annals of Mathematics and Artificial Intelligence
On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases

Proceedings of the 12th International Workshop on Computer Science Logic
Branching time temporal logic

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Goal specification, non-determinism and quantifying over policies

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Computational complexity of planning with temporal goals

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Evolving Logic Programming Based Agents with Temporal Operators

WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Temporal Reasoning in Urban Growth Simulation

RSKT '09 Proceedings of the 4th International Conference on Rough Sets and Knowledge Technology
Non-monotonic temporal logics that facilitate elaboration tolerant revision of goals

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A Logic Programming System for Evolving Programs with Temporal Operators

EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Evolving logic programs with temporal operators

Logic programming, knowledge representation, and nonmonotonic reasoning
Rich goal types in agent programming

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the main ways to specify goals of agents is to use temporal logics. Most existing temporal logics are monotonic. However, in representing goals of agents, we often require that goals be changed non-monotonically. For example, the initial goal of the agent may be to be always in states where p is true. The agent may later realize that under certain conditions (exceptions) it is ok to be in states where p is not true. In this paper, we propose a simple extension of LTL, which we call N-LTL, that allows non-monotonic specification of goals. We study properties of N-LTL. We also consider a translation from N-LTL to logic programs and study the relationship between N-LTL and logic programs.