research-article

Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles

Authors:

Paddy NixonAuthors Info & Claims

C3S2E '11: Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering

Pages 35 - 42

https://doi.org/10.1145/1992896.1992901

Published: 16 May 2011 Publication History

Abstract

Autonomic Service-Component Ensembles (ASCENS) is a class of 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. ASCENS systems pose distinct challenges for knowledge representation languages. In this paper, we present requirements and an initial model for such a language called KnowLang. KnowLang is intended to provide for formal specification of distinct knowledge models each representing a different knowledge domain of an ASCENS system, such as the internal world of a service component, the world of a service-component ensemble, the surrounding external world and information of special situations related to state changes and operations of service components. KnowLang provides the necessary constructs and mechanisms for specifying such knowledge models at two main levels -- an ontology level and a logic-foundations level, where the latter is formed by special facts, rules, constraints and inter-ontology operators. In this paper, we also survey one of the ASCENS case studies to derive some of the requirements for KnowLang.

References

[1]

ASCENS -- Autonomic Service-Component Ensembles. 2010. http://www.ascens-ist.eu/.

[2]

European Commission -- CORDIS. Seventh Framework Program (FP7). http://cordis.europa.eu/fp7/home_en.html.

[3]

Vassev, E. and Hinchey, M. 2010. The Challenge of Developing Autonomic Systems. IEEE Computer. 43, 12 (December 2010), pp. 93--96.

Digital Library

[4]

Vassev, E. and Hinchey. M. 2011. Knowledge Representation and Awareness in Autonomic Service-Component Ensembles -- State of the Art. In Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops. IEEE Computer Society. pp. 110--119.

Digital Library

[5]

Swartout, W. and Tate, A. 1999. Ontologies. IEEE Intelligent Systems. 14 (1999), pp. 18--19.

Digital Library

[6]

Littman, M. L. 1996. Algorithms for Sequential Decision Making. PhD Thesis, Department of Computer Science, Brown University.

Digital Library

[7]

Vassev, E. 2008. Towards a Framework for Specification and Code Generation of Autonomic Systems. PhD Thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada.

Digital Library

[8]

De Nicola, R., Ferrari, G. L., Pugliese, R. 1998. KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering. 24, 5 (1998), pp. 315--330.

Digital Library

[9]

Brachman, R. J. and Levesque, H. J. 2004. Knowledge representation and reasoning. Elsevier, San Francisco.

Digital Library

[10]

Baader, F. and Nutt, W. 2002. Basic Description Logics. In The Description Logic Handbook, F. Baader, D. Calvanese D. McGuinness, D. Nardi and P. Patel-Schneider, Ed.

[11]

Knuth, D. E. 1964. Backus Normal Form vs. Backus Naur Form. Communications of the ACM. 7, 12 (1964), pp. 735--73.

Digital Library

[12]

Troelstra, A. S. and Schwichtenberg, H. 2000. Basic Proof Theory. Cambridge University Press.

Digital Library

[13]

Buscemi, M. G. and Montanari, U. 2008. Open Bisimulation for the Concurrent Constraint Pi-Calculus. In Programming Languages and Systems, Lecture Notes in Computer Science. 4960 (2008), pp. 254--268.

Digital Library

[14]

McCarthy, J. and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4. Edinburgh Univ. Press. pp. 463--502.

[15]

Mateus, P., Pacheco, A., Pinto, J., Sernadas, A. and Sernadas, C. 2001. Probabilistic Situation Calculus. Annals of Mathematics and Artificial Intelligence. 32, 1-4 (2001), pp. 393--431.

Digital Library

[16]

Schubert, L. K. 1990. Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions. Knowledge Representation and Defeasible Reasoning. Dortrecht: Kluwer. pp. 23--67.

[17]

Kowalsky, R. and Sergot, M. 1986. A logic-based calculus of events. New Generation Computing. 4, 1 (1986), pp. 67--95.

Digital Library

[18]

