Game Semantics and Linear Logic in the Cognition Process
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Truth and Preferences -- A Game Approach for Qualitative Choice Logic
In this paper, we introduce game-theoretic semantics (GTS) for Qualitative Choice Logic (QCL), which, in order to express preferences, extends classical propositional logic with an additional connective called ordered di…
NegationDistributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping
We present a computational framework for synthesis of distributed control strategies for a heterogeneous team of robots in a partially observable environment. The goal is to cooperatively satisfy specifications given as …
reinforcement-learningReinforcement Learning (RL)Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation
Argumentation is one of the most popular approaches of defining a~non-monotonic formalism and several argumentation based semantics were proposed for defeasible logic programs. Recently, a new approach based on notions o…
In the beginning was game semantics
This article presents an overview of computability logic -- the game-semantically constructed logic of interactive computational tasks and resources. There is only one non-overview, technical section in it, devoted to a …
Argumentation Semantics for Prioritised Default Logic
We endow prioritised default logic (PDL) with argumentation semantics using the ASPIC+ framework for structured argumentation, and prove that the conclusions of the justified arguments are exactly the prioritised default…