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 条
  • [1] Adjali O., Hina M.D., Dourlens S., Ramdane-Cherif A., Multimodal fusion fission and virtual reality simulation for an ambient robotic intelligence, Procedia Computer Science, 52, pp. 218-225, (2015)
  • [2] Allen J.F., An Interval-Based representation of temporal knowledge, IJCAI, 81, pp. 221-226, (1981)
  • [3] Andrews P.B., Miller D.A., Cohen E.L., Pfenning F., Automating higher-order logic, Automated Theorem Proving: After, 25, pp. 169-192, (1984)
  • [4] Boley H., Tabet S., Wagner G., Design rationale of ruleml: A markup language for semantic web rules, Proceedings of the First Semantic Web Working Symposium, (2001)
  • [5] Bouguerra A., Karlsson L., Saffiotti A., Handling uncertainty in semantic-knowledge based execution monitoring, Proceedings of the IEEE/RSJ International Conference On Intelligent Robots and Systems IROS '07, pp. 437-443, (2007)
  • [6] Brachman R.J., Schmolze J.G., An overview of the kl-one knowledge representation system, Cognitive Science, 9, 2, pp. 171-216, (1985)
  • [7] Domingos P., Kok S., Lowd D., Poon H., Richardson M., Singla P., Markov logic, Probabilistic Inductive Logic Programming, pp. 92-117, (2008)
  • [8] Esch J., Levinson R., An implementation model for contexts and negation in conceptual graphs, Proceedings of the International Conference On Conceptual Structures, pp. 247-262, (1995)
  • [9] Fillmore C.J., Baker C.F., Frame semantics for text understanding, Proceedings of WordNet and Other Lexical Resources Workshop, NAACL, (2001)
  • [10] Gacek A., Miller D., Nadathur G., A two-level logic approach to reasoning about computations, Journal of Automated Reasoning, 49, 2, pp. 241-273, (2012)