A modal logic analysis of a line-following robot

Battle, Steve; Thompson, Matthew

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.

• Presentation Conference Type: Conference Paper (published)
• 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