Abstract
The Connection Graph structure is transformed into another type of graph that reflects the inter-relationship of the most general unifiers, by using elements of Cylindric Set Algebras, and the computation of a solution is redefined in term of computing the Transitive Closure of the graph based on this new structure, thus providing an environment for a distributed implementation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Backhouse, R.C., Carre, B.A.: Regular algebra applied to path-finding problems. J. Inst. Maths. Applics. 15, 161–186 (1975)
Bibel, W.: Automated Theorem Proving. Vieweg and Sohn, Wiesbaden (1982)
Clark, K., Robinson, P.J., Hagen, R.: Programming internet based DAI applications in Qu-Prolog. In: Zhang, C., Lukose, D. (eds.) Multi-Agent Systems: Theories, Languages and Applications, Heidelberg, pp. 137–151. Springer, Heidelberg (1998)
Clark, K., Robinson, P.J., Hagen, R.A.: Multi-threading and message communication in Qu-Prolog. Technical Report 99-41, Software Verification Research Centre, School of Information Technology, The University of Queensland, Brisbane 4072, Australia (December 1999)
Fisher, M., Wooldridge, M.: Distributed problem-solving as concurrent theorem-proving. In: Boman, M., Van de Velde, W. (eds.) MAAMAW 1997. LNCS, vol. 1237. Springer, Heidelberg (1997)
Kowalski, R.A.: A proof procedure using connection graphs. J. ACM 22(4), 572–595 (1975)
Monk, J.D., Henkin, L., Tarski, A.: Cylindric Algebra, part 1. North-Holland, Amsterdam (1971)
Scott, D.: Data type as latices. Siam Journal of Computing 5(3), 522–587 (1976)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Amboldi, S.Z. (2003). Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C., Gordon-Spears, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2002. Lecture Notes in Computer Science(), vol 2699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45133-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-45133-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40665-5
Online ISBN: 978-3-540-45133-4
eBook Packages: Springer Book Archive