Knowledge representation with KnowLang: The marXbot case study

Emil Vassev; Mike Hinchey

doi:10.1109/CIS.2013.6782155

Knowledge representation with KnowLang: The marXbot case study

Emil Vassev, Mike Hinchey

Department of Computer Science & Information Systems

University of Limerick

Research output: Contribution to conference › Paper › peer-review

Abstract

Intelligent systems are capable of AI exhibited via knowledge representation and reasoning, which helps to connect abstract knowledge symbols to real-world meanings. This paper presents a formal language for knowledge representation called KnowLang. The language implies a multi-tier specification model emphasizing knowledge corpuses, knowledge base operators and inference primitives. The approach allows for efficient and comprehensive knowledge structuring where ontologies are integrated with rules and Bayesian networks. The paper presents the KnowLang specification constructs formally along with a case study based on a mobile robotics platform.

Original language	English
Pages	18-23
Number of pages	6
DOIs	https://doi.org/10.1109/CIS.2013.6782155
Publication status	Published - 2012
Event	2012 11th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2012 - Limerick, Ireland Duration: 23 Aug 2012 → 24 Aug 2012

Conference

Conference	2012 11th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2012
Country/Territory	Ireland
City	Limerick
Period	23/08/12 → 24/08/12

Keywords

knowledge representation
reasoning
robotics

Access to Document

10.1109/CIS.2013.6782155

Cite this

@conference{2f36df31465f4dc59b7708f494ff74c2,

title = "Knowledge representation with KnowLang: The marXbot case study",

abstract = "Intelligent systems are capable of AI exhibited via knowledge representation and reasoning, which helps to connect abstract knowledge symbols to real-world meanings. This paper presents a formal language for knowledge representation called KnowLang. The language implies a multi-tier specification model emphasizing knowledge corpuses, knowledge base operators and inference primitives. The approach allows for efficient and comprehensive knowledge structuring where ontologies are integrated with rules and Bayesian networks. The paper presents the KnowLang specification constructs formally along with a case study based on a mobile robotics platform.",

keywords = "knowledge representation, reasoning, robotics",

author = "Emil Vassev and Mike Hinchey",

year = "2012",

doi = "10.1109/CIS.2013.6782155",

language = "English",

pages = "18--23",

note = "2012 11th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2012 ; Conference date: 23-08-2012 Through 24-08-2012",

}

TY - CONF

T1 - Knowledge representation with KnowLang

T2 - 2012 11th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2012

AU - Vassev, Emil

AU - Hinchey, Mike

PY - 2012

Y1 - 2012

N2 - Intelligent systems are capable of AI exhibited via knowledge representation and reasoning, which helps to connect abstract knowledge symbols to real-world meanings. This paper presents a formal language for knowledge representation called KnowLang. The language implies a multi-tier specification model emphasizing knowledge corpuses, knowledge base operators and inference primitives. The approach allows for efficient and comprehensive knowledge structuring where ontologies are integrated with rules and Bayesian networks. The paper presents the KnowLang specification constructs formally along with a case study based on a mobile robotics platform.

AB - Intelligent systems are capable of AI exhibited via knowledge representation and reasoning, which helps to connect abstract knowledge symbols to real-world meanings. This paper presents a formal language for knowledge representation called KnowLang. The language implies a multi-tier specification model emphasizing knowledge corpuses, knowledge base operators and inference primitives. The approach allows for efficient and comprehensive knowledge structuring where ontologies are integrated with rules and Bayesian networks. The paper presents the KnowLang specification constructs formally along with a case study based on a mobile robotics platform.

KW - knowledge representation

KW - reasoning

KW - robotics

UR - http://www.scopus.com/inward/record.url?scp=84899045222&partnerID=8YFLogxK

U2 - 10.1109/CIS.2013.6782155

DO - 10.1109/CIS.2013.6782155

M3 - Paper

AN - SCOPUS:84899045222

SP - 18

EP - 23

Y2 - 23 August 2012 through 24 August 2012

ER -

Knowledge representation with KnowLang: The marXbot case study

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this