Computational Logic in Multi-Agent Systems

The book "Computational Logic in Multi-Agent Systems" offers a comprehensive examination of the role of logical concepts in multi-agent systems. These systems consist of multiple agents capable of perceiving and reacting to their environment, as well as pursuing individual or collective goals. The authors, Michael Fisher, Fariba Sadri, and Michael Thielscher, highlight the integration of technologies and concepts from artificial intelligence and other areas of computer science. The work illustrates the significance of agent-based paradigms that are applied in various fields such as search engines, e-commerce, and recommendation systems. By utilizing computational logic, a clear and rigorous framework is established to investigate the syntax, semantics, and procedures for the capabilities and functions of agents, as well as their interactions. This enables a well-founded analysis and implementation of multi-agent systems.