• Corpus ID: 15055787

Adding modal operators to the action language A

  title={Adding modal operators to the action language A},
  author={Aaron Hunter},
Proceedings of the International Workshop on Non-Monotonic Reasoning (NMR-04) in Whistler, BC, 2004. The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the underlying propositional logic. The extended language requires very little new machinery, and it is suitable for describing transitions between Kripke structures. We consider some formal restrictions on action… 
2 Citations
Belief change in the presence of actions and observations: a transition system approach
The beliefs of an agent should change due to actions and observations. In particular, actions cause an agent to perform belief update, and observations cause an agent to perform belief revision.


Representing Actions: Laws, Observations and Hypotheses
An architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of L1 is presented and logic programming approximation of this entailment is used to implement a planning module for this architecture.
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak
This work assesses the fluent calculus for knowledge and sensing with the help of the recently developed, high-level action language A k and presents a provably correct embedding of this language into fluent calculus, excluding the while loops in the query language.
Knowledge and the Action Description Language A
This work uses sensing actions to increase an agent's knowledge of the world and non-deterministic actions to remove knowledge in Ak, an extension of the action description language A to handle actions which affect knowledge.
Reasoning About Effects of Concurrent Actions
The logic programming formalization of situation calculus with concurrent actions presented in the paper is of independent interest and may serve as a test bed for the investigation of various transformations and logic programming inference mechanisms.
Action Languages, Answer Sets, and Planning
  • V. Lifschitz
  • Mathematics, Computer Science
    The Logic Programming Paradigm
  • 1999
Recent progress in these areas may lead to the creation of planners which are based on the ideas of logic programming and combine the use of expressive action description languages with efficient computational procedures.
Formalizing sensing actions A transition function based approach
A high-level action description language that allows specification of sensing actions and their effects in its domain description and allows queries with conditional plans is developed and provably correct translations of domain description in the language to axioms in first-order logic are given.
Descriptions of Game Actions
An epistemic language with dynamic operators for actions to describe simultaneous knowledge updates for different subgroups and two crucial action constructors are learning and local choice is proposed.
Representing Action and Change by Logic Programs
The method is applicable to temporal projection problems with incomplete information, as well as to reasoning about the past, and is proved to be sound relative to a semantics of action based on states and transition functions.
Reasoning about knowledge
Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.
Modal Logic - An Introduction
This chapter discusses standard models for modal logics, classical systems of modal logic, and Determination and decidability for classical systems.