Computational logic and multi-agent systems

More about the book

In recent years, the concept of agency has significantly influenced modern research across various disciplines, including sociology, psychology, and philosophy. This agent paradigm has permeated computer science, particularly in its applications for the Internet and robotics. Multi-agent systems (MAS) consist of entities that can perceive and act within their environments to achieve both individual and collective goals. The development of such systems integrates a range of technologies and concepts from artificial intelligence and computing. MAS applications are diverse, spanning search engines, educational tools, and electronic commerce. While often implemented using imperative languages for efficiency, the agent concept has increasingly impacted the research and development of computational logic-based systems. Computational logic offers a well-defined and rigorous framework for systematically studying computation, encompassing syntax, semantics, procedures, and implementations. This approach addresses problems at a sufficient level of abstraction, allowing for generalization across different domains. The foundational nature of logic in both substance and method is one of the major strengths of computational logic, enabling it to provide effective solutions across various problem areas.