A procedural logic

Authors:
Michael P. Georgeff;Amy L. Lansky;Pierre Bessiere
Affiliations:
Artificial Intelligence Center, SRI International, Menlo Park, California and Center for the Study of Language and Information, Stanford University;Artificial Intelligence Center, SRI International, Menlo Park, California;Artificial Intelligence Center, SRI International, Menlo Park, California
Venue:
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Year:
1985

Citing 3
Cited 5

Domain-independent planning: representation and plan generation

Artificial Intelligence
Maintaining knowledge about temporal intervals

Communications of the ACM
Logic for Problem Solving

Logic for Problem Solving

Learning Hierarchical Skills from Observation

DS '02 Proceedings of the 5th International Conference on Discovery Science
Validating generalized plans in the presence of incomplete information

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Validating generalized plans in the presence of incomplete information

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Ambient intelligence: A survey

ACM Computing Surveys (CSUR)
Plans and planning in smart homes

Designing Smart Homes

Quantified Score

Hi-index	0.00

Visualization

Abstract

Much of our commonsense knowledge about the real world is concerned with the way things are done. This knowledge is often in the form of procedures or sequences of actions for achieving particular goals. In this paper, a formalism is presented for representing such knowledge based on the notion of process. A declarative semantics for the representation is given, which allows a user to state facts about the effects of doing things in the problem domain of interest. An operational semantics is also provided, which shows how this knowledge can be used to achieve given goals or to form intentions regarding their achievement. The formalism also serves as an executable program specification language suitable for constructing complex systems.