Peter Gärdenfors & Massimo Warglien Semantics as a meeting of minds.

Slides:



Advertisements
Similar presentations
Situation Calculus for Action Descriptions We talked about STRIPS representations for actions. Another common representation is called the Situation Calculus.
Advertisements

1 How to transform an analyzer into a verifier. 2 OUTLINE OF THE LECTURE a verification technique which combines abstract interpretation and Park’s fixpoint.
This Segment: Computational game theory Lecture 1: Game representations, solution concepts and complexity Tuomas Sandholm Computer Science Department Carnegie.
Language and Cognition Colombo, June 2011 Day 8 Aphasia: disorders of comprehension.
Kant’s Ethical Theory.
1http://img.cs.man.ac.uk/stevens Interaction Models of Humans and Computers CS2352: Lecture 7 Robert Stevens
Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
Cheap Talk. When can cheap talk be believed? We have discussed costly signaling models like educational signaling. In these models, a signal of one’s.
Peter Gärdenfors & Massimo Warglien Semantics as meeting of minds: A fixpoint approach based on conceptual spaces.
Peter Gärdenfors Why must language be vague?. Philosophers since Leibniz have dreamt of a precise language Vagueness is a design feature of natural language.
Christos alatzidis constantina galbogini.  The Complexity of Computing a Nash Equilibrium  Constantinos Daskalakis  Paul W. Goldberg  Christos H.
Segmentation (2): edge detection
Locke’s Epistemology Empiricism: Epistemological school that maintains that, ultimately, all knowledge is rooted in sense experience. John Locke Seventeenth.
Peter Gärdenfors The role of cooperation in the evolution of human communication.
OASIS Reference Model for Service Oriented Architecture 1.0
Midterm 1 Wednesday next week!. Your Research Proposal Project A research proposal attempts to persuade the reader that: – The underlying question is.
1 Basic abstract interpretation theory. 2 The general idea §a semantics l any definition style, from a denotational definition to a detailed interpreter.
Constraint Logic Programming Ryan Kinworthy. Overview Introduction Logic Programming LP as a constraint programming language Constraint Logic Programming.
Communicating Agents in a Shared World Natalia Komarova (IAS & Rutgers) Partha Niyogi (Chicago)
The Game of Algebra or The Other Side of Arithmetic The Game of Algebra or The Other Side of Arithmetic © 2007 Herbert I. Gross by Herbert I. Gross & Richard.
Quantum theory and Consciousness This is an interactive discussion. Please feel free to interrupt at any time with your questions and comments.
ACOS 2010 Standards of Mathematical Practice
Function approximation: Fourier, Chebyshev, Lagrange
PSY 369: Psycholinguistics Language Production & Comprehension: Conversation & Dialog.
Cultural Diversity and Intercultural Communication Esther Langen IHEYO Conference.
Geometry Grades 3-5. Goals:  Build an understanding of the mathematical concepts within Geometry, Measurement, and NBT Domains  Analyze and describe.
Ontology Development Kenneth Baclawski Northeastern University Harvard Medical School.
Geometric Conceptual Spaces Ben Adams GEOG 288MR Spring 2008.
The enigma of language learning
Peter Gärdenfors & Massimo Warglien Using Conceptual Spaces
Representations Floyd Nelson A.D 2009 December 28.
Learning Science and Mathematics Concepts, Models, Representations and Talk Colleen Megowan.
27th April 2006Semantics & Ontologies in GI Services Semantic similarity measurement in a wayfinding service Martin Raubal
Logics for Data and Knowledge Representation Exercises: Modeling Fausto Giunchiglia, Rui Zhang and Vincenzo Maltese.
COLOR HISTOGRAM AND DISCRETE COSINE TRANSFORM FOR COLOR IMAGE RETRIEVAL Presented by 2006/8.
5-1. Communication for Relationship Building: It’s Not All Talk Chapter 5 Copyright © 2006 by The McGraw-Hill Companies, Inc. All rights reserved. McGraw-Hill/Irwin.
Graphics. Graphic is the important media used to show the appearance of integrative media applications. According to DBP dictionary, graphics mean drawing.
COGNITIVE SEMANTICS: INTRODUCTION DANA RETOVÁ CSCTR2010 – Session 1.
Chapter 9 Applying UML and Patterns -Craig Larman
When presented with a problem, I can make a plan, carry out my plan, and evaluate its success. BEFORE… EXPLAIN the problem to myself. Have I solved a problem.
PSY 369: Psycholinguistics Conversation & Dialog: Language Production and Comprehension in conjoined action.
LDK R Logics for Data and Knowledge Representation PL of Classes.
FUNCTIONS AND MODELS 1. The fundamental objects that we deal with in calculus are functions.
Albert Gatt LIN3021 Formal Semantics Lecture 4. In this lecture Compositionality in Natural Langauge revisited: The role of types The typed lambda calculus.
Visual Computing Geometric Modelling 1 INFO410 & INFO350 S2 2015
 Joint attention  Verbal development  Non-verbal language development  Theory of mind  Pro-social communication  Conversational skills.  How to.
