Authors:
Luís Rato
;
Irene Pimenta Rodrigues
and
Rui Gomes
Affiliation:
Universidade de Évora, Portugal
Keyword(s):
Control, declarative programming, knowledge representation, constraints.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence and Decision Support Systems
;
Decision Support Systems
;
Enterprise Information Systems
;
Hybrid Dynamical Systems
;
Informatics in Control, Automation and Robotics
;
Intelligent Control Systems and Optimization
;
Intelligent Fault Detection and Identification
;
Knowledge-Based Systems Applications
;
Signal Processing, Sensors, Systems Modeling and Control
Abstract:
Control engineering problems are dealt within a plethora of methods and approaches depending on the a priori knowledge, the description of the process to control, and the main control goal. Classical control theory is mainly based on properties of numerical models. This paper presents an approach that applies to a class of processes described by numerical and logical relations using inference and a knowledge base system. To attain this goal an ontology for control systems is constructed. The work presented in this paper is based in a three tank system benchmark.