Welcome to the InfoSci Platform
Reference Hub2
A Semantic Map for Indoor Robot Navigation Based on Predicate Logic

A Semantic Map for Indoor Robot Navigation Based on Predicate Logic

Hengsheng Wang, Jin Ren
Copyright: © 2020 |Volume: 11 |Issue: 1 |Pages: 21
ISSN: 1947-8208|EISSN: 1947-8216|EISBN13: 9781799807179|DOI: 10.4018/IJKSS.2020010101
Cite Article Cite Article

MLA

Wang, Hengsheng, and Jin Ren. "A Semantic Map for Indoor Robot Navigation Based on Predicate Logic." IJKSS vol.11, no.1 2020: pp.1-21. http://doi.org/10.4018/IJKSS.2020010101

APA

Wang, H. & Ren, J. (2020). A Semantic Map for Indoor Robot Navigation Based on Predicate Logic. International Journal of Knowledge and Systems Science (IJKSS), 11(1), 1-21. http://doi.org/10.4018/IJKSS.2020010101

Chicago

Wang, Hengsheng, and Jin Ren. "A Semantic Map for Indoor Robot Navigation Based on Predicate Logic," International Journal of Knowledge and Systems Science (IJKSS) 11, no.1: 1-21. http://doi.org/10.4018/IJKSS.2020010101

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Interacting with mobile robots through natural language is the main concern of this article, which focuses on the semantic meaning of concepts used in natural language instructions to navigate robots indoors. Assuming the building structure is the prior knowledge of the robot and the robot has the ability of navigating itself locally to avoid collision with the environment, the building structure is represented with predicate logic on SWI-Prolog as the database of the indoor environment, which is called semantic map in this paper, in which the basic predicate clauses are based on two kinds of entities, namely ‘area' and ‘node.' The area names (in natural language convention) of indoor environment are organized with an ontology and are defined in the semantic map which includes the geometric information of areas and connection relationships between areas. With the semantic map database, functions for robot navigation, like a topological map, path planning, and self-localization, are realized through reasoning by properly designed predicates based on constraint satisfaction problem (CSP). An example building is given to show the idea proposed in this article, the real data of which was used to establish the semantic map, and the predicates for navigation functions worked well on SWI-Prolog.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.