Bonani, M., Longchamp, V., Magnenat, S., Retornaz, P., Burnier, D., Roulet, G., Vaussard, F., Bleuler, H. and Mondada, F. 2010. The MarXbot, a Miniature Mobile Robot Opening new Perspectives for the Collective-robotic Research. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010).

[19]

Russell, S. J. and Norvig, P. 2009. Artificial intelligence: A modern approach. Prentice Hall.

Digital Library

Cited By

Wirsing MHölzl MTribastone MZambonelli F(2013)ASCENS: Engineering Autonomic Service-Component EnsemblesFormal Methods for Components and Objects10.1007/978-3-642-35887-6_1(1-24)Online publication date: 2013
https://doi.org/10.1007/978-3-642-35887-6_1
Vassev EHinchey M(2012)Representing Knowledge in Robotic Systems with KnowLangLeveraging Applications of Formal Methods, Verification, and Validation10.1007/978-3-642-34781-8_7(91-105)Online publication date: 2012
https://doi.org/10.1007/978-3-642-34781-8_7
Zambonelli FBicocchi NCabri GLeonardi LPuviani M(2011)On Self-Adaptation, Self-Expression, and Self-Awareness in Autonomic Service Component EnsemblesProceedings of the 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops10.1109/SASOW.2011.24(108-113)Online publication date: 3-Oct-2011
https://dl.acm.org/doi/10.1109/SASOW.2011.24

Index Terms

Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles

Recommendations

Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art
ISORCW '11: Proceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops

Knowledge is the source of intelligence and both knowledge representation and knowledge management are crucial for intelligent systems. Well employed knowledge helps such systems become aware of situations, recognize states and eventually respond to ...
Acquiring Knowledge in Extended Hierarchical Censored Production Rules (EHCPRS) System

EHCPRs system is a knowledge representation and reasoning system for representing common sense knowledge and reasoning with it. In such a system an EHCPR is used as a unit of knowledge for representing any universal concept. There are a number of EHCPRs ...
Knowledge representation for self-adaptive behavior
C3S2E '12: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering

An autonomic system is considered to be a self-adaptive system that changes its behavior in response to stimuli from its execution and operational environment. Such behavior is considered autonomic and self-adaptive and is intended to drive intelligent ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

C3S2E '11: Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering

May 2011

162 pages

ISBN:9781450306263

DOI:10.1145/1992896

General Chair:
Bipin C. Desai
Concordia University, Montréal, QC, Canada
,
Program Chairs:
Alain Abran
École de technologie supérieure (ETS) de l'université du Québec
,
Sudhir P. Mudur
Concordia University, Canada

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

ACM: Association for Computing Machinery
BytePress
Concordia University: Concordia University

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 May 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Science Foundation Ireland

Conference

C3S2E '11

Sponsor:

ACM
Concordia University

C3S2E '11: Fourth International C* Conference on Computer Science & Software Engineering

May 16 - 18, 2011

Quebec, Montreal, Canada

Acceptance Rates

Overall Acceptance Rate 12 of 42 submissions, 29%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
199
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Wirsing MHölzl MTribastone MZambonelli F(2013)ASCENS: Engineering Autonomic Service-Component EnsemblesFormal Methods for Components and Objects10.1007/978-3-642-35887-6_1(1-24)Online publication date: 2013
https://doi.org/10.1007/978-3-642-35887-6_1
Vassev EHinchey M(2012)Representing Knowledge in Robotic Systems with KnowLangLeveraging Applications of Formal Methods, Verification, and Validation10.1007/978-3-642-34781-8_7(91-105)Online publication date: 2012
https://doi.org/10.1007/978-3-642-34781-8_7
Zambonelli FBicocchi NCabri GLeonardi LPuviani M(2011)On Self-Adaptation, Self-Expression, and Self-Awareness in Autonomic Service Component EnsemblesProceedings of the 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops10.1109/SASOW.2011.24(108-113)Online publication date: 3-Oct-2011
https://dl.acm.org/doi/10.1109/SASOW.2011.24

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten