Abstract
In the presented approach the basic domain for modeling components of a system will be sets of first order formulas. The formation process of rules is iterated and leads to the notion of cumulative logic programs, which are identified with elements of a graph algebra. The appropriate definition of the application operation on cumulative logic programs is given. The structure of the modeled system is specified by equations, and qualitative modeling is related to the algebraic problem of solving system of equations in a graph algebra. Using the concepts of consistency and knowledge extension, an algorithm for approximating solutions to such equational systems is presented.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Price, C., Lee M.: “Applications of deep knowledge”. Artificial Intelligence in engineering, 1988, Vol. 3, No. 1, pp.1–7.
de Kleer, J., and Brown, J.S.: “A Qualitative Physics Based on Confluences” Artificial Intelligence 24, (1984), p. 7–83.
Forbus, K.D.: “Qualitative Process Theory”. Artificial Intelligence 24, (1984), p. 85–168.
Kuipers, B.: “Qualitative Simulation” Artificial Intelligence 29, (1986), p. 289–338.
Struss, P.: “Mathematical aspects of qualitative modelling” Artificial Intelligence in Engineering (1988), pp. 156–169.
Bratko, I., Mosetic, I., Lavrac, N.: “Automatic Synthesis and Compression of Cardiological Knowledge” Machine Intelligence 11, (1988), pp. 435–454.
Schwärzler G.: “Knowledge-Based Modeling of Cooperative Processes” PhD Thesis, ETH Zürich, to appear 1992.
Engeler, E.: “Modelling of Cooperative Processes” Report No. 86-06, Math. Dept. ETH Zürich, 1986.
Engeler, E.: “Cumulative Logic Programs and Modelling” Logic Colloquium '86, Drake, F., Truss, J., (Editors), North Holland, 1988.
Engeler, E.: “Sketch of a New Discipline of Modelling” Report Math. Dept. ETH Zürich, 1988.
Engeler, E.: “Algebras and Combinators” Algebra Universalis, (1981), p 389–392.
Engeler, E.: “Equations in Combinatory Algebras”. Proceedings of ”Logic of Programs '83”, SLNCS 164, (1984).
Aberer K.: “Combinatory Differential Fields and Constructive Analysis” PhD Thesis No. 9357, ETH Zurich, (1991).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schwärzler, G. (1993). An algebraic approach to knowledge-based modeling. In: Calmet, J., Campbell, J.A. (eds) Artificial Intelligence and Symbolic Mathematical Computing. AISMC 1992. Lecture Notes in Computer Science, vol 737. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57322-4_5
Download citation
DOI: https://doi.org/10.1007/3-540-57322-4_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57322-7
Online ISBN: 978-3-540-48063-1
eBook Packages: Springer Book Archive