A formal logic of plans in temporally rich domains
This paper outlines a temporal logic extended with two modalities that can be used to support planning in temporally rich domains. In particular, the logic can represent planning environments that have assertions about future possibilities in addition to the present state, and plans that contain concurrent actions. The logic is particularly expressive in the ways that concurrent actions can interact with each other and allow situations where either one of the actions can be executed, but both cannot, as well as situations where neither action can be executed along, but they can be done together. Two modalities are introduced and given a formal semantics: INEV expresses simple temporal possibility, and IFT-RIED expresses counterfactual-like statements about actions.
- Research Organization:
- Dept. of Computer Science, The Univ. of Rochester, Rochester, NY 14627
- OSTI ID:
- 7005124
- Journal Information:
- Proc. IEEE; (United States), Journal Name: Proc. IEEE; (United States) Vol. 74:10; ISSN IEEPA
- Country of Publication:
- United States
- Language:
- English
Similar Records
Characterizing Kripke structures in temporal logic. Interim report
Logic, parallelism, and semantic networks: The Binary Predicate Execution Model