Inputs, Outputs, and Composition in the Logic of Information Flows-Reference-Cited by-同舟云学术

Inputs, Outputs, and Composition in the Logic of Information Flows

Published:2023-08-25 Issue:4 Volume:24 Page:1-44
ISSN:1529-3785
Container-title:ACM Transactions on Computational Logic
language:en
Short-container-title:ACM Trans. Comput. Logic

Author:

Aamer Heba¹^ORCID,Bogaerts Bart¹^ORCID,Surinx Dimitri²^ORCID,Ternovska Eugenia³^ORCID,Van den Bussche Jan²^ORCID

Affiliation:

1. Vrije Universiteit Brussel, Belgium

2. Hasselt University, Belgium

3. Simon Fraser University, Canada

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 article 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 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. This article is the extended version of a paper presented at KR 2020 [ 2 ].

Funder

Flemish Government under the “Onderzoeksprogramma Artificiële Intelligentie (AI) Vlaanderen” programme

Natural Sciences and Engineering Research Council of Canada

National Natural Science Foundation of China

Special Research Fund

Publisher

Association for Computing Machinery (ACM)

Subject

Computational Mathematics,Logic,General Computer Science,Theoretical Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/3604553

Reference26 articles.

1. Proceedings of the 23rd International Conference on Database Theory;Aamer Heba,2020

2. Inputs, Outputs, and Composition in the Logic of Information Flows

3. Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, and Moshe Y. Vardi. 2019. Unbounded orchestrations of transducers for manufacturing. In AAAI Conference on Artificial Intelligence. AAAI Press, 2646–2653.

4. Automatic service composition and synthesis: The Roman model;Calvanese Diego;IEEE Data Eng. Bull.,2008

5. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi. 2016. Regular open APIs. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning.AAAI Press, 329–338.