Verification of logical consistency in robotic reasoning
详细信息 查看全文
- 作者：Hongyang Qu h.qu@sheffield.ac.uk" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Sandor M. Veres ; s.veres@sheffield.ac.uk" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae
- 关键词：Stability analysis ; Robot programming ; Formal verification
- 刊名：Robotics and Autonomous Systems
- 出版年：2016
- 出版时间：September 2016
- 年：2016
- 卷：83
- 期：Complete
- 页码：44-56
- 全文大小：825 K
文摘
- •
Methods to make sure logical consistency in reasoning processes of intelligent software agents.
- •
Efficient realtime discovery of logical inconsistency by robots.
- •
Theorems on Boolean evolution systems stability in the reasoning of robotic agents.