TY - GEN
T1 - Towards a formal language for knowledge representation in autonomic service-component ensembles
AU - Vassev, Emil
AU - Hinchey, Mike
PY - 2011
Y1 - 2011
N2 - We aim at identifying the content and design principles of KnowLang, a new formal language for knowledge representation in a particular class of autonomic systems termed ASCENS. Autonomic Service-Component Ensembles (ASCENS) are multi-agent systems formed as mobile, intelligent and open-ended swarms of special autonomic service components capable of local and distributed reasoning. Such components encapsulate rules, constraints and mechanisms for self-adaptation and acquire and process knowledge about themselves, other service components, and their environment. With KnowLang we provide a development environment that strives to answer fundamental questions related to knowledge representation and reasoning in ASCENS. Knowledge in such systems is structured into knowledge domains each composed of domain ontology and a logical framework providing knowledge vocabulary and logical foundations used for reasoning. We formalize our approach to KnowLang in terms of formal specification layers, syntax, and parameterization required to cover the specification of the ASCENS knowledge domains and reasoning primitives.
AB - We aim at identifying the content and design principles of KnowLang, a new formal language for knowledge representation in a particular class of autonomic systems termed ASCENS. Autonomic Service-Component Ensembles (ASCENS) are multi-agent systems formed as mobile, intelligent and open-ended swarms of special autonomic service components capable of local and distributed reasoning. Such components encapsulate rules, constraints and mechanisms for self-adaptation and acquire and process knowledge about themselves, other service components, and their environment. With KnowLang we provide a development environment that strives to answer fundamental questions related to knowledge representation and reasoning in ASCENS. Knowledge in such systems is structured into knowledge domains each composed of domain ontology and a logical framework providing knowledge vocabulary and logical foundations used for reasoning. We formalize our approach to KnowLang in terms of formal specification layers, syntax, and parameterization required to cover the specification of the ASCENS knowledge domains and reasoning primitives.
KW - ASCENS
KW - knowledge representation
KW - reasoning
UR - http://www.scopus.com/inward/record.url?scp=84855827159&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84855827159
SN - 9788988678480
T3 - Proceedings - 3rd International Conference on Data Mining and Intelligent Information Technology Applications, ICMIA 2011
SP - 228
EP - 235
BT - Proceedings - 3rd International Conference on Data Mining and Intelligent Information Technology Applications, ICMIA 2011
T2 - 3rd International Conference on Data Mining and Intelligent Information Technology Applications, ICMIA 2011
Y2 - 24 October 2011 through 26 October 2011
ER -