Procedural Knowledge

reportActive / Technical Report | Accession Number: ADA461266 | Open PDF

Abstract:

Much 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, our 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 NASAs space shuttle are provided.

Author(s):
Georgeff, Michael P. ; Lansky, Amy L.
Author Organization(s):
SRI INTERNATIONAL MENLO PARK CA ARTIFICIAL INTELLIGENCE CENTER
Descriptive Note:
Technical note
Supplementary Note:
Sponsored in part by NASA Ames Research Center Contract no. NAS2-11864. This paper was originally published in The Proceedings of the Institute of Electrical and Electronics Engineers, Special Issue on Knowledge Representation, v74, n10, p1383-1398, Oct 1986.
Pagination:
0034

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
SRI-TN-411
Contract/Grant Number(s):
N00014-80-C-0296, N00014-85-C-0251
Monitor Series:
ONR
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_5.2.2_Develop Knowledge and Situational Awareness; JCA_5.2_Understand; JCA_8_Building Partnerships
Modernization Areas:
AI and Machine Learning
Communities of Interest:
Materials and Manufacturing Processes
Descriptor(s):
*SEMANTICS, *PLANNING, *ARTIFICIAL INTELLIGENCE, ROBOTS, ADAPTIVE SYSTEMS
Field(s)/Group(s):
Cybernetics, Bionics
Keyword(s):
*PROCEDURES, *PROCESS, *PRS(PROCEDURAL REASONING SYSTEMS), SPECIFICATION LANGUAGES, AGENTS
Report Date:
1987 Jan 01
Creation Date:
2007 Feb 21