Knowledge processing using EKRL for robotic applications

被引:3
作者
Adjali O. [1 ]
Ramdane-Cherif A. [1 ]
机构
[1] Paris-Saclay, UVSQ-LISV, Velizy
关键词
Environment Knowledge Representation Language (EKRL); Knowledge Representation; Markov Networks; Probabilistic Reasoning;
D O I
10.4018/IJCINI.2017100101
中图分类号
学科分类号
摘要
This article describes a semantic framework that demonstrates an approach for modeling and reasoning based on environment knowledge representation language (EKRL) to enhance interaction between robots and their environment. Unlike EKRL, standard Binary approaches like OWL language fails to represent knowledge in an expressive way. The authors show in this work how to: Model environment and interaction in an expressive way with first-order and second-order EKRL data-structures, and reason for decision-making thanks to inference capabilities based on a complex unification algorithm. This is with the understanding that robot environments are inherently subject to noise and partial observability, the authors extended EKRL framework with probabilistic reasoning based on Markov logic networks to manage uncertainty. © 2017 IGI Global.
引用
收藏
页码:1 / 21
页数:20
相关论文
共 70 条
  • [41] Minsky M., Society of Mind, (1988)
  • [42] Niles I., Pease A., Mapping wordnet to the sumo ontology, Proceedings of the Ieee International Knowledge Engineering Conference, pp. 23-26, (2003)
  • [43] Owre S., Rushby J.M., Shankar N., Pvs: A prototype verification system, Proceedings of the International Conference On Automated Deduction, pp. 748-752, (1992)
  • [44] Pease A., Niles I., Li J., The suggested upper merged ontology: A large ontology for the semantic web and its applications, Working Notes of the AAAI-2002 Workshop On Ontologies and the Semantic Web, 28, (2002)
  • [45] Poon H., Domingos P., Sound and efficient inference with probabilistic and deterministic dependencies, AAAI, 6, pp. 458-463, (2006)
  • [46] Richardson M., Domingos P., Markov logic networks, Machine Learning, 62, 1, pp. 107-136, (2006)
  • [47] Sabri L., Chibani A., Amirat Y., Zarri G.P., Narrative Reasoning for Cognitive Ubiquitous Robots, (2011)
  • [48] Sarraf Q., Ellis G., Business rules in retail: The tesco.com story, Business Rules Journal, 7, (2006)
  • [49] Selman B., Kautz H.A., Cohen B., Local search strategies for satisfiability testing, Cliques, Coloring, and Satisfiability, 26, pp. 521-532, (1993)
  • [50] Shapiro S., Foundations Without Foundationalism: A Case for Second-order Logic, 17, (1991)