A modal logic analysis of a line-following robot

Battle, S. and Thompson, M. (2017) A modal logic analysis of a line-following robot. In: Lewis, P. R., Headleand, C. J., Battle, S. and Ritsos, P. D., eds. (2017) Artificial Life and Intelligent Agents. ALIA 2016. (732) Springer, pp. 42-55. ISBN 9783319904177 Available from: http://eprints.uwe.ac.uk/32345

Full text not available from this repository

Publisher's URL: https://doi.org/10.1007/978-3-319-90418-4_4


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.

Item Type:Book Section
Uncontrolled Keywords:Kripke model, modal logic, qualitative simulation, stability
Faculty/Department:Faculty of Environment and Technology > Department of Computer Science and Creative Technologies
ID Code:32345
Deposited By: Dr S. Battle
Deposited On:10 Jul 2017 11:08
Last Modified:22 Sep 2018 07:12

Request a change to this item

Document Downloads

Total Document Downloads

More statistics for this item...