Interactive Logical Structures

Issue title: Elegant Structures in Computation. To Andrzej Ehrenfeucht on His 85th Birthday

Guest editors: Gheorghe Păun, Grzegorz Rozenberg and Arto Salomaa

Article type: Research Article

Authors: Dutta, Soma^a | Jankowski, Andrzej^b | Skowron, Andrzej^{c; *; †}

Affiliations: [a] Vistula University, Stokłosy 3, 02-787 Warsaw, Poland. somadutta9@gmail.com | [b] The Dziubanski Foundation of Knowledge Technology, Nowogrodzka 31, 00-511 Warsaw, Poland. andrzej.adgam@gmail.com | [c] Institute of Mathematics, The University of Warsaw, Banacha 2, 02-097 Warsaw, Poland. skowron@mimuw.edu.pl

Correspondence: [*] Address for correspondence: Institute of Mathematics, The University of Warsaw, Banacha 2, 02-097 Warsaw, Poland

Note: [†] Also affiliated at: Systems Research Institute, Polish Academy of Sciences, Newelska 6, 01-447 Warsaw, Poland

Abstract: We present an extension of logical structures, called interactive logical structures, for reasoning about interactive computations performed by Intelligent Systems or Complex Adaptive Systems. Reasoning based on such structures is called adaptive judgment and it goes beyond deduction, induction, and abduction. An extension of logical structures, based on complex granules, couples the abstract world and the physical world of an agent’s environment, and transmits the features of interactions of physical objects realized in the physical world to the abstract world. This allows us to consider the problems of perception and action.

Keywords: complex granule, granular computing, information granule, interaction, (control of) interactive computations, (closed, open) logical structure, physical object, rough set

DOI: 10.3233/FI-2017-1554

Journal: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 95-108, 2017