Computational Logic in an Object-Oriented World

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.

Event Calculus for Reasoning about Erlang Systems

“…We also plan to apply teamwork theories [8] and decision supporting tools [7] to migrate from Erlang processes to BDI agents [4] or rational agents with updating capacities [11]; this will allow us to incorporate intelligent agents in distributed systems, particularly, in those related to teaching and learning.…”