Abstract:
In this paper, a new higher-level action language called H Simple (R) is introduced. Language H Simple (R) is based on (locally) stratified logic program [Apt et al., 1988] and can treat concurrent actions and continuous changes. Also, it can handle implication rules (ramification) under the implication restriction. This work is the extension of Language H [Hayashi, 1996] which can handle only a discrete time line. At the end, it is shown that any action can be expressed as a fluent by comparing them in the logic program level.
Citations
|
1224
|
Some philosophical problems from the standpoint of arti cial intelligence
– McCarthy, Hayes
- 1969
|
|
557
|
Towards a theory of Declarative Knowledge
– Apt, Blair, et al.
- 1988
|
|
460
|
A logic-based calculus of events
– Kowalski, Sergot
- 1986
|
|
357
|
Representing action and change by logic programs
– Gelfond, Lifschitz
- 1993
|
|
103
|
Actions with indirect effects (preliminary report
– Kartha, Lifschitz
- 1994
|
|
82
|
What are the limitations of the situation calculus
– Gelfond, Lifschitz, et al.
- 1991
|
|
62
|
Representing continuous change in the event calculus
– Shanahan
- 1990
|
|
58
|
Concurrent actions in the situation calculus
– Lin, Shoham
- 1992
|
|
55
|
Features and fluents: A systematic approach to the representation of knowledge about dynamical systems
– Sandewall
- 1994
|
|
51
|
A simple declarative language for describing narratives with ations
– Kakas, Miller
- 1997
|
|
30
|
Variants of the event calculus
– Sadri, Kowalski
- 1995
|
|
11
|
Reasoning about continuous processes
– Herrmann, Thielscher
- 1996
|
|
1
|
An abstract framework for the representation of persistence
– Evans, Sergot
- 1995
|
|
1
|
The language H: A language for representing actions
– Hayashi
- 1996
|
