Stream Packing for Asynchronous Multi-Context Systems using ASP
This addresses the challenge of efficient data handling in dynamic, loosely coupled knowledge representation systems, but it appears incremental as it builds on the existing aMCS framework.
The paper tackles the problem of coordinating and rearranging data from multiple asynchronous streams to meet input specifications for processing units in asynchronous multi-context systems, proposing a declarative approach using answer-set programming to specify how to package incoming data.
When a processing unit relies on data from external streams, we may face the problem that the stream data needs to be rearranged in a way that allows the unit to perform its task(s). On arrival of new data, we must decide whether there is sufficient information available to start processing or whether to wait for more data. Furthermore, we need to ensure that the data meets the input specification of the processing step. In the case of multiple input streams it is also necessary to coordinate which data from which incoming stream should form the input of the next process instantiation. In this work, we propose a declarative approach as an interface between multiple streams and a processing unit. The idea is to specify via answer-set programming how to arrange incoming data in packages that are suitable as input for subsequent processing. Our approach is intended for use in asynchronous multi-context systems (aMCSs), a recently proposed framework for loose coupling of knowledge representation formalisms that allows for online reasoning in a dynamic environment. Contexts in aMCSs process data streams from external sources and other contexts.