• Skip to primary navigation
  • Skip to main content
SRI InternationalSRI mobile logo

SRI International

SRI International - American Nonprofit Research Institute

  • About
    • Blog
    • Press room
  • Expertise
    • Advanced imaging systems
    • Artificial intelligence
    • Biomedical R&D services
    • Biomedical sciences
    • Computer vision
    • Cyber & formal methods
    • Education and learning
    • Innovation strategy and policy
    • National security
    • Ocean & space
    • Quantum
    • QED-C
    • Robotics, sensors & devices
    • Speech & natural language
    • Video test & measurement
  • Ventures
  • NSIC
  • Careers
  • Contact
  • 日本支社
Show Search
Hide Search
Oceans & space publications January 1, 1986 Journal Article

A System For Reasoning In Dynamic Domains: Fault Diagnosis On The Space Shuttle

SRI International January 1, 1986

Abstract

This report describes a reactive system for reasoning about and performing complex tasks in dynamic environments. A powerful and theoretically sound scheme for representing and reasoning about actions and processes has been devised. The representation is sufficiently rich to describe the effects of arbitrary sequences of tests and actions, and the reasoning mechanism provides a means for directly using this knowledge to attain desired goals or to react to critical situations. A declarative semantics for the representation has been constructed that allows a user to specify facts about behaviors independently of context. An operational semantics has also been defined that shows how these facts can be used by a system to achieve its goals. Possession of both a declarative and an operational semantics provides the system with the ability to reason about complex actions, to explain its reasoning to others, to cope with modifications to its environment, and to be amenable to verification. The system also includes powerful metalevel reasoning capabilities, using the same formalism for representing this knowledge as for object-level knowledge. A practical implementation of such a system has been constructed and applied to some crucial problems in the automation of space operations.

↓ Download

↓ Download

Share this

Facebooktwitterlinkedinmail

Oceans & space publications, Publication Journal Article

How can we help?

Once you hit send…

We’ll match your inquiry to the person who can best help you.

Expect a response within 48 hours.

Career call to action image

Make your own mark.

Search jobs
Our work

Case studies

Publications

Timeline of innovation

Areas of expertise

Blog

Institute

Leadership

Press room

Media inquiries

Compliance

Privacy policy

Careers

Job listings

Contact

SRI Ventures

Our locations

Headquarters

333 Ravenswood Ave
Menlo Park, CA 94025 USA

+1 (650) 859-2000

Subscribe to our newsletter

日本支社

SRI International

  • Contact us
  • Privacy Policy
  • Cookies
  • DMCA
  • Copyright © 2022 SRI International