2005/12/021 Content-Based Image Retrieval Using Grey Relational Analysis Dept. of Computer Engineering Tatung University Presenter: Tienwei Tsai ( 蔡殿偉.
All right reserved by Xuehua Shen 1 Optimal Aggregation Algorithms for Middleware Ronald Fagin, Amnon Lotem, Moni Naor (PODS01)
FORSVARETS FORSKNINGSINSTITUTT Transformation of geographical information into linguistic sentences: Two case studies Jan Terje Bjørke.
ELEMENTS OF ART. LEARNING INTENTION We will gain a deeper understanding of how the essential vocabulary of art, the Elements of Art, helps us critique.
Modelling the evolution of language for modellers and non-modellers IJCAI Hands on demonstration Nature of colour categories.
INFO 414 Information Behavior Theoretical foundations, frameworks and paradigms.
Thought & Language. Thinking Thinking involves manipulating mental representations for a purpose. Thinking incorporates the use of: Words Mental Images.
Corpus-based evaluation of Referring Expression Generation Albert Gatt Ielka van der Sluis Kees van Deemter Department of Computing Science University.
Algebra Problems… Solutions Algebra Problems… Solutions © 2007 Herbert I. Gross Set 17 part 2 By Herbert I. Gross and Richard A. Medeiros next.
Ch.8 Efficient Coding of Visual Scenes by Grouping and Segmentation Bayesian Brain Tai Sing Lee and Alan L. Yuille Heo, Min-Oh.
Media Arts and Technology Graduate Program UC Santa Barbara MAT 259 Visualizing Information Winter 2006George Legrady1 MAT 259 Visualizing Information.
Grounded cognition. Barsalou, L. W. (2008). Annual Review of Psychology, 59, Grounded theories versus amodal representations. – Recapitulation.
Be.wi-ol.de User-friendly ontology design Nikolai Dahlem Universität Oldenburg.
Cheap Talk. When can cheap talk be believed? We have discussed costly signaling models like educational signaling. In these models, a signal of one’s.
Human Joint Transportation in a Multi-User Virtual Environment Stephan Streuber Astros.
Logics for Data and Knowledge Representation ClassL (part 1): syntax and semantics.
-Subject, Form, Content -Principles and Elements of Design.
Chapter 4 Comprehension, Memory, and Cognitive Learning
Understanding Agent Knowledge through Conversation
CSCTR – Session 6 Dana Retová
Logics for Data and Knowledge Representation
Informational Networks
Combinatorial Topology and Distributed Computing
Normal Form (Matrix) Games
Presentation transcript:

Peter Gärdenfors & Massimo Warglien Semantics as a meeting of minds

What is a semantics?

Extensional semantics

Intensional semantics

Situation semantics Language Truth (partial) Situation World

Language Mental structure association World Action Meaning Cognitive semantics

”Meanings ain’t in the head” Putnam: Suppose you are like me and cannot tell an elm from a beech tree. We still say that the extension of 'elm' in my idiolect is the same as the extension of 'elm' in anyone else's, viz., the set of all elm trees, and that the set of all beech trees is the extension of 'beech' in both of our idiolects. Thus 'elm' in my idiolect has a different extension from 'beech' in your idiolect (as it should). Is it really credible that this difference in extension is brought about by some difference in our concepts? My concept of an elm tree is exactly the same as my concept of a beech tree (I blush to confess). (This shows that the identification of meaning 'in the sense of intension' with concept cannot be correct, by the way).... Cut the pie any way you like, meanings just ain't in the head!

Sharing mental representations results in an emergent semantics Image schemas in cognitive semantics provide a clue to the mental structures But, if everybody has their own mental space, how can we then talk about a representation being the meaning of an expression? Semantics is also a product of communication – meanings arise as a result of communicative interactions Sharing of meaning puts constraints on individual meanings Socio-cognitive approach

Language Mental structures (different for different individuals) association World Actionassociation Semantics as the meeting of minds Language Meaning Action World Meeting of minds

Fixpoint semantics ”Meeting of minds” ≈ reaching agreement on a contract A semantics is a function that maps communicative expressions on mental states (conceptual spaces), and vice versa Minds meet when the representation-interpretation function mapping states of mind on states of mind via gestures or language finds a resting point – a fixpoint (or an approximation of it) Related to equilibria in communication games Topological and geometric properties of mental states help generating fixpoints in communication activities Same mechanisms in speaking and pointing

Conceptual spaces Consists of a number of quality dimensions (colour, size, shape, weight, position …) Dimensions have topological or geometric structures Concepts are represented as convex regions of conceptual spaces

The color spindle Intensity Hue Brightness Green Red Yellow Blue

Why convexity? Handles fuzzy concepts Makes learning more efficient Connects to prototype theory

Voronoi tessellation from prototypes Cognitive economy: Once the space is given, you need only remember the prototypes – the borders can be calculated

Why convexity? Handles fuzzy concepts Connects to prototype theory Makes learning more efficient Makes it possible for minds to meet via communication Just as wheels are round to make transport smooth, concepts are convex to make communication efficient

Modelling the evolution of colour concepts Communication game studied by Jäger and van Rooij Signaller and receiver have a common space for colours (compact and convex) Signaller can choose between n messages

Convex tessellation in a computer simulation of a language game

Modelling the evolution of colour concepts Communication game studied by Jäger and van Rooij Signaller and receiver have a common space for colours (compact and convex) Signaller can choose between n messages Signaller and receiver are rewarded for maximizing the similarity of the colours represented There exists a Nash equilibrium of the game that is a Voronoi tessellation

The mathematical model States of mind of agents are points x in the product space of their individual mental representations C i Similarity provides a metric structure to each C i Additional assumptions about C i : convexity and compactness If C i are compact and convex, so is C=  C i An interpretation function f: C  C It is assumed that f is continuous “Close enough” is “similar enough”. Hence continuity of f means that language can preserve similarity relations!

The central fixpoint result Given a map f:C  C, a fixpoint is a point x*  C such that f(x*) = x* Theorem (Brouwer 1910): Every continuous map of a convex compact set on itself has at least one fixpoint Semantic interpretation: If individual meaning representations are “well-shaped” and language is plastic enough to preserve the spatial structure of concepts, there will be at least one equilibrium point representing a “meeting of minds”

Language preserving neighbourhoods This space is discrete, but combinatorial 1 2 CC L

Language does not preserve neighbourhoods perfectly

Voronoi tessellation as a fixpoint Illustrates how a continuous function mapping the agents meaning space upon itself is compatible with the discreteness of the sign system.

Pointing Imperative InterrogativeDeclarative EvaluativeInformativeGoal-directed

Steps in the development of pointing Grasping Imperative pointing Interrogative pointing Declarative pointing Deixis at Phantasma (Bühler) Analysis in terms of expanding conceptual space (product spaces) Visual space + emotional space + goal space + category space Involves several forms of intersubjectivity

Emotional space

Goal space Locations in visual space transformed into goal space Extended by metaphorical mappings to more abstract goal spaces Cf General Problem Solver

Category space Domains for properties of objects Size, shape, weight, color, taste … Properties are convex regions of domains Categories are sets of properties (+ correlations)

An example of a category: ”Apple” DomainRegion FruitValues for skin, flesh and seed type ColorRed-green-yellow TasteValues for sweetness, sourness etc Shape"Round" region of shape space NutritionValues for sugar, vitamin C, fibres etc

Pragmatics of pointing Grasping Imperative pointing Evaluative pointing Informative pointing Goal-directed pointing Deixis at Phantasma Possession of object Help to obtain object Vicarious learning about value of object Vicarious learning about object Helping attendant to achieve goal Visual support for linguistic communication

Imperative pointing Grasping is moving Object to Subject S can move to O in other ways S can get O to S by imperative pointing Attendant is used as an instrument No joint attention No intersubjectivity in the pointer, but the attendant must understand the desire of the pointer Need not involve intentional communication

Joint attention as a meeting of minds The pointer indicates the direction of the focal object (this can by pointing or by gaze directing). The attendant looks at the angle of the pointer’s indicated direction. The attendant follows the direction until his own gaze locates the first salient object. The pointer looks at the angle of the attendant’s indicated direction. The pointer follows the direction until his own gaze locates the first salient object and checks that it is the same objects as he has indicated. Joint attention is achieved Can be described as a fixpoint in product of two visual spaces

Evaluative pointing The pointer does not desire O but desires an evaluation of it Goal is also to achieve joint emotion Attendant reacts emotionally and pointer can assign emotional coordinates to O Involves meeting of minds in emotional space (in addition to visual space)

Informative pointing Pointer wants to achieve information about O Goal is to achieve joint attention Attendant must understand the informative goal of pointer, e.g. by linguistic description of O Involves meeting of minds also in category space Scaffolds language learning

Goal-directed pointing Pointer helps attendant locate a goal object O Joint attention is achieved Pointer must understand goal of attender Involves meeting of minds in goal space (in addition to visual space) Joint intention is achieved

Product spaces used in pointing Grasping Imperative pointing Evaluative declarative pointing Informative pointing Goal-directed declarative pointing (Detached language) Deixis at phantasma Visual space Visual space x emotional space Visual space x category space Visual space x goal space Category space Category space x visual space

Peter Gärdenfors & Massimo Warglien Semantics as a meeting of minds

Compositionality Linguistic (and other communicative) elements can be composed to create new meanings Products of convex and compact sets are again convex and compact Products and compositions of continuous functions are again continuous So to a large extent compositionality comes for free Simple example: the meaning of “blue rectangle” is defined as the region which is the Cartesian product of the “blue” region of color space and the “rectangle” region of shape space However, there are other modifier-head compositions requiring more elaborate mappings