Abstract
Publisher Summary Cognitive robotics is the study of the knowledge representation and reasoning problems faced by an autonomous robot (or an agent) in a dynamic and incompletely known world. This chapter presents the idea of knowledge representation and reasoning for the purpose of high-level robotic control to be central to cognitive robotics. This connects cognitive robotics not only to (traditional and less cognitive) robotics but also to other areas of artificial intelligence (AI) such as planning and agent-oriented programming. To illustrate the knowledge representation and reasoning issues relevant to high-level robotic control, the chapter discusses a Reiter's variant of the situation calculus. The situation calculus also deals with actions whose effects are deterministic—that is, where there is no doubt as to which fluents change and which do not. The chapter discusses some of the knowledge representation issues that arise in the context of cognitive robotics and describes problems in automated reasoning in the same setting.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
