Logic for Interaction (LINT)

交互逻辑 (LINT)

• 批准号: 71963687
• 负责人: Professor Dr. Erich Grädel
• 金额: --
• 依托单位: Informatik 7: Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2008
• 资助国家: 德国
• 起止时间: 2007-12-31 至 2010-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/71963687?language=en
• 关键词: Logic; Interaction; 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.

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