Skip to main content
Top
Published in: Intelligent Service Robotics 3/2017

01-02-2017 | Original Research Paper

A light non-monotonic knowledge-base for service robots

Authors: Luis A. Pineda, Arturo Rodríguez, Gibran Fuentes, Caleb Rascón, Ivan Meza

Published in: Intelligent Service Robotics | Issue 3/2017

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this paper a Non-Monotonic Knowledge-Base (KB) for practical applications in service robots is presented. The KB is defined as a conceptual hierarchy with inheritance that supports the expression of defaults and exceptions. All classes and individuals, with their properties and relations, can be updated dynamically and the KB-System supports non-monotonic behavior. Non-monotonicity is handled on the basis of a specificity criteria, such that more specific properties and relations have precedence over more general ones. The system supports the expression of conceptual (or terminological) and factual (or assertional) knowledge, which are used in inference in a coherent and consistent way. The KB-System is embedded within the IOCA Architecture, where knowledge about how to communicate and interact with the world, and also knowledge of the particular interpretation situation are represented. The cognitive architecture is structured around a main communication cycle, and queries and conceptual inferences are performed on demand during the interaction of the robot with other agents or the world. The overall structure of the KB with its main interpreter and supporting utilities as well as the embedding of the KB-system in the robot’s architecture are also presented. The KB-System is illustrated with a case study in service robots scenarios, where a practical non-monotonic KB is required. Finally, the implementation of the KB-System in the robot Golem-III is described.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Ahlrichs U, Fischer J, Denzler J, Drexler C, Niemann H, Noth E, Paulus D (1999) Knowledge based image and speech analysis for service robots. In: Proceedings of the integration of speech and image understanding, pp 21–47 Ahlrichs U, Fischer J, Denzler J, Drexler C, Niemann H, Noth E, Paulus D (1999) Knowledge based image and speech analysis for service robots. In: Proceedings of the integration of speech and image understanding, pp 21–47
2.
go back to reference Anderson JR, Bower GH (1980) Human associative memory: a brief edition. Lawrence Erlbaum Associates, Publishers, Hillsdale, New Jersey Anderson JR, Bower GH (1980) Human associative memory: a brief edition. Lawrence Erlbaum Associates, Publishers, Hillsdale, New Jersey
3.
go back to reference Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (2010) The description logic handbook: theory, implementation, and applications. Cambridge University Press, CambridgeMATH Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (2010) The description logic handbook: theory, implementation, and applications. Cambridge University Press, CambridgeMATH
4.
go back to reference Becker J, Bersch C, Pangercic D, Pitzer B, Rühr T, Sankaran B, Sturm J, Stachniss C, Beetz M, Burgard W (2011) The pr2 workshop-mobile manipulation of kitchen containers. In: IROS workshop on results, challenges and lessons learned in advancing robots with a common platform, vol 120 Becker J, Bersch C, Pangercic D, Pitzer B, Rühr T, Sankaran B, Sturm J, Stachniss C, Beetz M, Burgard W (2011) The pr2 workshop-mobile manipulation of kitchen containers. In: IROS workshop on results, challenges and lessons learned in advancing robots with a common platform, vol 120
5.
go back to reference Brachman RJ, Schmolze JG (1985) An overview of the kl-one knowledge representation system. Cognit Sci 9(2):171–216CrossRef Brachman RJ, Schmolze JG (1985) An overview of the kl-one knowledge representation system. Cognit Sci 9(2):171–216CrossRef
6.
go back to reference Brewka G, Eiter T, Truszczyński M (2011) Answer set programming at a glance. Commun ACM 54(12):92–103CrossRef Brewka G, Eiter T, Truszczyński M (2011) Answer set programming at a glance. Commun ACM 54(12):92–103CrossRef
7.
go back to reference Burghart C, Mikut R, Stiefelhagen R, Asfour T, Holzapfel H, Steinhaus P, Dillmann R (2005) A cognitive architecture for a humanoid robot: a first approach. In: Proceedings of the IEEE-RAS international conference on humanoid robots, pp 357–362 Burghart C, Mikut R, Stiefelhagen R, Asfour T, Holzapfel H, Steinhaus P, Dillmann R (2005) A cognitive architecture for a humanoid robot: a first approach. In: Proceedings of the IEEE-RAS international conference on humanoid robots, pp 357–362
8.
go back to reference Chen X, Ji J, Jiang J, Jin G, Wang F, Xie J (2010) Developing high-level cognitive functions for service robots. In: Proceedings of the international conference on autonomous agents and multiagent systems, vol 1, pp 989–996 Chen X, Ji J, Jiang J, Jin G, Wang F, Xie J (2010) Developing high-level cognitive functions for service robots. In: Proceedings of the international conference on autonomous agents and multiagent systems, vol 1, pp 989–996
9.
go back to reference Chen X, Lu D, Chen K, Chen Y, Wang N (2014) KeJia : the intelligent service robot for RoboCup@Home 2014. Tech. Rep., Multi-Agent Systems Lab., Department of Computer Science and Technology, University of Science and Technology of China Chen X, Lu D, Chen K, Chen Y, Wang N (2014) KeJia : the intelligent service robot for RoboCup@Home 2014. Tech. Rep., Multi-Agent Systems Lab., Department of Computer Science and Technology, University of Science and Technology of China
10.
go back to reference Doyle J (1979) Artificial intelligence. Truth Maint Syst 12(3):251–272 Doyle J (1979) Artificial intelligence. Truth Maint Syst 12(3):251–272
11.
go back to reference Fan Z, Tosello E, Palmia M, Pagello E (2014) In: Proceedings of the international conference intelligent autonomous systems Fan Z, Tosello E, Palmia M, Pagello E (2014) In: Proceedings of the international conference intelligent autonomous systems
12.
go back to reference Galindo C, Saffiotti A, Coradeschi S, Buschka P, Fernandez-Madrigal JA, Gonzalez J (2005) Multi-hierarchical semantic maps for mobile robotics. In: Proccedings of the IEEE/RSJ international conference on intelligent robots and systems, pp 2278–2283 Galindo C, Saffiotti A, Coradeschi S, Buschka P, Fernandez-Madrigal JA, Gonzalez J (2005) Multi-hierarchical semantic maps for mobile robotics. In: Proccedings of the IEEE/RSJ international conference on intelligent robots and systems, pp 2278–2283
13.
go back to reference Galindo C, andez Madrigal JAF, alez JG, Saffiotti A (2008) Robot task planning using semantic maps. Robot Auton Syst 56(11):955–966CrossRef Galindo C, andez Madrigal JAF, alez JG, Saffiotti A (2008) Robot task planning using semantic maps. Robot Auton Syst 56(11):955–966CrossRef
14.
15.
go back to reference Hagras HA (2004) A hierarchical type-2 fuzzy logic control architecture for autonomous mobile robots. IEEE Trans Fuzzy Syst 12(4):524–539CrossRef Hagras HA (2004) A hierarchical type-2 fuzzy logic control architecture for autonomous mobile robots. IEEE Trans Fuzzy Syst 12(4):524–539CrossRef
16.
go back to reference Hawes N, Hanheide M, Hargreaves J, Page B, Zender H, Jensfelt P (2011) Home alone: autonomous extension and correction of spatial representations. In: robotics and automation (ICRA), 2011 IEEE international conference on, pp 3907–3914 Hawes N, Hanheide M, Hargreaves J, Page B, Zender H, Jensfelt P (2011) Home alone: autonomous extension and correction of spatial representations. In: robotics and automation (ICRA), 2011 IEEE international conference on, pp 3907–3914
17.
go back to reference Hoffmann F, Pfister G (1997) Evolutionary design of a fuzzy knowledge base for a mobile robot. Int J Approx Reason 17(4):447–469CrossRefMATH Hoffmann F, Pfister G (1997) Evolutionary design of a fuzzy knowledge base for a mobile robot. Int J Approx Reason 17(4):447–469CrossRefMATH
18.
go back to reference Ivaldi S, Nguyen SM, Lyubova N, Droniou A, Padois V, Filliat D, Oudeyer PY, Sigaud O (2014) Object learning through active exploration. IEEE Trans Auton Ment Dev 6(1):56–72CrossRef Ivaldi S, Nguyen SM, Lyubova N, Droniou A, Padois V, Filliat D, Oudeyer PY, Sigaud O (2014) Object learning through active exploration. IEEE Trans Auton Ment Dev 6(1):56–72CrossRef
19.
go back to reference Karg M, Kirsch A (2012) Acquisition and use of transferable, spatio-temporal plan representations for human-robot interaction. In: Proceedings of the IEEE/RSJ international conference on intelligent robots and systems, pp 5220–5226 Karg M, Kirsch A (2012) Acquisition and use of transferable, spatio-temporal plan representations for human-robot interaction. In: Proceedings of the IEEE/RSJ international conference on intelligent robots and systems, pp 5220–5226
20.
go back to reference Kollar T, Perera V, Nardi D, Veloso M (2013) Learning environmental knowledge from task-based human-robot dialog. In: Proceedings of the IEEE international conference on robotics and automation, pp 4304–4309 Kollar T, Perera V, Nardi D, Veloso M (2013) Learning environmental knowledge from task-based human-robot dialog. In: Proceedings of the IEEE international conference on robotics and automation, pp 4304–4309
21.
go back to reference Lemaignan S (2012) Grounding the interaction: knowledge management for interactive robots. Ph.D. thesis, Université de Toulouse Lemaignan S (2012) Grounding the interaction: knowledge management for interactive robots. Ph.D. thesis, Université de Toulouse
22.
go back to reference Lemaignan S, Ros R, Msenlechner L, Alami R, Beetz M (2010) Oro, a knowledge management platform for cognitive architectures in robotics. In: Intelligent robots and systems (IROS), 2010 IEEE/RSJ international conference on, pp 3548–3553 Lemaignan S, Ros R, Msenlechner L, Alami R, Beetz M (2010) Oro, a knowledge management platform for cognitive architectures in robotics. In: Intelligent robots and systems (IROS), 2010 IEEE/RSJ international conference on, pp 3548–3553
23.
go back to reference Lemaignan S, Ros R, Alami R, Beetz M (2011) What are you talking about? grounding dialogue in a perspective-aware robotic architecture. In: Proceedings of the IEEE RO-MAN, pp 107–112 Lemaignan S, Ros R, Alami R, Beetz M (2011) What are you talking about? grounding dialogue in a perspective-aware robotic architecture. In: Proceedings of the IEEE RO-MAN, pp 107–112
24.
go back to reference Lemaignan S, Ros R, Sisbot EA, Alami R, Beetz M (2012) Grounding the interaction: anchoring situated discourse in everyday human-robot interaction. Int J Soc Robot 4(2):181–199CrossRef Lemaignan S, Ros R, Sisbot EA, Alami R, Beetz M (2012) Grounding the interaction: anchoring situated discourse in everyday human-robot interaction. Int J Soc Robot 4(2):181–199CrossRef
25.
go back to reference Lim GH, Suh IH, Suh H (2011) Ontology-based unified robot knowledge for service robots in indoor environments. IEEE Trans Syst Man Cybern Part A Syst Hum 41(3):492–509CrossRef Lim GH, Suh IH, Suh H (2011) Ontology-based unified robot knowledge for service robots in indoor environments. IEEE Trans Syst Man Cybern Part A Syst Hum 41(3):492–509CrossRef
26.
go back to reference MacGregor R, Burstein MH (1991) Using a description classifier to enhance knowledge representation. IEEE Expert 6(3):41–46CrossRef MacGregor R, Burstein MH (1991) Using a description classifier to enhance knowledge representation. IEEE Expert 6(3):41–46CrossRef
27.
go back to reference Pangercic D, Tenorth M, Jain D, Beetz M (2010) Combining perception and knowledge processing for everyday manipulation. In: IEEE/RSJ international conference on intelligent robots and systems, pp 1065–1071 Pangercic D, Tenorth M, Jain D, Beetz M (2010) Combining perception and knowledge processing for everyday manipulation. In: IEEE/RSJ international conference on intelligent robots and systems, pp 1065–1071
28.
go back to reference Petković D, Issab M, Pavlović ND, Zentnerb L, Žarko Ćojbašić (2012) Adaptive neuro fuzzy controller for adaptive compliant robotic gripper. Expert Syst Appl 39(18):13,295–13,304CrossRef Petković D, Issab M, Pavlović ND, Zentnerb L, Žarko Ćojbašić (2012) Adaptive neuro fuzzy controller for adaptive compliant robotic gripper. Expert Syst Appl 39(18):13,295–13,304CrossRef
29.
go back to reference Petković D, Shamshirband S, Anuar NB, Sabri AQM, Rahman ZBA, Pavlović ND (2016) Input displacement neuro-fuzzy control and object recognition by compliant multi-fingered passively adaptive robotic gripper. J Intell Robot Syst 82:177–187CrossRef Petković D, Shamshirband S, Anuar NB, Sabri AQM, Rahman ZBA, Pavlović ND (2016) Input displacement neuro-fuzzy control and object recognition by compliant multi-fingered passively adaptive robotic gripper. J Intell Robot Syst 82:177–187CrossRef
30.
go back to reference Pineda LA, Meza I, Aviles H, Gershenson C, Rascon C, Alvarado M, Salinas L (2011) IOCA: interaction-oriented cognitive architecture. Res Comput Sci 54:273–284 Pineda LA, Meza I, Aviles H, Gershenson C, Rascon C, Alvarado M, Salinas L (2011) IOCA: interaction-oriented cognitive architecture. Res Comput Sci 54:273–284
31.
go back to reference Pineda LA, Rodríguez A, Fuentes G, Rascon C, Meza IV (2015) Concept and functional structure of a service robot. Int J Adv Robot Syst 12:6. doi:10.5772/60026 Pineda LA, Rodríguez A, Fuentes G, Rascon C, Meza IV (2015) Concept and functional structure of a service robot. Int J Adv Robot Syst 12:6. doi:10.​5772/​60026
32.
go back to reference Pineda LA, Salinas L, Meza IV, Rascon C, Fuentes G (2013) SitLog: a programming language for service robot tasks. Int J Adv Robot Syst 10:358. doi:10.5772/56906 Pineda LA, Salinas L, Meza IV, Rascon C, Fuentes G (2013) SitLog: a programming language for service robot tasks. Int J Adv Robot Syst 10:358. doi:10.​5772/​56906
34.
go back to reference Schiffer S, Ferrein A, Lakemeyer G (2012) Reasoning with qualitative positional information for domestic domains in the situation calculus. J Intell Robot Syst Theory Appl 66(1–2):273–300CrossRef Schiffer S, Ferrein A, Lakemeyer G (2012) Reasoning with qualitative positional information for domestic domains in the situation calculus. J Intell Robot Syst Theory Appl 66(1–2):273–300CrossRef
35.
go back to reference Schiffer S, Hoppe N, Lakemeyer G (2013) Natural language interpretation for an interactive service robot in domestic domains. In: Filipe J, Fred A (eds) Agents and artificial intelligence, communications in computer and information science, vol 358. Springer, Berlin Heidelberg, pp 39–53 Schiffer S, Hoppe N, Lakemeyer G (2013) Natural language interpretation for an interactive service robot in domestic domains. In: Filipe J, Fred A (eds) Agents and artificial intelligence, communications in computer and information science, vol 358. Springer, Berlin Heidelberg, pp 39–53
36.
go back to reference Schmidt-Rohr SR, Knoop S, Lösch M (2008) Bridging the gap of abstraction for probabilistic decision making on a multi-modal service robot. In: robotics: science and systems IV, pp 105–110 Schmidt-Rohr SR, Knoop S, Lösch M (2008) Bridging the gap of abstraction for probabilistic decision making on a multi-modal service robot. In: robotics: science and systems IV, pp 105–110
37.
go back to reference Schmidt-Rohr SR, Dirschl G, Meissner P, Dillmann R (2011) A knowledge base for learning probabilistic decision making from human demonstrations by a multimodal service robot. In: Proceedings of the international conference on advanced robotics, pp 235–240 Schmidt-Rohr SR, Dirschl G, Meissner P, Dillmann R (2011) A knowledge base for learning probabilistic decision making from human demonstrations by a multimodal service robot. In: Proceedings of the international conference on advanced robotics, pp 235–240
38.
go back to reference Seraji H, Howard A (2002) Behavior-based robot navigation on challenging terrain: a fuzzy logic approach. IEEE Trans Robot Autom 18(3):308–321CrossRef Seraji H, Howard A (2002) Behavior-based robot navigation on challenging terrain: a fuzzy logic approach. IEEE Trans Robot Autom 18(3):308–321CrossRef
39.
go back to reference Sisbot EA, Ros R, Alami R (2011) Situation assessment for human-robot interactive object manipulation. In: RO-MAN, pp 15–20 Sisbot EA, Ros R, Alami R (2011) Situation assessment for human-robot interactive object manipulation. In: RO-MAN, pp 15–20
40.
go back to reference Strasser C, Antonelli GA (2014) Non-monotonic logic. In: Zalta Ward N (ed) The stanford encyclopedia of philosophy (Winter 2014 Edition). Academic Press, New York Strasser C, Antonelli GA (2014) Non-monotonic logic. In: Zalta Ward N (ed) The stanford encyclopedia of philosophy (Winter 2014 Edition). Academic Press, New York
41.
go back to reference Stückler J, Behnke S (2011) Improving people awareness of service robots by semantic scene knowledge. In: Ruiz-del Solar J, Chown E, Plöger PG (eds) RoboCup 2010. Springer, Heidelberg, pp 157–168 Stückler J, Behnke S (2011) Improving people awareness of service robots by semantic scene knowledge. In: Ruiz-del Solar J, Chown E, Plöger PG (eds) RoboCup 2010. Springer, Heidelberg, pp 157–168
42.
go back to reference Tenorth M, Beetz M (2013) Knowrob: a knowledge processing infrastructure for cognition-enabled robots. Int J Robot Res 32(5):566–590 Tenorth M, Beetz M (2013) Knowrob: a knowledge processing infrastructure for cognition-enabled robots. Int J Robot Res 32(5):566–590
44.
go back to reference Tenorth M, Kunze L, Jain D, Beetz M (2010) Knowrob-map - knowledge-linked semantic object maps. In: IEEE-RAS international conference on humanoid robots, pp 430–435 Tenorth M, Kunze L, Jain D, Beetz M (2010) Knowrob-map - knowledge-linked semantic object maps. In: IEEE-RAS international conference on humanoid robots, pp 430–435
45.
go back to reference Tulving E (2013) Memory systems: episodic and semantic memory. In: Tulving E, Donaldson W (eds) Organization of memory. Academic Press, New York, pp 381–403 Tulving E (2013) Memory systems: episodic and semantic memory. In: Tulving E, Donaldson W (eds) Organization of memory. Academic Press, New York, pp 381–403
46.
go back to reference Zhang S, Sridharan M, Gelfond M, Wyatt J (2012) KR3: An architecture for knowledge representation and reasoning in robotics. In: Proceedings of the international workshop on non-monotonic reasoning Zhang S, Sridharan M, Gelfond M, Wyatt J (2012) KR3: An architecture for knowledge representation and reasoning in robotics. In: Proceedings of the international workshop on non-monotonic reasoning
47.
go back to reference Zhang S, Sridharan M, Sheng Bao F (2012) ASP+POMDP: integrating non-monotonic logic programming and probabilistic planning on robots. In: Proceedings of the IEEE international conference on development and learning and epigenetic robotics Zhang S, Sridharan M, Sheng Bao F (2012) ASP+POMDP: integrating non-monotonic logic programming and probabilistic planning on robots. In: Proceedings of the IEEE international conference on development and learning and epigenetic robotics
Metadata
Title
A light non-monotonic knowledge-base for service robots
Authors
Luis A. Pineda
Arturo Rodríguez
Gibran Fuentes
Caleb Rascón
Ivan Meza
Publication date
01-02-2017
Publisher
Springer Berlin Heidelberg
Published in
Intelligent Service Robotics / Issue 3/2017
Print ISSN: 1861-2776
Electronic ISSN: 1861-2784
DOI
https://doi.org/10.1007/s11370-017-0216-y

Other articles of this Issue 3/2017

Intelligent Service Robotics 3/2017 Go to the issue