Abstract
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individuals, and OO focuses on the use of hierarchical classes of individuals to structure information and procedures. In this paper, I investigate the similarities and differences between OO and abductive logic programming multi-agent systems (ALP systems) and argue that ALP systems can combine the advantages of logic with the main benefits of OO. In ALP systems, relationships between individuals are contained in a shared semantic structure and agents interact both with one another and with the environment by performing observations and actions. In OO systems, on the other hand, relationships are associated with objects and are represented by attribute-value pairs. Interaction between objects is performed by sending and receiving messages. I argue that logic can be reconciled with OO by combining the hierarchical, modular structuring of information and procedures by means of objects/agents, with a shared semantic structure, to store relationships among objects/individuals, accessed by observations and actions instead of by message passing.
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
Andreoli, J.M., Hankin, Le Métayer, D. (eds.): Coordination Programming: Mechanisms, Models and Semantics. Imperial College Press, London (1996)
Andreoli, J.M., Pareschi, R.: Linear Objects: Logical Processes with Built-In Inheritance. New Generation Computing 9, 445–473 (1991)
Armstrong, D.J.: The Quarks of Object-Oriented Development. Communications of the ACM 49(2), 123–128 (2006)
Barwise, J., Perry, J.: Situations and Attitudes. MIT Bradford Press, Cambridge (1983)
Brogi, A., Ciancarini, P.: The Concurrent Language, Shared Prolog. ACM Transactions on Programming Languages and Systems 13(1), 99–123 (1991)
Brown, G., Yule, G.: Discourse Analysis. Cambridge University Press, Cambridge (1983)
Davila, J., Gomez, E., Laffaille, K., Tucci, K., Uzcategui, M.: Multi-Agent Distributed Simulations with GALATEA. In: Boukerche, A., Turner, T., Roberts, D., Theodoropoulos, G. (eds.) IEEE Proceedings of Distributed Simulation and Real Time Applications, pp. 165–170. IEEE Computer Society, Los Alamitos (2005)
De Bosschere, K., Tarau, P.: Blackboard-Based Extensions in Prolog. Software - Practice and Experience 26(1), 49–69 (1996)
Engelmore, R.S., Morgan, A. (eds.): Blackboard Systems. Addison Wesley, Reading (1988)
Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages 1(7), 80–112 (1985)
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Kowalski, R.: How to be Artificially Intelligent. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 1–22. Springer, Heidelberg (2006)
Kowalski, R., Sadri, F.: Logic Programming with Exceptions. New Generation Computing 3, 4(9), 387–400 (1991)
Kowalski, R., Sadri, F.: From Logic Programming towards Multi-agent Systems. Annals of Mathematics and Artificial Intelligence (25), 391–419 (1999)
Kowalski, R., Sergot, M.: A Logic-based Calculus of Events. New Generation Computing 1(4), 67–95 (1986)
McCabe, F.G.: Logic and Objects. Prentice-Hall, Inc., Upper Saddle River (1992)
McCarthy, J., Hayes, P.: Some Philosophical Problems from the Standpoint of AI. Machine Intelligence. Edinburgh University Press, Edinburgh (1969)
Paton, N.W., Diaz, O.: Active Database Systems. ACM Computing Surveys 31(1) (1999)
Pearce, D.J., Noble, J.: Relationship Aspects. In: Proceedings of the ACM conference on Aspect-Oriented Software Development (AOSD 2006), pp. 75–86 (2006)
Shapiro, E., Takeuchi, A.: Object-Oriented Programming in Concurrent Prolog. New Generation Computing 1(2), 5–48 (1983)
Toni, F., Kowalski, R.: Reduction of Abductive Logic Programs to Normal Logic Programs. In: Proceedings International Conference on Logic Programming, pp. 367–381. MIT Press, Cambridge (1995)
Williams, J.: Style: Towards Clarity and Grace. Chicago University Press (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kowalski, B. (2006). Computational Logic in an Object-Oriented World. In: Stock, O., Schaerf, M. (eds) Reasoning, Action and Interaction in AI Theories and Systems. Lecture Notes in Computer Science(), vol 4155. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11829263_4
Download citation
DOI: https://doi.org/10.1007/11829263_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37901-0
Online ISBN: 978-3-540-37902-7
eBook Packages: Computer ScienceComputer Science (R0)