On methodology of representing knowledge in dynamic domains

Michael Gelfond, Richard Watson

Research output: Contribution to journalConference articlepeer-review


The main goal of this paper is to outline a methodology of programming in dynamic problem domains. The methodology is based on recent developments in theories of reasoning about action and change and in logic programming. The basic ideas of the approach are illustrated by discussion of the design of a program which verifies plans to control the Reaction Control System (RCS) of the Space Shuttle. We start with formalization of the RCS domain in an action description language. The resulting formalization ARCS together with a candidate plan α and a goal G are given as an input to a logic program. This program verifies if G would be true after executing α in the current situation. A high degree of trust in the program's correctness was achieved by(a) the simplicity and transparency of our formalization, ARCS, which made it possible for the users to informally verify its correctness;(b) a proof of correctness of the program with respect to ARCS. This is an ongoing work under a contract with the United Space Alliance - the company primarily responsible for operating the Space Shuttle.

Original languageEnglish
Pages (from-to)121-132
Number of pages12
JournalElectronic Notes in Theoretical Computer Science
StatePublished - 1999
EventThe 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems - Carmel, CA, United States
Duration: Oct 23 1998Oct 26 1998


  • Action Languages
  • Agents
  • Logic Programming


Dive into the research topics of 'On methodology of representing knowledge in dynamic domains'. Together they form a unique fingerprint.

Cite this