University of Limerick Institutional Repository

Towards a formal language for knowledge representation in autonomic service-component ensembles.

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Vassev, Emil
dc.contributor.author Hinchey, Mike
dc.date.accessioned 2011-12-22T16:08:23Z
dc.date.available 2011-12-22T16:08:23Z
dc.date.issued 2011
dc.identifier.uri http://hdl.handle.net/10344/1758
dc.description peer-reviewed en_US
dc.description.abstract We aim at identifying the content and design principles of KnowLang, a new formal anguage 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. en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation.ispartofseries Proceedings of the 3rd International Conference on Data Mining and Intelligent Information Technology Applications (ICMIA);10/2011
dc.rights “© 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.” en_US
dc.subject knowledge representation en_US
dc.subject resoning en_US
dc.subject ASCENS en_US
dc.title Towards a formal language for knowledge representation in autonomic service-component ensembles. en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.contributor.sponsor SFI
dc.relation.projectid 03/CE21303_1
dc.relation.projectid ASCENS

Files in this item

This item appears in the following Collection(s)

Show simple item record

Related Items

Search DSpace


Advanced Search

Browse

My Account