Steve Battle Steve.Battle@uwe.ac.uk
Senior Lecturer
A modal logic analysis of a line-following robot
Battle, Steve; Thompson, Matthew
Authors
Matthew Thompson
Contributors
Peter R Lewis
Editor
Christopher J Headleand
Editor
Steve Battle Steve.Battle@uwe.ac.uk
Editor
Panagiotis D Ritsos
Editor
Abstract
© Springer International Publishing AG, part of Springer Nature 2018. 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.
Citation
Battle, S., & Thompson, M. (2018). A modal logic analysis of a line-following robot. Communications in Computer and Information Science, 732, 42-55. https://doi.org/10.1007/978-3-319-90418-4_4
Journal Article Type | Conference Paper |
---|---|
Conference Name | Artificial Life and Intelligent Agents Symposium (ALIA) 2016 |
Start Date | Jun 14, 2016 |
End Date | Jun 15, 2016 |
Acceptance Date | May 11, 2016 |
Publication Date | Jan 1, 2018 |
Journal | Communications in Computer and Information Science |
Print ISSN | 1865-0929 |
Publisher | Springer Verlag (Germany) |
Peer Reviewed | Peer Reviewed |
Volume | 732 |
Pages | 42-55 |
Series Title | Communications in Computer and Information Science |
DOI | https://doi.org/10.1007/978-3-319-90418-4_4 |
Keywords | Kripke model, modal logic, qualitative simulation, stability |
Public URL | https://uwe-repository.worktribe.com/output/889040 |
Publisher URL | https://doi.org/10.1007/978-3-319-90418-4_4 |
Related Public URLs | http://2016.aliasymposium.com/accepted-papers/ |
Additional Information | Title of Conference or Conference Proceedings : Artificial Life and Intelligent Agents Symposium (ALIA) 2016 |
You might also like
Artificial life as controlled disequilibrium
(2023)
Conference Proceeding
Problem classification for tailored help desk auto replies
(2022)
Conference Proceeding
Task-oriented dialogue systems: Performance vs. quality-optima, a review
(2022)
Conference Proceeding
Inter-annotator agreement using the Conversation Analysis Modelling Schema, for dialogue
(2022)
Journal Article
Sentence encoding for dialogue act classification
(2021)
Journal Article