A modal logic analysis of a line-following robot

Steve Battle; Matthew Thompson

doi:10.1007/978-3-319-90418-4_4

A modal logic analysis of a line-following robot

Steve Battle, Matthew Thompson

Department of Computer Science

University of the West of England

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Abstract

The behaviour of a reactive, line-following robot is analysed using modal logic. This provides an approach that is complementary to numerical simulation, allowing us to explore the qualitative state-space of the robot coupled with its environment. The envisionment of this state-space can be described as a Kripke model, and model-checking tools enable us to analyse this model to search for stable equilibria that contain goal states.

Original language	English
Title of host publication	Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers
Place of Publication	Cham, Switzerland
Publisher	Springer
Pages	42-55
Number of pages	14
ISBN (Print)	9783319904177
DOIs	https://doi.org/10.1007/978-3-319-90418-4_4
Publication status	Published - 2018
Event	2nd International Symposium on Artificial Life and Intelligent Agents, ALIA 2016 - Birmingham, UK United Kingdom Duration: 14 Jun 2016 → 15 Jun 2016

Publication series

Name	Communications in Computer and Information Science
Volume	732
ISSN (Print)	1865-0929

Conference

Conference	2nd International Symposium on Artificial Life and Intelligent Agents, ALIA 2016
Country/Territory	UK United Kingdom
City	Birmingham
Period	14/06/16 → 15/06/16

Keywords

Kripke model
Modal logic
Robotics

ASJC Scopus subject areas

General Computer Science
General Mathematics

Access to Document

10.1007/978-3-319-90418-4_4

Cite this

A modal logic analysis of a line-following robot. / Battle, Steve; Thompson, Matthew.
Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Cham, Switzerland: Springer, 2018. p. 42-55 (Communications in Computer and Information Science; Vol. 732).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Battle, S & Thompson, M 2018, A modal logic analysis of a line-following robot. in Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Communications in Computer and Information Science, vol. 732, Springer, Cham, Switzerland, pp. 42-55, 2nd International Symposium on Artificial Life and Intelligent Agents, ALIA 2016, Birmingham, UK United Kingdom, 14/06/16. https://doi.org/10.1007/978-3-319-90418-4_4

@inproceedings{e1eb4b8fe58940b198a124a2969fe93a,

title = "A modal logic analysis of a line-following robot",

abstract = "The behaviour of a reactive, line-following robot is analysed using modal logic. This provides an approach that is complementary to numerical simulation, allowing us to explore the qualitative state-space of the robot coupled with its environment. The envisionment of this state-space can be described as a Kripke model, and model-checking tools enable us to analyse this model to search for stable equilibria that contain goal states.",

keywords = "Kripke model, Modal logic, Robotics",

author = "Steve Battle and Matthew Thompson",

year = "2018",

doi = "10.1007/978-3-319-90418-4_4",

language = "English",

isbn = "9783319904177",

series = "Communications in Computer and Information Science",

publisher = "Springer",

pages = "42--55",

booktitle = "Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers",

note = "2nd International Symposium on Artificial Life and Intelligent Agents, ALIA 2016 ; Conference date: 14-06-2016 Through 15-06-2016",

}

TY - GEN

T1 - A modal logic analysis of a line-following robot

AU - Battle, Steve

AU - Thompson, Matthew

PY - 2018

Y1 - 2018

N2 - The behaviour of a reactive, line-following robot is analysed using modal logic. This provides an approach that is complementary to numerical simulation, allowing us to explore the qualitative state-space of the robot coupled with its environment. The envisionment of this state-space can be described as a Kripke model, and model-checking tools enable us to analyse this model to search for stable equilibria that contain goal states.

AB - The behaviour of a reactive, line-following robot is analysed using modal logic. This provides an approach that is complementary to numerical simulation, allowing us to explore the qualitative state-space of the robot coupled with its environment. The envisionment of this state-space can be described as a Kripke model, and model-checking tools enable us to analyse this model to search for stable equilibria that contain goal states.

KW - Kripke model

KW - Modal logic

KW - Robotics

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

U2 - 10.1007/978-3-319-90418-4_4

DO - 10.1007/978-3-319-90418-4_4

M3 - Chapter in a published conference proceeding

AN - SCOPUS:85045989315

SN - 9783319904177

T3 - Communications in Computer and Information Science

SP - 42

EP - 55

BT - Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers

PB - Springer

CY - Cham, Switzerland

T2 - 2nd International Symposium on Artificial Life and Intelligent Agents, ALIA 2016

Y2 - 14 June 2016 through 15 June 2016

ER -

A modal logic analysis of a line-following robot

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this