Reasoning about actions in dynamic linear time temporal logic (Q2716929)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Reasoning about actions in dynamic linear time temporal logic |
scientific article; zbMATH DE number 1599621
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning about actions in dynamic linear time temporal logic |
scientific article; zbMATH DE number 1599621 |
Statements
Reasoning about actions in dynamic linear time temporal logic (English)
0 references
16 May 2001
0 references
dynamic linear time temporal logic
0 references
reasoning about actions
0 references
incomplete initial states
0 references
nondeterministic actions
0 references
temporal projection
0 references
planning problem
0 references
satisfiability problems
0 references
Dynamic Linear Time Temporal Logic (DLTL) is used as the basis for a theory for reasoning about actions. The theory is compatible with incomplete initial states and allows one to do postdiction and to deal with ramifications and with nondeterministic actions. It is also shown that the temporal projection problem and the planning problem can be modeled as satisfiability problems in DLTL.
0 references
