Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project

Toni, Francesca

doi:10.1007/11750734_26

Cited by 6 publications

(4 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Primary references: [3] Other references describing / exploiting the technology: [4,9,55,72,73,147,338,341] URL: http://lia.deis.unibo.it/research/sciff MAS perspective SCIFF is a model-checker mainly used to verify the compliance of agents to interaction protocols. SCIFF offers variables (e.g., to model time) and constraints on variables occurring in hypotheses and expectations; social goals, defined as predicates, can express the social aim or outcome of some agent interaction, or can be used to start an abductive derivation in the more classical tradition of abductive logic programming.…”

Section: Sciff (2005)mentioning

confidence: 99%

Logic-based technologies for multi-agent systems: a systematic literature review

Calegari

Ciatto

Mascardi

et al. 2020

Auton Agent Multi-Agent Syst

View full text Add to dashboard Cite

Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computer-scientists and non-technical media, symbolic approaches are getting more and more attention as those that could make AI amenable to human understanding. Given the recurring cycles in the AI history, we expect that a revamp of technologies often tagged as “classical AI”—in particular, logic-based ones—will take place in the next few years. On the other hand, agents and multi-agent systems (MAS) have been at the core of the design of intelligent systems since their very beginning, and their long-term connection with logic-based technologies, which characterised their early days, might open new ways to engineer explainable intelligent systems. This is why understanding the current status of logic-based technologies for MAS is nowadays of paramount importance. Accordingly, this paper aims at providing a comprehensive view of those technologies by making them the subject of a systematic literature review (SLR). The resulting technologies are discussed and evaluated from two different perspectives: the MAS and the logic-based ones.

show abstract

Section: Sciff (2005)mentioning

confidence: 99%

Logic-based technologies for multi-agent systems: a systematic literature review

Calegari

Ciatto

Mascardi

et al. 2020

Auton Agent Multi-Agent Syst

View full text Add to dashboard Cite

show abstract

“…• [170]. The main outcomes of the project are definitions of the agent and society models and the proof-procedures implementing the operational models.…”

Section: Logic-based Agent Implementation [Programming Languages]mentioning

confidence: 99%

Computational Logics and Agents: A Road Map of Current Technologies and Future Trends

Fisher

Bordini

Hirsch

et al. 2007

Computational Intelligence

View full text Add to dashboard Cite

The concept of an agent is increasingly used in contemporary software applications, particularly those involving the Internet, autonomous systems, or cooperation. However, with dependability and safety in mind, it is vital that the mechanisms for representing and implementing agents are clear and consistent. Hence there has been a strong research effort directed at using formal logic as the basis for agent descriptions and agent implementation. Such a logical basis not only presents the clarity and consistency required but also allows for important techniques such as logical verification to be applied.We present a roadmap of research into the use of computational logic in agent-based systems and survey much of the recent work in these areas. Even though, with such a rapidly changing field, it is impossible to cover every development, we aim to give the reader sufficient background to understand the current research problems and potential future developments in this maturing area.

show abstract

“…Recent years have seen an increasing interest in modeling agent interaction using computational logics [18], [19], [7], [11]. In this context, a formal semantics of social commitments based on logics for multiagent systems has been broadly acknowledged, specially for agent communication.…”

Section: Introductionmentioning

confidence: 99%

A New Semantics of Social Commitments Using Branching Space-Time Logic

El-Menshawy¹,

Dssouli

2009

2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology

View full text Add to dashboard Cite

Abstract-Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representations and evolved the commitments as "world-wide" states called moments. These approaches do not capture the space and space-like dimensions and ignore the causal relation between the participating agents. This paper presents a significant step towards developing a new logical semantics of social commitments based on Branching Space-Time (BST) logic. The contributions of this paper are threefold: first, we reformulate BST-logic from philosophical perspective to computational logic being used in computer science discipline; second, we enhance this logic with social commitments (propositional and conditional) and space-like modalities; and third, we present a new semantics model for social commitments and twoparty operations that manipulate commitments in the same framework.

show abstract

Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project

Cited by 6 publications

References 19 publications

Logic-based technologies for multi-agent systems: a systematic literature review

Logic-based technologies for multi-agent systems: a systematic literature review

Computational Logics and Agents: A Road Map of Current Technologies and Future Trends

A New Semantics of Social Commitments Using Branching Space-Time Logic

Contact Info

Product

Resources

About