KNOWLEDGE-BASED MODELING AND NATURAL COMPUTING FOR COORDINATION IN PERVASIVE ENVIRONMENTS

Michael Cebulla

Abstract

In this paper we start with the assumption that coordination in complex systems can be understood in terms of presence and location of information. We propose a modeling framework which supports an integrated view of these two aspects of coordination (which we call knowledge diffusion). For this sake we employ methods from ontological modeling, modal logics, fuzzy logic and membrane computing. We demonstrate how these techniques can be combined in order to support the reasoning about knowledge and very abstract behavioral descriptions. As an example we discuss the notion of distributed action and show how it can be treated in our framework. Finally we exploit the special features of our architecture in order to integrate bio-inspired coordination mechanisms which rely on the exchange of molecules (i.e. uninterpreted messages).

References

  1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P., editors (2003). The Description Logic Handbook. Cambridge University Press, Cambridge, U.K.
  2. Berry, G. and Boudol, G. (1992). The chemical abstract machine. Journal of Theoretical Computer Science, 96(1):217-248.
  3. Fagin, R., Halpern, J. Y., Moses, Y., and Vardi, M. Y. (1996). Reasoning about Knowledge. The MIT Press, Cambridge, Mass.
  4. Kephart, J. O. and Chess, D. M. (2003). The vision of autonomic computing. IEEE Computer, 36(1):41-50.
  5. Klir, G. J. and Yuan, B. (1995). Fuzzy Sets and Fuzzy Logic. Theory and Applications. Prentice Hall, Upper Saddle River, N.J.
  6. Krasnogor, N., Georghe, M., Terrazas, G., Diggle, S., Williams, P., and Camara, M. (2005). An appealing computational mechanism drawn from bacterial quorum sensing. Bulletin of the European Association for Theoretical Computer Science.
  7. Leveson, N. (1995). Safeware. System safety and computers. Addison Wesley, Reading, Mass.
  8. Pa?un, G. (2000). Introduction to membrane computing. Journal of Computer and System Science, 61(1):108- 143.
  9. Pa?un, G. (2002). Membrane Computing. An Introduction. Springer, Berlin.
  10. Pepper, P., Cebulla, M., Didrich, K., and Grieskamp, W. (2002). From program languages to software languages. The Journal of Systems and Software, 60.
  11. Perrow, C. (1984). Normal Accidents. Living with HighRisk Technologies. Basic Books, New York.
  12. Rutten, J. (1996). Universal coalgebra: a theory of systems. Technical report, CWI, Amsterdam.
  13. Schild, K. (1991). A correspondence theory for terminological logics: Preliminary report. Technical Report KITReport 91, Technische Universität Berlin, Franklinstr. 28/29, Berlin, Germany.
  14. Straccia, U. (2001). Reasoning with fuzzy description logic. Journal of Artificial Intelligence Research, 14:137- 166.
  15. Vardi, M. Y. (1998). Reasoning about the past with twoway automata. In Proc. of the 25th International Colloquium on Automata, Lanugages,and Programming. Springer.
  16. Wooldridge, M. J. (1992). The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation. University of Manchester.
  17. Zadeh, L. A. (1965). Fuzzy sets. Information and Control, 8(3):338-353.
Download


Paper Citation


in Harvard Style

Cebulla M. (2006). KNOWLEDGE-BASED MODELING AND NATURAL COMPUTING FOR COORDINATION IN PERVASIVE ENVIRONMENTS . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-972-8865-42-9, pages 99-106. DOI: 10.5220/0002454500990106


in Bibtex Style

@conference{iceis06,
author={Michael Cebulla},
title={KNOWLEDGE-BASED MODELING AND NATURAL COMPUTING FOR COORDINATION IN PERVASIVE ENVIRONMENTS},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2006},
pages={99-106},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002454500990106},
isbn={978-972-8865-42-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - KNOWLEDGE-BASED MODELING AND NATURAL COMPUTING FOR COORDINATION IN PERVASIVE ENVIRONMENTS
SN - 978-972-8865-42-9
AU - Cebulla M.
PY - 2006
SP - 99
EP - 106
DO - 10.5220/0002454500990106