Abstract
The paper is concerned with the knowledge-based expert systems in which the knowledge representation has a form of a set of facts (logical formulas). The knowledge-based analysis and decision making problems are formulated as extensions of classical problems for traditional static plants. The main ideas of the logic-algebraic method for the solution of the problems with a decomposition and recursive procedures are presented. An approach to the system under consideration with unknown parameters (uncertain variables) is given. Three simple examples illustrate the presented problems and methods.
This work was supported by the State Committee for Scientific Research under Grant No 8 T11C 06 008
Preview
Unable to display preview. Download preview PDF.
References
Bubnicki Z., Identification of Control Plants, Elsevier, Oxford, Amsterdam, New York (1980).
Bubnicki Z., Global Modelling and Identification of Complex Systems, Proc. of 7-th IFAC/IFORS Symposium on Identification and System Parameter Estimation, Pergamon Press, Oxford (1985).
Bubnicki Z., Algebraic Approach to Some Class of Reasoning Problems, Proc. of IFIP Workshop on Automated Reasoning, Beijing (1992).
Bubnicki Z., Decomposition of a System Described by Logical Model, Cybernetics and System Research, World Scientific, London, New Jersey (1992).
Bubnicki Z., New Problems and Directions in the Area of Control and Identification for Knowledge-Based Systems, Modelling, Identification and Control, Acta Press, Zurich (1993).
Bubnicki Z., Logic-Algebraic Foundations of Knowledge-Based Operation Systems, Proc. of IX International Conference on Systems Engineering, Las Vegas (1993).
Bubnicki Z., Knowledge-Based Approach as a Generalization of Pattern Recognition Problems and Methods, Systems Science, Vol. 19 (1993).
Bubnicki Z., Structures of Some Knowledge-Based Distributed Expert Systems, Systems Science, Vol. 21 (1995).
Bubnicki Z., Logic-Algebraic Method for Knowledge-Based Control Systems, Modelling, Identification and Control, Acta Press, Zurich (1995).
Bubnicki Z., Logic-algebraic Foundations of a Class of Knowledge-Based Control Systems, Proc. of II World Automation Congress, Vol.4, TSI Press, Montpellier (1996).
Bubnicki Z., Structures of Distributed Expert Systems with Parallel Processing, Proc. of XII International Conference on Systems Engineering, Coventry (1997) [to be published].
Bubnicki Z., Logic-Algebraic Method for a Class of Dynamical Knowledge-Based Systems, Proc. of IMACS Congress, Berlin (1997) [to be published].
Bubnicki Z., Logic-Algebraic Approach to a Class of Knowledge-Based Fuzzy Control Systems, Proc. of European Control Conference, Brussels (1997) [to be published].
Bubnicki Z., Uncertain Logics, Sets and Variables, System Science, Vol. 23 (1997) [to be published].
Delahaye J.-P., Formal Methods in Artificial Intelligence, North Oxford Academic (1987).
Patterson D.W., Introduction to Artificial Intelligence and Expert Systems, Prentice-Hall (1990).
Stickel M. E., A Prolog Technology Theorem Prover, International Symposium on Logic Programming, Atlantic City, N.J. (1984).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bubnicki, Z. (1997). Logic-algebraic method for a class of knowledge based systems. In: Pichler, F., Moreno-Díaz, R. (eds) Computer Aided Systems Theory — EUROCAST'97. EUROCAST 1997. Lecture Notes in Computer Science, vol 1333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025063
Download citation
DOI: https://doi.org/10.1007/BFb0025063
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63811-7
Online ISBN: 978-3-540-69651-3
eBook Packages: Springer Book Archive