Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
A logic-based calculus of events
New Generation Computing
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic and objects
Blackboard-based extensions in Prolog
Software—Practice & Experience
Coordination programming: mechanisms, models and semantics
Coordination programming: mechanisms, models and semantics
ACM Computing Surveys (CSUR)
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
MultiAgent Distributed Simulation with GALATEA
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
The quarks of object-oriented development
Communications of the ACM - Next-generation cyber forensics
Proceedings of the 5th international conference on Aspect-oriented software development
The logical way to be artificially intelligent
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
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.