University of Limerick Institutional Repository

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

DSpace Repository

Show simple item record Vassev, Emil Hinchey, Mike 2011-12-22T16:08:23Z 2011-12-22T16:08:23Z 2011
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 info:eu-repo/grantAgreement/EC/FP7/257414
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 info:eu-repo/semantics/conferenceObject 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
dc.rights.accessrights info:eu-repo/semantics/openAccess

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account