Logic for Interaction (LINT)

LINT是一个合作研究项目，旨在发展互动的数学基础。智能交互涉及复杂场景中的代理，如对话，团队合作或游戏。LINT聚集了来自六个欧洲国家的逻辑学家、计算机科学家和哲学家，努力为交互逻辑的统一解释奠定基础。虽然传统逻辑对真理、证明和计算有着强大的解释，但智能体之间的智能交互涉及到几个进一步的基本特征，需要明确的研究。一个是依赖性，例如一个主体的行动对其他主体的行动的策略依赖性，或者观察和通信中的信息依赖性。另一种是不完全信息，例如对对手在游戏中的动作的无知。第三个是智能机构的内部动力学，描述了参与者的逐步行动以及获取或传递信息的行为。智能交互的第四个也是最后一个关键特征是它的全局动态性，即对话、游戏和其他核心活动的过程结构。一些现有的逻辑领域和一些最近的发展，为交互的这四个基本特征提供了关键线索。LINT致力于在它们最有前途的接口上合并它们中的一些。它代表了一个机会，一些最具创新性和生产力的欧洲团体在这种新的基础逻辑研究之间的联合力量，并根据不同的背景动机和技能组合创造一个生动的理论建设环境。其具体目标是： 彻底研究最近的依赖性的逻辑理论; 制定一个统一的框架，以处理逻辑游戏和其他互动系统中的不完美信息; 联合收割机结合两个主要的现有方法的逻辑互动：“内部”和“全球”动态; 在专门设计用于处理交互的框架中描述证明和真理的自然逻辑操作。

LINT is a collaborative research project aimed at developing mathematical foundations for interaction. Intelligent interaction involves agents in complex scenarios like conversation, teamwork, or games. LINT gathers logicians, computer scientists and philosophers from six European countries in an effort to lay the grounds for a unified account of the logic of interaction.While traditional logic has powerful accounts of truth, proof, and computa-tion, intelligent interaction between agents involves several further basic features that call for explicit investigation. One is dependence, e.g. strategic dependence of actions of an agent on actions of other agents, or informational dependence in observation and communication. Another is imperfect information, e.g. ignorance of moves of the opponent in a game. A third is the internal dynamics of intelligent agency, describing the stepwise moves of players and acts of getting or conveying information. A fourth and final crucial feature of intelligent interaction is its global dynamics, i.e. the process structure of conversation, games, and other core activities.A number of existing areas of logic, and some very recent developments, provide key leads into these four basic features of interaction. LINT is an effort to merge some of them at their most promising interfaces. It represents an opportunity to join forces between some of the most innovative and productive European groups in fundamental logical research of this newer kind, and create a lively theory-building environment based on different background motivations and skill-sets. Its concrete aims are:- to thoroughly investigate recent mathematical-logical theories of dependence;- to develop a uniform framework for handling imperfect information in logical games and other interactive systems;- to combine the two major existing approaches to the logic of interaction: ‘internal’ and ‘global’ dynamics;- to characterize the natural logical operations for proof and truth in frameworks specifically designed to deal with interaction.