Inputs, Outputs, and Composition in the Logic of Information Flows
Author:
Aamer Heba1,
Bogaerts Bart2,
Surinx Dimitri1,
Ternovska Eugenia3,
Van den Bussche Jan1
Affiliation:
1. Universiteit Hasselt
2. Vrije Universiteit Brussel
3. Simon Fraser University
Abstract
The logic of information flows (LIF) is a general framework in which tasks of a procedural nature can be modeled in a declarative, logic-based fashion. The first contribution of this paper is to propose semantic and syntactic definitions of inputs and outputs of LIF expressions. We study how the two relate and show that our syntactic definition is optimal in a sense that is made precise. The second contribution of this paper is a systematic study of the expressive power of sequential composition in LIF. Our results on composition tie in the results on inputs and outputs, and relate LIF to first-order logic (FO) and bounded-variable LIF to bounded-variable FO.
Publisher
International Joint Conferences on Artificial Intelligence Organization
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献