Verification within the KARO Agent Theory

Hustadt, Ullrich; Dixon, Clare; Schmidt, Renate A.; Fisher, Michael; Meyer, John‐Jules Ch.; Hoek, Wiebe van der

doi:10.1007/3-540-45484-5_3

Cited by 9 publications

(4 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the Representing Cognitive States section, apart from the references mentioned, there are many other approaches: in the KARO framework (van Linder, van der Hoek, and Meyer 1998) for instance, epistemic logic and dynamic logic are combined (there is work on programming KARO agents [Meyer et al 2001] and on verifying them [Hustadt et al 2001]). Moreover, where we indicated in the logical toolkit above how epistemic notions can have natural "group variants," Aldewereld, van der Hoek, and Meyer (2004) define some group proattitudes in the KARO setting.…”

Section: Conclusion and Further Readingmentioning

confidence: 99%

Logics for Multiagent Systems

Hoek

Wooldridge

2012

AI Magazine

Self Cite

View full text Add to dashboard Cite

show abstract

Section: Conclusion and Further Readingmentioning

confidence: 99%

Logics for Multiagent Systems

Hoek

Wooldridge

2012

AI Magazine

Self Cite

View full text Add to dashboard Cite

show abstract

“…Again, although deductive and rewriting approaches have been developed [71,85,2,53,1,7,26] it is the techniques based on model-checking that have been particularly popular [14,21,138,75,13,74,90,87,89]. Work in this area has led to a variety of different practical agent verification systems.…”

Section: Agent Verificationmentioning

confidence: 99%

Where logic and agents meet

Dix

Fisher

2011

Ann Math Artif Intell

Self Cite

View full text Add to dashboard Cite

Multi agent systems have been invented 20 years ago and the theory has matured in the last two decades. Logic has and still is playing a prominent part in the basic foundations of agency and also in the development of agent programming languages, the specification and verification of agent systems. This paper is a (subjective) overview of the points of contact of logic and agents as the authors perceived it over the years.

show abstract

“…However, both resolution-and tableau-based proof methods for combinations of propositional (linear or branching time) temporal logics with modal logics [54,53,193,94] have been studied. For example, the combination of modal and temporal logics and translations into fragments of classical first-order logics have been used to reason about the KARO agent framework [96], and about extensions of the basic METATEM framework [71].…”

Section: • Temporal Logicsmentioning

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

Verification within the KARO Agent Theory

Cited by 9 publications

References 16 publications

Logics for Multiagent Systems

Logics for Multiagent Systems

Where logic and agents meet

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

Contact Info

Product

Resources

About