Procedural knowledge

Journal Article · Wed Oct 01 04:00:00 EDT 1986 · Proc. IEEE; (United States)

DOI:https://doi.org/10.1109/PROC.1986.13639· OSTI ID:7190032

Georgeff, M P; Lansky, A L

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 NASA's space shuttle are provided.

• Research Organization: Artificial Intelligence Center, SRI International, Menlo Park, CA 94025
• OSTI ID: 7190032
• Journal Information: Proc. IEEE; (United States), Journal Name: Proc. IEEE; (United States) Vol. 74:10; ISSN IEEPA
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
990210* -- Supercomputers-- (1987-1989)
AIRCRAFT
ALGORITHMS
ARTIFICIAL INTELLIGENCE
EXPERT SYSTEMS
KNOWLEDGE BASE
MATHEMATICAL LOGIC
NASA
NATIONAL ORGANIZATIONS
PROGRAMMING LANGUAGES
ROBOTS
SPACE SHUTTLES
SPACE VEHICLES
STANDARDIZED TERMINOLOGY
SYSTEM FAILURE ANALYSIS
SYSTEMS ANALYSIS
US ORGANIZATIONS
VEHICLES