Abstract
The concept of locally effective objects was introduced by Sergeraert in the field of Effective Algebraic Topology, where this tool was used to represent potentially infinite data structures. This notion, borrowed from symbolic computation, was later used to produce, in an innovative way, code implementing the well-known search algorithms in Artificial Intelligence. In this paper, we show how these implementations can be appropriately reinterpreted and specified, by using some recent advances in the algebraic specification setting. As a by-product, the concept of locally effective graphs provides a framework in which the Production Systems and the State Space programming metaphors can be formally integrated.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abadi, M., Cardelli, L.: A Theory of Object, Springer, 1996.
Forbus, K.D., de Kleer, J.: Building Problem Solvers, MIT Press, 1993.
Goguen, J., Malcolm, G.: A Hidden Agenda. Theoretical Computer Science245 (2000) 55–101.
Lambán, L., Pascual, V., Rubio, J.: Specifying implementations, in Proceedings ISSAC'99, ACM Press (1999) 245–251.
Loeckx, J., Ehrich, H. D., Wolf, M.: Specification of Abstract Data Types, Wiley-Teubner, 1996.
Rubio, J., Bañares, J.A., Muro, P.R.: A functional approach to the implementation of search algorithms (in Spanish), in Proceedings CAEPIA'99, vol. I, Murcia University (1999) 88–97.
Rubio, J., Sergeraert, F.: Locally effective objects and Algebraic Topology, in Computational Algebraic Geometry, BirkhÄuser (1993) 235–251.
Rubio, J., Sergeraert, F., Siret, Y.: An overview of EAT. Symbolic and Algebraic Computation Newsletter 3 (1998) 69–79.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rubio, J. (2001). Locally Effective Objects and Artificial Intelligence. In: Campbell, J.A., Roanes-Lozano, E. (eds) Artificial Intelligence and Symbolic Computation. AISC 2000. Lecture Notes in Computer Science(), vol 1930. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44990-6_18
Download citation
DOI: https://doi.org/10.1007/3-540-44990-6_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42071-2
Online ISBN: 978-3-540-44990-4
eBook Packages: Springer Book Archive