A Verification Framework for GOAL Agents

Alexander Birch Jensen

A Verification Framework for GOAL Agents

Alexander Birch Jensen

Department of Applied Mathematics and Computer Science

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

53 Downloads (Pure)

Abstract

We describe a project about formal verification of GOAL agents. We explain how to mechanically transform GOAL code into agent logic under a set of assumptions. The framework allows us to prove correctness of an implemented GOAL agent. We focus on a Blocks World for Teams problem and show the first step of a correctness proof. Finally, we sketch future steps for the project by identifying the many challenges

Original language	English
Title of host publication	Pre-Proceedings of 8^th International Workshop on Engineering Multi-Agent Systems
Number of pages	7
Publication date	2020
Publication status	Published - 2020
Event	8^th International Workshop on Engineering Multi-Agent Systems - Virtual event, Auckland, New Zealand Duration: 9 May 2020 → 10 May 2020

Conference

Conference	8^th International Workshop on Engineering Multi-Agent Systems
Location	Virtual event
Country/Territory	New Zealand
City	Auckland
Period	09/05/2020 → 10/05/2020

Keywords

Agent programming
Agent verification
Formal logic

Access to Document

FulltextFinal published version, 260 KB

OpenUrl availability

Full text

Cite this

@inproceedings{92b48554b3fc486c8777d7436e0862b6,

title = "A Verification Framework for GOAL Agents",

abstract = "We describe a project about formal verification of GOAL agents. We explain how to mechanically transform GOAL code into agent logic under a set of assumptions. The framework allows us to prove correctness of an implemented GOAL agent. We focus on a Blocks World for Teams problem and show the first step of a correctness proof. Finally, we sketch future steps for the project by identifying the many challenges",

keywords = "Agent programming, Agent verification, Formal logic",

author = "Jensen, {Alexander Birch}",

year = "2020",

language = "English",

booktitle = "Pre-Proceedings of 8th International Workshop on Engineering Multi-Agent Systems",

note = "8<sup>th</sup> International Workshop on Engineering Multi-Agent Systems, EMAS 2020 ; Conference date: 09-05-2020 Through 10-05-2020",

}

TY - GEN

T1 - A Verification Framework for GOAL Agents

AU - Jensen, Alexander Birch

PY - 2020

Y1 - 2020

N2 - We describe a project about formal verification of GOAL agents. We explain how to mechanically transform GOAL code into agent logic under a set of assumptions. The framework allows us to prove correctness of an implemented GOAL agent. We focus on a Blocks World for Teams problem and show the first step of a correctness proof. Finally, we sketch future steps for the project by identifying the many challenges

AB - We describe a project about formal verification of GOAL agents. We explain how to mechanically transform GOAL code into agent logic under a set of assumptions. The framework allows us to prove correctness of an implemented GOAL agent. We focus on a Blocks World for Teams problem and show the first step of a correctness proof. Finally, we sketch future steps for the project by identifying the many challenges

KW - Agent programming

KW - Agent verification

KW - Formal logic

M3 - Article in proceedings

BT - Pre-Proceedings of 8th International Workshop on Engineering Multi-Agent Systems

T2 - 8<sup>th</sup> International Workshop on Engineering Multi-Agent Systems

Y2 - 9 May 2020 through 10 May 2020

ER -

A Verification Framework for GOAL Agents

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this