{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:36:26Z","timestamp":1781105786173,"version":"3.54.1"},"reference-count":70,"publisher":"IGI Global Scientific Publishing","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10,1]]},"abstract":"<p>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.<\/p>","DOI":"10.4018\/ijcini.2017100101","type":"journal-article","created":{"date-parts":[[2017,12,4]],"date-time":"2017-12-04T11:10:33Z","timestamp":1512385833000},"page":"1-21","source":"Crossref","is-referenced-by-count":4,"title":["Knowledge Processing Using EKRL for Robotic Applications"],"prefix":"10.4018","volume":"11","author":[{"given":"Omar","family":"Adjali","sequence":"first","affiliation":[{"name":"Paris-Saclay- UVSQ-LISV, Velizy, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amar","family":"Ramdane-Cherif","sequence":"additional","affiliation":[{"name":"Paris-Saclay- UVSQ-LISV, Velizy, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"IJCINI.2017100101-0","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.05.060"},{"key":"IJCINI.2017100101-1","unstructured":"Allen, J. F. (1981, August). An Interval-Based Representation of Temporal Knowledge. IJCAI, 81, 221\u2013226."},{"key":"IJCINI.2017100101-2","doi-asserted-by":"crossref","unstructured":"Andrews, P. B., Miller, D. A., Cohen, E. L., & Pfenning, F. (1984). Automating higher-order logic. Automated theorem proving: After, 25, 169\u2013192.","DOI":"10.1090\/conm\/029\/09"},{"key":"IJCINI.2017100101-3","unstructured":"Boley, H., Tabet, S., & Wagner, G. (2001). Design rationale of ruleml: A markup language for semantic web rules. in proceedings of the first semantic web working symposium. Stanford University, California, USA."},{"key":"IJCINI.2017100101-4","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399317"},{"key":"IJCINI.2017100101-5","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0902_1"},{"key":"IJCINI.2017100101-6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78652-8_4"},{"key":"IJCINI.2017100101-7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60161-9_42"},{"key":"IJCINI.2017100101-8","unstructured":"Fillmore, C. J., & Baker, C. F. (2001). Frame semantics for text understanding. In Proceedings of WordNet and Other Lexical Resources Workshop, NAACL."},{"key":"IJCINI.2017100101-9","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-011-9218-1"},{"key":"IJCINI.2017100101-10","doi-asserted-by":"crossref","unstructured":"Getoor, L., & Taskar, B. (2007). Introduction to statistical relational learning adaptive computation and machine learning. The MIT Press.","DOI":"10.7551\/mitpress\/7432.001.0001"},{"key":"IJCINI.2017100101-11","doi-asserted-by":"crossref","unstructured":"Gilks, W. R., Richardson, S., & Spiegelhalter, D. (Eds.). (1995). Markov chain monte carlo in practice. CRC press.","DOI":"10.1201\/b14835"},{"key":"IJCINI.2017100101-12","doi-asserted-by":"publisher","DOI":"10.1006\/knac.1993.1008"},{"key":"IJCINI.2017100101-13","unstructured":"Gruninger, M., Katsumi, M., & Mossakowski, T. (2013). Revision of iso 24707 (common logic)."},{"key":"IJCINI.2017100101-14","unstructured":"Hayes, P., Menzel, C., Sowa, J., Tammet, T., Altheim, M., Delugach, H., & Gruninger, M. (2007). Common logic (cl): a framework for a family of logicbased languages. ISO\/IEC IS, 24707."},{"key":"IJCINI.2017100101-15","first-page":"573","article-title":"A general stochastic approach to solving problems with hard and soft constraints. Satisfiability Problem","volume":"35","author":"B. S.Henry A Kautz","year":"1996","journal-title":"Theory and Applications"},{"key":"IJCINI.2017100101-16","first-page":"435","article-title":"Comparing unification algorithms in firstorder theorem proving.","author":"K.Hoder","year":"2009","journal-title":"Annual Conference on Artificial Intelligence"},{"key":"IJCINI.2017100101-17","unstructured":"Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B., Dean, M. et al. (2004). Swrl: A semantic web rule language combining owl and ruleml."},{"key":"IJCINI.2017100101-18","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2003.07.001"},{"key":"IJCINI.2017100101-19","doi-asserted-by":"crossref","unstructured":"Howard, C., & Stumptner, M. (2005). Probabilistic Reasoning Techniques for the tactical Military Domain. In Proceedings of the 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems KES\u201905 (pp. 46\u201353). Berlin, Heidelberg, Springer-Verlag.","DOI":"10.1007\/11553939_7"},{"key":"IJCINI.2017100101-20","author":"D.Jain","year":"2009","journal-title":"Bayesian logic networks"},{"key":"IJCINI.2017100101-21","doi-asserted-by":"publisher","DOI":"10.1080\/13546780143000099"},{"key":"IJCINI.2017100101-22","doi-asserted-by":"publisher","DOI":"10.4018\/jcini.2010010104"},{"key":"IJCINI.2017100101-23","volume":"Vol. 42","author":"H.Kamp","year":"2013","journal-title":"From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory"},{"key":"IJCINI.2017100101-24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34103-8_46"},{"key":"IJCINI.2017100101-25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48751-4_1"},{"key":"IJCINI.2017100101-26","year":"2009","journal-title":"Probabilistic graphical models: principles and techniques"},{"key":"IJCINI.2017100101-27","first-page":"580","article-title":"Probabilistic frame-based systems","year":"1998","journal-title":"AAAI"},{"key":"IJCINI.2017100101-28","unstructured":"Lauri\u00e8re, J. (1997). Snark. un langage d\u00b4eclaratif, Technique et Science Informatiques, 3."},{"key":"IJCINI.2017100101-29","first-page":"3","author":"D. B.Lenat","year":"1995","journal-title":"Steps to sharing knowledge"},{"key":"IJCINI.2017100101-30","doi-asserted-by":"publisher","DOI":"10.1145\/79173.79176"},{"key":"IJCINI.2017100101-31","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00048-4"},{"key":"IJCINI.2017100101-32","unstructured":"Liebowitz, J. (1997). The handbook of applied expert systems. cRc Press."},{"key":"IJCINI.2017100101-33","doi-asserted-by":"publisher","DOI":"10.1145\/357162.357169"},{"key":"IJCINI.2017100101-34","first-page":"44","article-title":"An introduction to the syntax and content of cyc.","author":"C.Matuszek","year":"2006","journal-title":"AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering"},{"key":"IJCINI.2017100101-35","doi-asserted-by":"publisher","DOI":"10.1145\/74014.74037"},{"key":"IJCINI.2017100101-36","unstructured":"McCarty, L. T. (1995). Some requirements on an action language for legal dis-course (position paper). In Spring Symposium Series 95: Extending Theories of Action (pp. 136\u2013138)."},{"key":"IJCINI.2017100101-37","first-page":"215","article-title":"Some arguments about legal arguments.","author":"L. T.McCarty","year":"1997","journal-title":"Proceedings of the 6th international conference on Artificial intelligence and law"},{"key":"IJCINI.2017100101-38","doi-asserted-by":"publisher","DOI":"10.1145\/2746090.2746091"},{"key":"IJCINI.2017100101-39","doi-asserted-by":"publisher","DOI":"10.3115\/981131.981165"},{"key":"IJCINI.2017100101-40","author":"M.Minsky","year":"1988","journal-title":"Society of mind"},{"key":"IJCINI.2017100101-41","first-page":"23","article-title":"Mapping wordnet to the sumo ontology.","author":"I.Niles","year":"2003","journal-title":"Proceedings of the ieee international knowledge engineering conference"},{"key":"IJCINI.2017100101-42","first-page":"748","article-title":"Pvs: A prototype verification system.","author":"S.Owre","year":"1992","journal-title":"International Conference on Automated Deduction"},{"key":"IJCINI.2017100101-43","unstructured":"Pease, A., Niles, I., & Li, J. (2002). The suggested upper merged ontology: A large ontology for the semantic web and its applications. In Working notes of the AAAI-2002 workshop on ontologies and the semantic web, 28."},{"key":"IJCINI.2017100101-44","unstructured":"Poon, H., & Domingos, P. (2006). Sound and efficient inference with probabilistic and deterministic dependencies. AAAI, 6, 458\u2013463."},{"key":"IJCINI.2017100101-45","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"IJCINI.2017100101-46","unstructured":"Sabri, L., Chibani, A., Amirat, Y., & Zarri, G. P. (2011). Narrative reasoning for cognitive ubiquitous robots."},{"key":"IJCINI.2017100101-47","unstructured":"Sarraf, Q., & Ellis, G. (2006). Business rules in retail: the tesco.com story. Business Rules Journal, 7."},{"key":"IJCINI.2017100101-48","doi-asserted-by":"crossref","unstructured":"Selman, B., Kautz, H. A., & Cohen, B. (1993). Local search strategies for satisfiability testing. Cliques, coloring, and satisfiability, 26, 521\u2013532.","DOI":"10.1090\/dimacs\/026\/25"},{"key":"IJCINI.2017100101-49","volume":"Vol. 17","author":"S.Shapiro","year":"1991","journal-title":"Foundations without foundationalism: A case for second-order logic"},{"key":"IJCINI.2017100101-50","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007"},{"key":"IJCINI.2017100101-51","article-title":"Knowledge representation: Logical, philosophical, and computational foundations.","author":"J.Sowa","year":"2000"},{"key":"IJCINI.2017100101-52","doi-asserted-by":"publisher","DOI":"10.1147\/rd.204.0336"},{"key":"IJCINI.2017100101-53","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(07)03005-2"},{"key":"IJCINI.2017100101-54","author":"M. E.Stickel","year":"2000","journal-title":"A guide to snark"},{"key":"IJCINI.2017100101-55","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369861"},{"key":"IJCINI.2017100101-56","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-010-0044-0"},{"key":"IJCINI.2017100101-57","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008806205438"},{"key":"IJCINI.2017100101-58","author":"S.Thrun","year":"2005","journal-title":"Probabilistic robotics"},{"key":"IJCINI.2017100101-59","doi-asserted-by":"crossref","unstructured":"van Eijck, I. J., & Kamp, H. (2010). 3 discourse representation in context. Handbook of logic and language, (p. 181).","DOI":"10.1016\/B978-0-444-53726-3.00003-7"},{"key":"IJCINI.2017100101-60","unstructured":"Waldinger, R. J., Bobrow, D. G., Condoravdi, C., Richardson, K., & Das, A. (2011). Accessing structured health information through english queries and automatic deduction. In AAAI Spring Symposium: AI and Health Communication."},{"key":"IJCINI.2017100101-61","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-5225-1759-7.ch036"},{"key":"IJCINI.2017100101-62","doi-asserted-by":"publisher","DOI":"10.1145\/365153.365168"},{"key":"IJCINI.2017100101-63","doi-asserted-by":"crossref","unstructured":"Wright, E., & Mahoney, S., K Laskey, Masami Takikawa and Tod Levitt. (2002). Multi-entity Bayesian networks for situation assessment. In Proceedings of the Fifth International Conference onInformation Fusion (Vol. 2, pp. 804\u2013811). IEEE.","DOI":"10.1109\/ICIF.2002.1020889"},{"key":"IJCINI.2017100101-64","doi-asserted-by":"publisher","DOI":"10.3115\/993268.993359"},{"key":"IJCINI.2017100101-65","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-007-9037-1"},{"key":"IJCINI.2017100101-66","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-078-0"},{"key":"IJCINI.2017100101-67","unstructured":"Zarri, G. P. (2010). A representation language for describing and managing elementary\/complex events in a non-fictional narrative context. EVENTS@ SETN 2010."},{"key":"IJCINI.2017100101-68","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-013-1463-3"},{"key":"IJCINI.2017100101-69","first-page":"131","article-title":"Semantic\/conceptual annotation techniques making use of the narrative knowledge representation language (nkrl).","author":"G. P.Zarri","year":"2015","journal-title":"FLAIRS Conference"}],"container-title":["International Journal of Cognitive Informatics and Natural Intelligence"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=195016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T17:52:20Z","timestamp":1651859540000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/IJCINI.2017100101"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2017,10,1]]},"references-count":70,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,10]]}},"URL":"https:\/\/doi.org\/10.4018\/ijcini.2017100101","relation":{},"ISSN":["1557-3958","1557-3966"],"issn-type":[{"value":"1557-3958","type":"print"},{"value":"1557-3966","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10,1]]}}}