Specification and Verification of Agent Interaction Using Abductive Reasoning

Chesani, Federico; Gavanelli, Marco; Alberti, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo

doi:10.1007/11750734_14

Cited by 4 publications

(2 citation statements)

References 35 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

“…The main outcomes of the project are definitions of the agent and society models and the proof-procedures implementing the operational models. The computee model is based on the KGP (Knowledge, Goals, Plans) agent architecture [101,153,152], whereas the SOCS social model is based on Social Integrity Constraints (IC S ) [1,36]. The proof-procedures to implement the operational models are the SCIF F [3] for interaction verification and CIF F [62] for temporal reasoning and planning, both of them extensions of Fung and Kowalski's IFF abductive proof-procedure [78], and Gorgias [103] for preference reasoning and deliberation, based on LPwNF [50].…”

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

Self Cite

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

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

Toni

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Specification and Verification of Agent Interaction Using Abductive Reasoning

Cited by 4 publications

References 35 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

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

Contact Info

Product

Resources

About