A Thorough Formalization of Conceptual Spaces Lucas Bechberger and - PowerPoint PPT Presentation

A Thorough Formalization of Conceptual Spaces Lucas Bechberger and Kai-Uwe Kühnberger

The Different Layers of Representation A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 2

The Different Layers of Representation ∀ x :apple ( x ) ⇒ red ( x ) Symbolic Layer Formal Logics A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 3

The Different Layers of Representation ∀ x :apple ( x ) ⇒ red ( x ) Symbolic Layer Formal Logics Sensor / Feature Subsymbolic Layer [0.42; -1.337, ...] Values A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 4

The Different Layers of Representation ∀ x :apple ( x ) ⇒ red ( x ) Symbolic Layer Formal Logics ? Sensor / Feature Subsymbolic Layer [0.42; -1.337, ...] Values A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 5

The Different Layers of Representation ∀ x :apple ( x ) ⇒ red ( x ) Symbolic Layer Formal Logics Geometric Conceptual Layer Representation Sensor / Feature Subsymbolic Layer [0.42; -1.337, ...] Values A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 6

Conceptual Spaces [Gärdenfors2000] [Gärdenfors2000] Gärdenfors, P. Conceptual Spaces: The Geometry of Thought. MIT press , 2000 A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 9

Conceptual Spaces [Gärdenfors2000]  Quality dimensions  Interpretable ways of judging the similarity of two instances  E.g., temperature, weight, brightness, pitch [Gärdenfors2000] Gärdenfors, P. Conceptual Spaces: The Geometry of Thought. MIT press , 2000 A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 10

Conceptual Spaces [Gärdenfors2000]  Quality dimensions  Interpretable ways of judging the similarity of two instances  E.g., temperature, weight, brightness, pitch  Domain  Set of dimensions that inherently belong together  Color: hue, saturation, and brightness [Gärdenfors2000] Gärdenfors, P. Conceptual Spaces: The Geometry of Thought. MIT press , 2000 A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 11

Conceptual Spaces [Gärdenfors2000]  Quality dimensions  Interpretable ways of judging the similarity of two instances  E.g., temperature, weight, brightness, pitch  Domain  Set of dimensions that inherently belong together  Color: hue, saturation, and brightness  Distance in this space is inversely related to similarity  Within a domain: Euclidean distance  Between domains: Manhattan distance [Gärdenfors2000] Gärdenfors, P. Conceptual Spaces: The Geometry of Thought. MIT press , 2000 A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 12

Conceptual Spaces [Gärdenfors2000]  Quality dimensions  Interpretable ways of judging the similarity of two instances  E.g., temperature, weight, brightness, pitch  Domain  Set of dimensions that inherently belong together  Color: hue, saturation, and brightness  Distance in this space is inversely related to similarity  Within a domain: Euclidean distance  Between domains: Manhattan distance  Concepts  Region + correlation information + salience weights [Gärdenfors2000] Gärdenfors, P. Conceptual Spaces: The Geometry of Thought. MIT press , 2000 A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 13

Betweenness A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 14

Betweenness  B(x,y,z) :↔ d(x,y) + d(y,z) = d(x,z) A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 15

Betweenness  B(x,y,z) :↔ d(x,y) + d(y,z) = d(x,z) https://en.wikipedia.org/wiki/Taxicab_geometry#/ media/File:Manhattan_distance.svg A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 16

Betweenness  B(x,y,z) :↔ d(x,y) + d(y,z) = d(x,z)  Convex region C: ∀ x,z ∈ C : ∀ y : B ( x,y,z ) ⇒ y ∈ C https://en.wikipedia.org/wiki/Taxicab_geometry#/ media/File:Manhattan_distance.svg A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 20

Betweenness  B(x,y,z) :↔ d(x,y) + d(y,z) = d(x,z)  Convex region C: ∀ x,z ∈ C : ∀ y : B ( x,y,z ) ⇒ y ∈ C  Star-shaped region S w.r.t. p: ∀ z ∈ S : ∀ y : B ( p,y,z ) ⇒ y ∈ S https://en.wikipedia.org/wiki/Taxicab_geometry#/ media/File:Manhattan_distance.svg A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 21

Convexity and Manhattan distance height age A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 22

Convexity and Manhattan distance adult height child age A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 23

Formalizing Star-Shaped Concepts A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 29

Formalizing Star-Shaped Concepts ~ S = S 1.0 A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 36

Formalizing Star-Shaped Concepts ~ S = S 1.0 ~ S 0.5 A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 37

Formalizing Star-Shaped Concepts ~ S = S 1.0 ~ S 0.5 ~ S 0.25 A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 38

Intersection of Two Concepts A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 39

Unification of Two Concepts A Thorough Formalization of Conceptual Spaces / Bechberger and Kühnberger 46

A Thorough Formalization of Conceptual Spaces Lucas Bechberger and - PowerPoint PPT Presentation

A Thorough Formalization of Conceptual Spaces Lucas Bechberger and Kai-Uwe Khnberger The Different Layers of Representation A Thorough Formalization of Conceptual Spaces / Bechberger and Khnberger 2 The Different Layers of Representation

Conceptual Spaces for Artificial Intelligence Formalization, Domain Grounding, and Concept

Machine Learning in Conceptual Spaces Two Learning Processes Lucas Bechberger

Using Conceptual Spaces for Cognitive AI Lucas Bechberger Institute of Cognitive Science

(Un)decidability results on real vector spaces arising from the formalization of mathematics John

A formalization of metric spaces in HOL Light Marco Maggesi DiMaI - Universit` a degli Studi

Conceptual spaces as a Nathan Oseroff framework for pedagogy in Kings College London

Decidability and undecidability in theories of real vector spaces John Harrison, Intel

On the problems of interface explainability, conceptual spaces, relevance Giovanni Sileno 13

Measuring Relations between Concepts in Conceptual Spaces Lucas Bechberger and Kai-Uwe

A Comprehensive Implementation of Conceptual Spaces Lucas Bechberger and Kai-Uwe Khnberger

Towards Grounding Conceptual Spaces in Neural Representations Lucas Bechberger and Kai-Uwe

Interacting Conceptual Spaces Martha Lewis (with: Yaared Al-Mehairi, Joe Bolt, Bob Coecke,

Representing Correlations in Conceptual Spaces Lucas Bechberger Institute of Cognitive Science

Conceptual spaces for matching and representing preferences Anton Benz Alexandra Strekalova ZAS

Computing Contrast on Conceptual Spaces Giovanni Sileno, Isabelle Bloch, Jamal Atif, Jean-Louis

A Coq formalization of an analysis and optimization of While Fedyukovich Grigory Andu, 5 of

East Malling Rootstock Breeding Club NIAB EMR Update January 2018 Agenda Minutes and

Go 2 Draft Designs Hello everyone, Im here to talk about the draft designs that the Go team

Looping through Python data structures Justin Kiggins Product Manager DataCamp Python for

Matrices Basic Linear Algebra Overview Lecture will cover why matrices and linear algebra

Categorical Feature Compression via Submodular Optimization Mohammad Hossein Bateni, Lin Chen,

Massive Schema Changes in Facebook Jesse Salomon, Junyi Lu Software Engineer, Production

Generative and discriminative classification techniques Machine Learning and Category

Mathematics 3670: Computer Systems Bits, Data Types, and Operations Dr. Andrew Mertz Mathematics