Abstract :
The author discusses an architecture for the design and implementation of a class of feedback knowledge-based autonomous control systems in which the central operational element, the inferencer, is all online mechanical theorem prover whose function is to determine whether an existentially qualified theorem, representing the desired system behavior, logically follows from the theory stored in the knowledge base, and if so to generate command actions. The knowledge base is a set of declarations given by equational Horn clauses organized in a nested hierarchy. The knowledge base is dynamically modified by sensory and goal data. The main elements of the architecture are discussed, and some its operational characteristics, adaptability, stability, and goal reachability are considered. The architecture is illustrated by all autonomous guidance controller for a transport aircraft in the vicinity of an airport
Keywords :
computerised control; feedback; hierarchical systems; inference mechanisms; knowledge based systems; stability; adaptability; autonomous guidance controller; central operational element; declarative multiplexed rational controllers; desired system behavior; dynamically modified knowledge base; equational Horn clauses; existentially qualified theorem; feedback knowledge-based autonomous control systems; goal reachability; inferencer; knowledge base; nested hierarchy; online mechanical theorem prover; operational characteristics; stability; theorem planner; transport aircraft; Centralized control; Computer architecture; Control systems; Design engineering; Equations; Feedback; Knowledge engineering; Process design; Sensor phenomena and characterization; Stability;
