KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by
  1. Diego Calvanese
  2. Esra Erdem
  3. Michael Thielscher

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

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

  1. Heba Aamer(Universiteit Hasselt)
  2. Bart Bogaerts(Vrije Universiteit Brussel)
  3. Dimitri Surinx(Universiteit Hasselt)
  4. Eugenia Ternovska(Simon Fraser University)
  5. Jan Van den Bussche(Universiteit Hasselt)
PDF
BibTeX
https://doi.org/10.24963/kr.2020/1

Keywords

  1. Knowledge representation languages-General
  2. Reasoning about actions and change, action languages-General

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.