A Modal Logic Analysis of a Line-Following Robot
作者： Steve Battle , Matthew Thompson
DOI: 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 complementary to numerical simulation, allowing us explore the qualitative state-space coupled with its environment. envisionment this can be described as Kripke model, and model-checking tools enable analyse model search for stable equilibria contain goal states.
uwe.ac.uk
springer.com
bath.ac.uk
sci-hub.st 参考文章(17)
Gordon Pask, An approach to cybernetics ,(1961)
M.Y. Vardi, P. Wolper, Reasoning about Infinite Computations Information & Computation. ,vol. 115, pp. 1- 37 ,(1994) , 10.1006/INCO.1994.1092
Amir Pnueli, The temporal logic of programs 18th Annual Symposium on Foundations of Computer Science (sfcs 1977). pp. 46- 57 ,(1977) , 10.1109/SFCS.1977.32
Kenneth D. Forbus, Qualitative process theory Artificial Intelligence. ,vol. 24, pp. 178- 219 ,(1984) , 10.1016/0004-3702(84)90038-9
Saul A. Kripke, Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. ,vol. 9, pp. 67- 96 ,(1963) , 10.1002/MALQ.19630090502
William Ross Ashby, An introduction to cybernetics ,(1956)
Johan de Kleer, Qualitative and Quantitative Knowledge in Classical Mechanics Massachusetts Institute of Technology. ,(1975)
William Ross Ashby, Design for a Brain ,(1952)
Filipe Santos, José Carmo, Indirect Action, Influence and Responsibility DEON. pp. 194- 215 ,(1996) , 10.1007/978-1-4471-1488-8_11
Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci, Lotrec: The Generic Tableau Prover for Modal and Description Logics international joint conference on automated reasoning. pp. 453- 458 ,(2001) , 10.1007/3-540-45744-5_38