Semantic Communication

Semantic Communication

Semantic Communication Madhu Sudan (based on joint work with Brendan Juba (MIT); and upcoming work with Oded Goldreich (Weizmann) & J. ) My research interests Computation Communication Role of errors Probabilistically checkable proofs List-decoding and now Semantic Communication

Semantic Communication Bits (words) have meaning Can we preserve meaning when communicating? A Freez e Important B

or in modern society of computers What is meaning? Send 0010000110 Reciever: Recd 0010000110 Did this preserve meaning? No Meaning = Interpretation associated with bits

= how bits recd change state of your mind. (same diff. as between algorithm, and its encoding in some programming language/universal TM) But if no one can read the state of your mind, how do I know if youve misunderstood me? Semantic Communication Definition of Meaning non-trivial Want to preserve it only to the extent that it is relevant.

But relevance should not be defined to make everything irrelevant. If communication achieves some goal with knowledge of language, it should still achieve it without knowledge of language. Our research Part 1 Articulate one class of informationoriented goal of communication. Show how it captures semantic

miscommunication Theorem: If helpful parties interact, they can achieve the goal (while overcoming linguistic hurdles) provided the goal is verifiable. Crux of theorem: Definitions that make it true! Goal=? Bob wants to solve hard computational problem is program P = virus? Is game of chess winnable?

Alien capable of solving hard problem; but doesnt know Bs language. Can A help B? For which Philosophical interpretation of answers If A can only help B solve problems he can solve by himself communication

is pointless. If A can help B solve all problems, communication is powerful and misunderstandings can always be overcome. If A can help B solve some new problems, then communication is ocassionally helpful; and one ought to be careful with it. Misunderstandings and Helpfulness. Modelled by collection of {A}s and {B}s.

(for every language, there is a copy A that speaks in language i, and a B that speaks i). Helpful = For every A there exists B j, such that A helps Bj solve problem (plus technicalities). Universality = B should be able solve problem with every (helpful) Aj. Theorems: B

can use {A}s help to solve every verifiable problem [Verifiable problems include (PSPACEcomplete) problems that B could not solve on its own] B can only solve verifiable problems. [Moral: danger in updating OS and anti-virus software asynchronously.] Our research Part II (ongoing)

Generalize to arbitrary goals of communication. Tricky part: Capturing goal (= state of my mind?) while allowing my actions to vary (in effect changing my mental action and hence states).

Recently Viewed Presentations

  • T&C Project Management Update - December 2010

    T&C Project Management Update - December 2010

    Developing project management business practice, related forms and communication methods. Setting metrics which we will use to benchmark our project performance, and gathering the necessary data. Performing a self-assessment using metrics, and documenting successes and challenges of our strategies; the...
  • Agenda - cp-mlxprod-static.microsoft.com

    Agenda - cp-mlxprod-static.microsoft.com

    platforms. VisualStudio Premium with MSDN. Visual Studio Ultimate with MSDN. Azurecredits included per month. $50. $50. $100. $100. $150. Annual savings first year. $600+ $600+ $1,200+ $1,200+ $1,800+ Estimatedsaving only includes the monthly credits provided and does not include any...
  • Community Outreach for Complex Patients:

    Community Outreach for Complex Patients:

    Community Outreach for Complex Patients:Basics of Care Management and Care Transitions in the FieldKelly Craig, Director of Care Management InitiativesJason Turi, Clinical Manager of Care TransitionsJuly 20, 2012 Camden Coalition of. Healthcare Providers. www.camdenhealth.org. Camden Coalition of ...
  • Year 10 Online Literacy and Numeracy Assessment Mark

    Year 10 Online Literacy and Numeracy Assessment Mark

    www.assess.scsa.wa.edu.au. Login : 1366. Password : prac14. 65. OLNA Schedule. Writing Component Tuesday March 7 period 3. Reading Component Friday March 10 period 1. Numeracy Component Thursday March 9 period 1. To be conducted on student computers. Must be fully...
  • Reverse k Nearest Neighbors Query Processing: Experiments and

    Reverse k Nearest Neighbors Query Processing: Experiments and

    Introduction. Framework. Motivation. Algorithms. TPL++. Experiments. Conclusion. Outline. No waste on this page. Here is the outline of my talk. First, I will briefly introduce what's RkNN problem and what's the applications of RkNN queries.
  • The Foundations: Logic and Proofs

    The Foundations: Logic and Proofs

    Consistent System Specifications. Definition: A list of propositions is consistent if it is possible to assign truth values to the proposition variables so that each proposition is true.
  • Click here to add a title - publications.iadb.org

    Click here to add a title - publications.iadb.org

    Percentage of projects with strong, partial or minimal ICT link ICT and Sectoral Impact: Minimal ICT link Education Environment Health Institutions Labor Finance 29 50 24 13 14 0 ICT and Sectoral Impact: Partial ICT link Education Environment Health Institutions...
  • The Design of Organisms

    The Design of Organisms

    Body Plans. The great diversity of plant and animal forms arises from a surprisingly small number of patterns. Although some organisms have complex shapes, we will begin looking at simple systems