Tytuł pozycji:
Interactive Logical Structures
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.