Logic-algebraic method for a class of knowledge based systems

  • Zdzislaw Bubnicki
4 Intelligent Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1333)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bubnicki Z., Identification of Control Plants, Elsevier, Oxford, Amsterdam, New York (1980).Google Scholar
  2. 2.
    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).Google Scholar
  3. 3.
    Bubnicki Z., Algebraic Approach to Some Class of Reasoning Problems, Proc. of IFIP Workshop on Automated Reasoning, Beijing (1992).Google Scholar
  4. 4.
    Bubnicki Z., Decomposition of a System Described by Logical Model, Cybernetics and System Research, World Scientific, London, New Jersey (1992).Google Scholar
  5. 5.
    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).Google Scholar
  6. 6.
    Bubnicki Z., Logic-Algebraic Foundations of Knowledge-Based Operation Systems, Proc. of IX International Conference on Systems Engineering, Las Vegas (1993).Google Scholar
  7. 7.
    Bubnicki Z., Knowledge-Based Approach as a Generalization of Pattern Recognition Problems and Methods, Systems Science, Vol. 19 (1993).Google Scholar
  8. 8.
    Bubnicki Z., Structures of Some Knowledge-Based Distributed Expert Systems, Systems Science, Vol. 21 (1995).Google Scholar
  9. 9.
    Bubnicki Z., Logic-Algebraic Method for Knowledge-Based Control Systems, Modelling, Identification and Control, Acta Press, Zurich (1995).Google Scholar
  10. 10.
    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).Google Scholar
  11. 11.
    Bubnicki Z., Structures of Distributed Expert Systems with Parallel Processing, Proc. of XII International Conference on Systems Engineering, Coventry (1997) [to be published].Google Scholar
  12. 12.
    Bubnicki Z., Logic-Algebraic Method for a Class of Dynamical Knowledge-Based Systems, Proc. of IMACS Congress, Berlin (1997) [to be published].Google Scholar
  13. 13.
    Bubnicki Z., Logic-Algebraic Approach to a Class of Knowledge-Based Fuzzy Control Systems, Proc. of European Control Conference, Brussels (1997) [to be published].Google Scholar
  14. 14.
    Bubnicki Z., Uncertain Logics, Sets and Variables, System Science, Vol. 23 (1997) [to be published].Google Scholar
  15. 15.
    Delahaye J.-P., Formal Methods in Artificial Intelligence, North Oxford Academic (1987).Google Scholar
  16. 16.
    Patterson D.W., Introduction to Artificial Intelligence and Expert Systems, Prentice-Hall (1990).Google Scholar
  17. 17.
    Stickel M. E., A Prolog Technology Theorem Prover, International Symposium on Logic Programming, Atlantic City, N.J. (1984).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Zdzislaw Bubnicki
    • 1
  1. 1.Technical University of WroclawPland

Personalised recommendations