Abstract
Current problem solving systems are constrained in their applicability by inadequate world models. We suggest a world model based on a temporal logic. This approach allows the problem solver to gather constraints on the ordering of actions without having to commit to an ordering when a conflict is detected. As such, it generalizes the work on nonlinear planning by Sacerdoti and Tate. In addition, it allows more general descriptions of actions that may occur simultaneously or overlap, and appears promising in supporting reasoning about external events and actions caused by other agents. 1.
Keywords
CommitComputer scienceSolverBoolean satisfiability problemProblem solverTemporal logicArtificial intelligenceTheoretical computer scienceLogic programWork (physics)Programming languageSoftware engineeringLogic programmingEngineering
Affiliated Institutions
Related Publications
The Changing Structure of Property Crime in an Affluent Society
This study examines the relationship between two forms of property (cash and coin in banks and registered motor vehicles) and the amount of theft against that property for the y...
Community Intervention Trial for Smoking Cessation (COMMIT): Summary of Design and Intervention
The Community Intervention Trial for Smoking Cessation (COMMIT) is a multicenter project created to test a comprehensive smoking control intervention. COMMIT was designed to eff...
Rethinking the Regulation of Cellular Metabolism
Most biologists working today have not considered the problem of how signal transduction events, which commit cells to energetically demanding processes such as growth and divis...
Statistical modeling: The two cultures
Abstract. There are two cultures in the use of statistical modeling to reach conclusions from data. One assumes that the data are generated bya given stochastic data model. The ...
Minds, Machines and Gödel
Gödei's Theorem seems to me to prove that Mechanism is false, that is, that minds cannot be explained as machines. So also has it seemed to many other people: almost every mathe...
Publication Info
- Year
- 1983
- Type
- article
- Pages
- 741-747
- Citations
- 254
- Access
- Closed
External Links
Citation Metrics
254
OpenAlex
Cite This
James F. Allen,
Johannes A. G. M. Koomen
(1983).
Planning using a temporal world model.
, 741-747.