REACTIVE COMMONSENSE REASONING - Towards Semantic Coordination with High-level Specifications

Michael Cebulla

Abstract

In contemporary distributed applications questions concerning coordination have become increasingly urgent. There is a trade-off however to be made between the need for a highly reactive behavior and the need for semantically rich high level abstractions. Especially w.r.t. context-aware applications where various systems have to act together and come to coordinated conclusions the need for powerful semantic abstractions is evident. In our argument we start with a calculus for highly reactive behavior. Then we introduce stepwise two extensions w.r.t. the representation of semantic relationships. The first extension concerns the integration of description logics in order to represent statements about the current situation. The main extension however concerns the integration of classifications (also known as formal contexts). By integrating these highly abstract notions into our membrane-based calculus we make a proposal for the support of common sense reasoning during runtime. The main purpose of the resulting framework is to provide a generic notion of context which is accessible for a rigorous computational treatment during runtime. We claim that this proposal is a contribution to the robustness of systems behavior and context-awareness.

References

  1. Baader, F. and Nutt, W. (2003). Basic description logics. In Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P., editors, The Description Logic Handbook. Cambridge University Press, Cambridge, U.K.
  2. Banaˆtre, J. and Metayer, D. L. (1993). Programming by multiset transformation. Communications of the ACM, 36:98-111.
  3. Barwise, J. and Seligman, J. (1997). Information Flow: the logic of distributed Systems. Cambridge Univ. Press.
  4. Bernardini, F. (2005). Membrane Systems for Molecular Computing and Biological Modelling. PhD thesis, University of Sheffield.
  5. Fagin, R., Halpern, J. Y., Moses, Y., and Vardi, M. Y. (1996). Reasoning about Knowledge. The MIT Press, Cambridge, Mass.
  6. Ganter, B. and Wille, R. (1997). Formal Concept Analysis. Mathematical Foundations. Springer: Berlin, Heidelberg.
  7. Goguen, J. (2005). Information integration in institutions. In Memorial Volume for Jon Barwise. Indiana University Press, Indiana.
  8. Hödobler, S., Störr, H.-P., and Khang, T. D. (2003). The fuzzy description logic alcFH with hedge algebras as concept modifiers. International Journal of Advanced Computational Intelligence and Intelligent Informatics, 7(3):294-305.
  9. Hughes, G. and Cresswell, M. (1996). A New Introduction to Modal Logic. Routledge.
  10. McCarthy, J. (1997). Formalizing context (expanded notes). In Aliseda, A., van Glabbeek, R., and Westerstahl, D., editors, Computing Natural Language. Stanford University.
  11. Pa?un, G. (2000). Introduction to membrane computing. Journal of Computer and System Science, 61(1):108- 143.
  12. Pepper, P., Cebulla, M., Didrich, K., and Grieskamp, W. (2002). From program languages to software languages. The Journal of Systems and Software, 60.
  13. Sowa, J. F. (2000). Knowledge Representation. Logical, Philosophical, and Computational Foudnations. Brooks/Cole, Pacific Grove.
  14. Straccia, U. (2001). Reasoning with fuzzy description logic. Journal of Artificial Intelligence Research, 14:137- 166.
  15. Zadeh, L. A. (1965). Fuzzy sets. Information and Control, 8(3):338-353.
Download


Paper Citation


in Harvard Style

Cebulla M. (2007). REACTIVE COMMONSENSE REASONING - Towards Semantic Coordination with High-level Specifications . In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-972-8865-89-4, pages 113-118. DOI: 10.5220/0002408201130118


in Bibtex Style

@conference{iceis07,
author={Michael Cebulla},
title={REACTIVE COMMONSENSE REASONING - Towards Semantic Coordination with High-level Specifications},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2007},
pages={113-118},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002408201130118},
isbn={978-972-8865-89-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - REACTIVE COMMONSENSE REASONING - Towards Semantic Coordination with High-level Specifications
SN - 978-972-8865-89-4
AU - Cebulla M.
PY - 2007
SP - 113
EP - 118
DO - 10.5220/0002408201130118