A verification logic for goal agents

Koen V. Hindriks

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

A verification logic for goal agents

Koen V. Hindriks^*

^*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

Abstract

Although there has been a growing body of literature on verification of agents programs, it has been difficult to design a verification logic for agent programs that fully characterizes such programs and to connect agent programs to agent theory. The challenge is to define an agent programming language that defines a computational framework but also allows for a logical characterization useful for verification. The agent programming language Goal has been originally designed to connect agent programming to agent theory and we present additional results here that Goal agents can be fully represented by a logical theory. Goal agents can thus be said to execute the corresponding logical theory.

Original language	English
Title of host publication	Specification and Verification of Multi-agent Systems
Publisher	Springer US
Pages	225-254
Number of pages	30
ISBN (Print)	9781441969835
DOIs	https://doi.org/10.1007/978-1-4419-6984-2_8
Publication status	Published - 1 Dec 2010
Externally published	Yes

Access to Document

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

Persistent URL (handle)

Persistent link

Cite this

@inbook{9ca5f19972d2450995f1bd0639f87fcb,

title = "A verification logic for goal agents",

abstract = "Although there has been a growing body of literature on verification of agents programs, it has been difficult to design a verification logic for agent programs that fully characterizes such programs and to connect agent programs to agent theory. The challenge is to define an agent programming language that defines a computational framework but also allows for a logical characterization useful for verification. The agent programming language Goal has been originally designed to connect agent programming to agent theory and we present additional results here that Goal agents can be fully represented by a logical theory. Goal agents can thus be said to execute the corresponding logical theory.",

author = "Hindriks, {Koen V.}",

year = "2010",

month = dec,

day = "1",

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

language = "English",

isbn = "9781441969835",

pages = "225--254",

booktitle = "Specification and Verification of Multi-agent Systems",

publisher = "Springer US",

}

TY - CHAP

T1 - A verification logic for goal agents

AU - Hindriks, Koen V.

PY - 2010/12/1

Y1 - 2010/12/1

N2 - Although there has been a growing body of literature on verification of agents programs, it has been difficult to design a verification logic for agent programs that fully characterizes such programs and to connect agent programs to agent theory. The challenge is to define an agent programming language that defines a computational framework but also allows for a logical characterization useful for verification. The agent programming language Goal has been originally designed to connect agent programming to agent theory and we present additional results here that Goal agents can be fully represented by a logical theory. Goal agents can thus be said to execute the corresponding logical theory.

AB - Although there has been a growing body of literature on verification of agents programs, it has been difficult to design a verification logic for agent programs that fully characterizes such programs and to connect agent programs to agent theory. The challenge is to define an agent programming language that defines a computational framework but also allows for a logical characterization useful for verification. The agent programming language Goal has been originally designed to connect agent programming to agent theory and we present additional results here that Goal agents can be fully represented by a logical theory. Goal agents can thus be said to execute the corresponding logical theory.

UR - http://www.scopus.com/inward/record.url?scp=84891928923&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84891928923&partnerID=8YFLogxK

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

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

M3 - Chapter

AN - SCOPUS:84891928923

SN - 9781441969835

SP - 225

EP - 254

BT - Specification and Verification of Multi-agent Systems

PB - Springer US

ER -

A verification logic for goal agents

Abstract

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this