• Corpus ID: 15055787

Adding modal operators to the action language A

@inproceedings{Hunter2004AddingMO,
  title={Adding modal operators to the action language A},
  author={Aaron Hunter},
  booktitle={NMR},
  year={2004}
}
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

Figures from this paper

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.

References

SHOWING 1-10 OF 15 REFERENCES

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

Action Languages, Answer Sets, and Planning

  • V. Lifschitz
  • 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

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

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.

The Logic Programming Paradigm: A 25-Year Perspective

This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in the field. The contributors to this book are