{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T16:50:05Z","timestamp":1781110205582,"version":"3.54.1"},"reference-count":30,"publisher":"IGI Global Scientific Publishing","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,1]]},"abstract":"<jats:p>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 \u2018area' and \u2018node.' 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.<\/jats:p>","DOI":"10.4018\/ijkss.2020010101","type":"journal-article","created":{"date-parts":[[2020,1,31]],"date-time":"2020-01-31T13:51:33Z","timestamp":1580478693000},"page":"1-21","source":"Crossref","is-referenced-by-count":3,"title":["A Semantic Map for Indoor Robot Navigation Based on Predicate Logic"],"prefix":"10.4018","volume":"11","author":[{"given":"Hengsheng","family":"Wang","sequence":"first","affiliation":[{"name":"Central South University College of Mechanical Electrical Engineering, Changsha, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2511-8318","authenticated-orcid":true,"given":"Jin","family":"Ren","sequence":"additional","affiliation":[{"name":"Central South University College of Mechanical Electrical Engineering, Changsha, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"IJKSS.2020010101-0","doi-asserted-by":"publisher","DOI":"10.4018\/IJKSS.2016010104"},{"key":"IJKSS.2020010101-1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918796267"},{"key":"IJKSS.2020010101-2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6094665"},{"key":"IJKSS.2020010101-3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5487-7"},{"key":"IJKSS.2020010101-4","doi-asserted-by":"publisher","DOI":"10.4018\/IJKSS.2016010105"},{"key":"IJKSS.2020010101-5","doi-asserted-by":"publisher","DOI":"10.1109\/5254.747902"},{"key":"IJKSS.2020010101-6","first-page":"59","article-title":"Fast method to determine spatial relationship between point and polygon.","volume":"41","author":"R.Chen","year":"2007","journal-title":"J. Xi\u2019an Jiaotong Univ"},{"key":"IJKSS.2020010101-7","doi-asserted-by":"publisher","DOI":"10.3390\/s19051049"},{"key":"IJKSS.2020010101-8","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7721(01)00012-8"},{"key":"IJKSS.2020010101-9","doi-asserted-by":"publisher","DOI":"10.1017\/S0263574714000289"},{"key":"IJKSS.2020010101-10","author":"J. F.Hughes","year":"2014","journal-title":"Computer graphics: principles and practice"},{"key":"IJKSS.2020010101-11","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2010.06.019"},{"key":"IJKSS.2020010101-12","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2017.01.005"},{"key":"IJKSS.2020010101-13","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2015.11.004"},{"key":"IJKSS.2020010101-14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2076404"},{"key":"IJKSS.2020010101-15","doi-asserted-by":"publisher","DOI":"10.4018\/IJKSS.2017100101"},{"key":"IJKSS.2020010101-16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"IJKSS.2020010101-17","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2008.08.001"},{"key":"IJKSS.2020010101-18","author":"R. A.O\u2019Keefe","year":"1990","journal-title":"The craft of Prolog"},{"key":"IJKSS.2020010101-19","author":"B. K.Patle","year":"2019","journal-title":"A review: On path planning strategies for navigation of mobile robot"},{"key":"IJKSS.2020010101-20","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2012.10.002"},{"key":"IJKSS.2020010101-21","author":"F.Rossi","year":"2006","journal-title":"Handbook of constraint programming"},{"key":"IJKSS.2020010101-22","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2015.07.033"},{"key":"IJKSS.2020010101-23","doi-asserted-by":"publisher","DOI":"10.1007\/s11554-013-0379-5"},{"key":"IJKSS.2020010101-24","volume":"Vol. 1","author":"F.Van Harmelen","year":"2008","journal-title":"Handbook of knowledge representation"},{"key":"IJKSS.2020010101-25","unstructured":"Wang, H., Ren, J., & Li, X. (2016, July). Natural spoken instructions understanding for rescue robot navigation based on cascaded Conditional Random Fields. In Proceedings of the 2016 9th International Conference on Human System Interactions (HSI) (pp. 216-222). IEEE."},{"key":"IJKSS.2020010101-26","doi-asserted-by":"publisher","DOI":"10.3233\/JIFS-169656"},{"key":"IJKSS.2020010101-27","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"},{"key":"IJKSS.2020010101-28","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(99)00103-3"},{"key":"IJKSS.2020010101-29","doi-asserted-by":"publisher","DOI":"10.1016\/j.dcan.2015.09.002"}],"container-title":["International Journal of Knowledge and Systems Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=247975","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T10:13:37Z","timestamp":1651832017000},"score":1,"resource":{"primary":{"URL":"http:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/IJKSS.2020010101"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2020,1]]},"references-count":30,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.4018\/ijkss.2020010101","relation":{},"ISSN":["1947-8208","1947-8216"],"issn-type":[{"value":"1947-8208","type":"print"},{"value":"1947-8216","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1]]}}}