Foundations of a functional approach to knowledge representation.
Artificial Intelligence
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Selected papers of the Second Workshop on Concurrency and compositionality
Programming by multiset transformation
Communications of the ACM
Fuzzy sets and fuzzy logic: theory and applications
Fuzzy sets and fuzzy logic: theory and applications
Reasoning about knowledge
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Software architecture styles as graph grammars
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Coordination models: a guided tour
Coordination of Internet agents
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Model-based adaptation for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
From program languages to software languages
Journal of Systems and Software - Special issue on artificial and computational intelligence for decisions, control, and automation in engineering and industrial applications
The Description Logic Handbook
The Description Logic Handbook
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
In this paper we propose a knowledge-based approach for thesupport of adaptive and context-aware behavior in autonomic systems. In order to providemeaningful and adequate behavior in the presence of dynamic (or adverse) environmentssystems must possess the ability to assess their current state on the basis of knowledge about themselves andtheir environments. We propose to use ontologies for therepresentation of knowledge and its integration into a general systemsarchitecture supporting autonomic behavior. Especially we rely on fuzzy description logics in order to support robust automatic reasoning w.r.t. environmental conditions.We distinguish several aspects of knowledge and use multiset term rewritingto describe mechanisms of coordination between them.We discuss the advantages of our approach and give examples forparadigmatic applications.