Directions for agent model checking

R.H. Bordini; L.A. Dennis; B. Farwer; M. Fisher

doi:10.1007/978-1-4419-6984-2_4

Directions for agent model checking

R.H. Bordini, L.A. Dennis, B. Farwer, M. Fisher

Formal Methods

Research output: Chapter in Book/Conference proceeding › Chapter

Abstract

In this chapter we provide a perspective on current and future work in the area of agent model-checking. In particular, we describe our approach, which was the first to provide comprehensive verification of practical agent programming languages. It provides a library of general agent concepts that has been formally defined and implemented in Java, upon which interpreters for various agent programming languages can be succinctly programmed. The Java library has been prepared so that it can be efficiently used with an existing Java model checker, thus facilitating the verification of (heterogeneous) multi-agent programs. Besides giving an overview of our approach, in this chapter we identify its current shortfalls and discuss where we aim to target future development.

Original language	English
Title of host publication	Specification and verification of multi-agent systems
Editors	Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer
Place of Publication	Boston, MA
Publisher	Springer Nature
Pages	103-123
Number of pages	21
ISBN (Electronic)	9781441969842
ISBN (Print)	9781441969835, 9781489990884
DOIs	https://doi.org/10.1007/978-1-4419-6984-2_4
Publication status	Published - 2010

Keywords

Virtual Machine
Rational Agent
Model Check
Operational Semantic
Formal Semantic

Access to Document

10.1007/978-1-4419-6984-2_4

Cite this

@inbook{2ec3df1ed9974527852a96aa19602d01,

title = "Directions for agent model checking",

abstract = "In this chapter we provide a perspective on current and future work in the area of agent model-checking. In particular, we describe our approach, which was the first to provide comprehensive verification of practical agent programming languages. It provides a library of general agent concepts that has been formally defined and implemented in Java, upon which interpreters for various agent programming languages can be succinctly programmed. The Java library has been prepared so that it can be efficiently used with an existing Java model checker, thus facilitating the verification of (heterogeneous) multi-agent programs. Besides giving an overview of our approach, in this chapter we identify its current shortfalls and discuss where we aim to target future development.",

keywords = "Virtual Machine, Rational Agent, Model Check, Operational Semantic, Formal Semantic",

author = "R.H. Bordini and L.A. Dennis and B. Farwer and M. Fisher",

year = "2010",

doi = "10.1007/978-1-4419-6984-2_4",

language = "English",

isbn = "9781441969835",

pages = "103--123",

editor = "Mehdi Dastani and Hindriks, {Koen V.} and John-Jules Meyer",

booktitle = "Specification and verification of multi-agent systems",

publisher = "Springer Nature",

address = "United States",

}

TY - CHAP

T1 - Directions for agent model checking

AU - Bordini, R.H.

AU - Dennis, L.A.

AU - Farwer, B.

AU - Fisher, M.

PY - 2010

Y1 - 2010

N2 - In this chapter we provide a perspective on current and future work in the area of agent model-checking. In particular, we describe our approach, which was the first to provide comprehensive verification of practical agent programming languages. It provides a library of general agent concepts that has been formally defined and implemented in Java, upon which interpreters for various agent programming languages can be succinctly programmed. The Java library has been prepared so that it can be efficiently used with an existing Java model checker, thus facilitating the verification of (heterogeneous) multi-agent programs. Besides giving an overview of our approach, in this chapter we identify its current shortfalls and discuss where we aim to target future development.

AB - In this chapter we provide a perspective on current and future work in the area of agent model-checking. In particular, we describe our approach, which was the first to provide comprehensive verification of practical agent programming languages. It provides a library of general agent concepts that has been formally defined and implemented in Java, upon which interpreters for various agent programming languages can be succinctly programmed. The Java library has been prepared so that it can be efficiently used with an existing Java model checker, thus facilitating the verification of (heterogeneous) multi-agent programs. Besides giving an overview of our approach, in this chapter we identify its current shortfalls and discuss where we aim to target future development.

KW - Virtual Machine

KW - Rational Agent

KW - Model Check

KW - Operational Semantic

KW - Formal Semantic

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84892263094&partnerID=MN8TOARS

U2 - 10.1007/978-1-4419-6984-2_4

DO - 10.1007/978-1-4419-6984-2_4

M3 - Chapter

SN - 9781441969835

SN - 9781489990884

SP - 103

EP - 123

BT - Specification and verification of multi-agent systems

A2 - Dastani, Mehdi

A2 - Hindriks, Koen V.

A2 - Meyer, John-Jules

PB - Springer Nature

CY - Boston, MA

ER -

Directions for agent model checking

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this