Abstract
This paper describes how to solve numerical problems by a non computer user based on Knowledge Based Systems (KBSs) principles. The aims of our approach is to handle numerical information of the problem, by using Backward Logical inferences, deducing whether or not the required mathematical composition functions exist. We implemented a backward inference algorithm which is bounded by O(n), n being the size of KBS. Moreover the inference engine proceeds in a top-down way, so scans a small reduced search space compared to those of the forward chaining algorithms. Our experimental example deals with some statistical analysis and its application to clustering and concept formation.
Chapter PDF
Similar content being viewed by others
References
Dowling, W.F., Gallier, J.H.: Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae. J. Logic Programming 3, 267–284 (1984)
Ghallab, M., Escalada-Imaz, G.: A linear control algorithm for a class of rule-based systems. The Journal of Logic Programming (11), 117–132 (1991)
Gallo, G., Urbani, G.: Algorithms for Testing the Satisfiability of Propositional Formulae. J. Logic Programming 7(1), 45–61 (1989)
Itai, A., Makowsky, J.A.: Unification as a Complexity Measure for Logic Programming. J. Logic Programming 4, 105–177 (1987)
Scerri, E.R.: The periodic table: its story and its significance. Editor Oxford University Press (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Martinez-Enriquez, A.M., Escalada-Imaz, G., Muhammad, A. (2014). Problem Solving Environment Based on Knowledge Based System Principles. In: MartÃnez-Trinidad, J.F., Carrasco-Ochoa, J.A., Olvera-Lopez, J.A., Salas-RodrÃguez, J., Suen, C.Y. (eds) Pattern Recognition. MCPR 2014. Lecture Notes in Computer Science, vol 8495. Springer, Cham. https://doi.org/10.1007/978-3-319-07491-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-07491-7_9
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-07490-0
Online ISBN: 978-3-319-07491-7
eBook Packages: Computer ScienceComputer Science (R0)