Game Semantics and Linear Logic in the Cognition Process

by   Dmitry Maximov, et al.

A description of the environment cognition process by intelligent systems with a fixed set of system goals is suggested. Such a system is represented by the set of its goals only without any models of the system elements or the environment. The set has a lattice structure and a monoid structure; thus, the structure of linear logic is defined on the set. The cognition process of some environment by the system is described on this basis. The environment is represented as a configuration space of possible system positions which are estimated by an information amount (by corresponding sets). This information is supplied to the system by the environment. Thus, it is possible to define the category of Conway games with a payoff on the configuration space and to choose an optimal system's play (i.e., a trajectory). The choice is determined by the requirement of maximal information increasing and takes into account the structure of the system goal set: the linear logic on the set is used to determine the priority of possible different parallel processes. The survey may be useful to describe the behavior of robots and simple biological systems, e.g., ants.


page 1

page 2

page 3

page 4


An Optimal Itinerary Generation in a Configuration Space of Large Intellectual Agent Groups with Linear Logic

A group of intelligent agents which fulfill a set of tasks in parallel i...

Reasoning in the Description Logic ALC under Category Semantics

We present in this paper a reformulation of the usual set-theoretical se...

Logic Programming with Ordered Disjunction

Logic programs with ordered disjunction (LPODs) combine ideas underlying...

Ludii Game Logic Guide

This technical report outlines the fundamental workings of the game logi...

A Tale of Two Animats: What does it take to have goals?

What does it take for a system, biological or not, to have goals? Here, ...

A Way to Facilitate Decision Making in a Mixed Group of Manned and Unmanned Aerial Vehicles

A mixed group of manned and unmanned aerial vehicles is considered as a ...

A Logic Framework for P2P Deductive Databases

This paper presents a logic framework for modeling the interaction among...

Please sign up or login with your details

Forgot password? Click here to reset