NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Procedural knowledgeMuch of commonsense knowledge about the real world is in the form of procedures or sequences of actions for achieving particular goals. In this paper, a formalism is presented for representing such knowledge using 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 particular goals or to form intentions regarding their achievement. Given both semantics, the formalism additionally serves as an executable specification language suitable for constructing complex systems. A system based on this formalism is described, and examples involving control of an autonomous robot and fault diagnosis for NASA's Space Shuttle are provided.
Document ID
19870033583
Acquisition Source
Legacy CDMS
Document Type
Reprint (Version printed in journal)
Authors
Georgeff, Michael P.
(SRI International Corp. Menlo Park, CA, United States)
Lansky, Amy L.
(SRI International Corp., Artificial Intelligence Center Menlo Park, CA, United States)
Date Acquired
August 13, 2013
Publication Date
October 1, 1986
Publication Information
Publication: IEEE, Proceedings
Volume: 74
ISSN: 0018-9219
Subject Category
Computer Programming And Software
Accession Number
87A20857
Funding Number(s)
CONTRACT_GRANT: N00014-80-C-0296
CONTRACT_GRANT: N00014-85-C-0251
CONTRACT_GRANT: NAS2-11864
Distribution Limits
Public
Copyright
Other

Available Downloads

There are no available downloads for this record.
No Preview Available