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

Michael Cebulla

2007

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.

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