Semantic Goals for Communication

沟通的语义目标

• 批准号: 0726525
• 负责人: Madhu Sudan
• 金额: --
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-10-01 至 2008-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0726525&HistoricalAwards=false
• 关键词: Semantic; Goals; Communication

Semantic Goals for CommunicationMadhu SudanMIT CSAILThis project initiates the study of semantic issues underlyingcommunication: How do two communicating parties resolve potential misunderstandings about the {\em interpretation}of the information (bits) that they are exchanging?The principal objective of this project is to produce a series of mathematical definitions capturing the underlying problem. Furthermore the project seeks to discover paradigms that lead to robust communication, without misunderstanding.The principal insight at the core of this project is thateach communicating player has selfish goals that describe whatit would expect from the communication with the other players. Such goals are non-trivial (can not be achieved by one playeralone), and verifiable by the player. The project explores the possibility of using these verifiable goals to enable mutual understanding. Specifically, it uses research from the last several decades in complexity theory on interactive proofs andprogram checking to suggest scenarios in which communicating players could start without any prior common background andstart to converge towards a common understanding, thereby establishing a theory of understanding. The broader impact of this project would be to enable a mathematical approach to understanding human communication and development of language, as also to guide the design of robust protocols for inter-computercommunication.

沟通的语义目标Madhu苏丹麻省理工学院CSAIL该项目启动了对沟通基础语义问题的研究：两个沟通方如何解决对他们正在交换的信息（位）的{\em解释}的潜在误解？该项目的主要目标是产生一系列捕捉根本问题的数学定义。此外，该项目旨在发现能够实现稳健沟通、避免误解的范式。该项目核心的主要见解是，每个沟通参与者都有自私的目标，这些目标描述了他对与其他参与者的沟通的期望。这样的目标是不平凡的（不能由一个玩家单独实现），并且可以由玩家验证。该项目探讨了利用这些可验证的目标来实现相互理解的可能性。具体来说，它利用过去几十年来关于交互式证明和程序检查的复杂性理论的研究来建议场景，在这些场景中，交流参与者可以在没有任何先前共同背景的情况下开始，并开始向共同理解收敛，从而建立理解理论。该项目更广泛的影响将是使数学方法能够理解人类交流和语言的发展，并指导计算机间通信的稳健协议的设计。