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… Expand
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.Expand

References

SHOWING 1-10 OF 15 REFERENCES
Representing Actions: Laws, Observations and Hypotheses
TLDR
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. Expand
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak
TLDR
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. Expand
Knowledge and the Action Description Language A
TLDR
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. Expand
Reasoning About Effects of Concurrent Actions
TLDR
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. Expand
Action Languages, Answer Sets, and Planning
  • V. Lifschitz
  • Mathematics, Computer Science
  • The Logic Programming Paradigm
  • 1999
TLDR
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. Expand
Formalizing sensing actions A transition function based approach
TLDR
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. Expand
Descriptions of Game Actions
TLDR
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. Expand
Representing Action and Change by Logic Programs
TLDR
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. Expand
Reasoning about knowledge
TLDR
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. Expand
Modal Logic - An Introduction
TLDR
This chapter discusses standard models for modal logics, classical systems of modal logic, and Determination and decidability for classical systems. Expand
...
1
2
...