a formal framework for the symbol grounding problem benjamin - PowerPoint PPT Presentation

Jan 07, 2024 •218 likes •392 views

a formal framework for the symbol grounding problem benjamin johnston + mary-anne williams mouse wiffme_blag how can the semantic interpretation of a formal symbol system be made intrinsic to the system , rather than just parasitic on the

a formal framework for the symbol grounding problem benjamin johnston + mary-anne williams
mouse
wiffme_blag
“how can the semantic interpretation of a formal symbol system be made intrinsic to the system , rather than just parasitic on the meanings in our heads?”
what kinds of reasoning can be performed by systems constrained by different representational criteria ?
formal framework method: assume formal primitives for semantic interpretability and the universe of concepts , then mathematically model the SGP not a complete solution, but simplifjcation + real progress no math today: details in the proceedings
CFSIR context-free semantically interpretable representation semantically interpretable SIR representation iconic and symbolic ISR representation DR distributed representation UR unconstrained representation NF non-formal
interpretable representation context-free semantically pet_mouse mickey_mouse computer_mouse
semantically interpretable c(animal,mouse) representation c(disney,mouse) c(device,mouse)
iconic and symbolic representation
distributed representation
unconstrained representation
non-formal
so, what’s the point? SGP is a major challenge of AI the framework raises new questions formalization opens the way for proofs the framework aids communication
¬ SIR ~ I ISR ~ I ν
some questions which class is sufficient for AGI? where does your research fit in? which classes are pragmatically useful ? are any of these classes equivalent ?

Recommend

The Symbol Grounding Problem Qi Huang Department of Computer Science February 3, 2020 1 / 31

The Symbol Grounding Problem Qi Huang Department of Computer Science February 3, 2020 1 / 31 Table of Contents Introduction Symbol System The Symbol Grounding Problem Hybrid symbol grounding system Conclusion & Discussion 2 / 31

421 views • 31 slides

Getting meaning off the ground: Symbol-grounding vs Symbol-tethering (Previously called

Originally presented at Birmingham and MIT March 2002 Last revised February 1, 2008 Getting meaning off the ground: Symbol-grounding vs Symbol-tethering (Previously called Symbol-attachment) Aaron Sloman School of Computer Science, University

662 views • 65 slides

Symbol-table problem Symbol table T holding n records : record x Operations on T : key [ x ] key

CS 5633 -- Spring 2005 Symbol-table problem Symbol table T holding n records : record x Operations on T : key [ x ] key [ x ] I NSERT ( T , x ) D ELETE ( T , x ) Other fields S EARCH ( T , k ) containing Hashing satellite data

505 views • 6 slides

Semiotic triangle (Peirce, 1867) concept (interpretant) Types of sign: Grounded cognition

Semiotic triangle (Peirce, 1867) concept (interpretant) Types of sign: Grounded cognition Icon Symbol grounding SIGN Index referent symbol Igor Farka symbol DOG Centre for Cognitive Science Faculty of Mathematics, Physics and

204 views • 4 slides

Dune Grounding Issues Impedance Concerns T. Shaw 11APR2018 Grounding Plan Grounding Plan

Dune Grounding Issues Impedance Concerns T. Shaw 11APR2018 Grounding Plan Grounding Plan can be found in DUNE docdb 285 https://docs.dunescience.org:440/cgi- bin/ShowDocument?docid=285 Need to consider the resistivity of concrete

366 views • 15 slides

Fermilab LBNF CF Far Detector BSI Facilities Engineering Services Section 8/26/2015

WIRING DEVICES POWER SINGLE LINE DIAGRAM FIRE ALARM SYMBOLS ABBREVIATIONS ABBREVIATIONS SYMBOL DESCRIPTION SYMBOL DESCRIPTION SYMBOL DESCRIPTION SYMBOL DESCRIPTION SYMBOL DESCRIPTION SYMBOL DESCRIPTION R A, AMP AMPERE OC ON

313 views • 10 slides

Suicidality (CAMS) Framework: Grounding in Philosophy and Reaching Towards Future Developments

The Collaborative Assessment and Management of Suicidality (CAMS) Framework: Grounding in Philosophy and Reaching Towards Future Developments Kevin J. Crowley, Ph.D. CAMS-care Senior Consultant CAMS-care, LLC Today the field of suicidology is

608 views • 49 slides

Embodied Machines The Grounding (binding) Problem Real cognizers form multiple

Embodied Machines The Grounding (binding) Problem Real cognizers form multiple associations between concepts Affordances - how is an object interacted with Frames - Background structure against which concept is understood --

732 views • 19 slides

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

Towards Grounding Conceptual Spaces in Neural Representations Lucas Bechberger and Kai-Uwe Khnberger https://www.lucas-bechberger.de The Different Layers of Representation x :apple ( x ) red ( x ) Symbolic Layer Formal Logics

146 views • 13 slides

Grounding LING 575: Spoken Dialog Systems May 12 th , 2016 1 What is Grounding? Spoken Dialog

Grounding LING 575: Spoken Dialog Systems May 12 th , 2016 1 What is Grounding? Spoken Dialog is special way of communication It is the result of a joint collaboration Achieving a common ground of mutually believed facts of what is being

1.07k views • 73 slides

INF5110 Compiler Construction Symbol tables Spring 2016 1 / 43 Outline 1. Symbol tables

INF5110 Compiler Construction Symbol tables Spring 2016 1 / 43 Outline 1. Symbol tables Introduction Symbol table design an interface Implementing symbol tables Block-structure, scoping, binding, name-space organization Symbol tables

1.09k views • 41 slides

A Formal Model: Media Access Control and Frame and Symbol Processing FlexRay Seminar Peter

A Formal Model: Media Access Control and Frame and Symbol Processing FlexRay Seminar Peter Bhm, 21.10.2005 Overview The Model Architecture Clock Synchronization Schedule Main Theorem Proof of Theorem Peter Bhm 2

529 views • 22 slides

Symbol Tables in JastAdd What is a symbol table used for? Determining the origin and the

Review Symbol Tables in JastAdd What is a symbol table used for? Determining the origin and the Andrew Casey properties of a given symbol Review Attribute Grammars What goes in a symbol table? Name Introduced by Knuth as a

325 views • 10 slides

SAFE Formal Specification and Implementation of a Scalable Analysis Framework for ECMAscript

SAFE Formal Specification and Implementation of a Scalable Analysis Framework for ECMAscript PLRG@KAIST Hongki Lee , Sooncheol Won, Joonho Jin, Junhee Cho, and Sukyoung Ryu Contents Introduction Big Picture Formal Specification

631 views • 25 slides

DI MA- -Maude: Maude: DI MA Toward a Formal Framework Toward a Formal Framework for

DI MA- -Maude: Maude: DI MA Toward a Formal Framework Toward a Formal Framework for Specifying and Validating for Specifying and Validating DI MA Agents DI MA Agents Farid Mokhati Farid Mokhati, , Noura Noura Boudiaf Boudiaf Mourad

588 views • 23 slides

ArgonCube 2x2 Cabling and grounding F. Piastra 31.10.2019 Power connections/grounding DAQ rack

ArgonCube 2x2 Cabling and grounding F. Piastra 31.10.2019 Power connections/grounding DAQ rack HVPS HV Power (phases) SYx527 crate Cryostat Detector grounded at the ground HV-FT HV-FT LVPS (<10V) (at the rack) G VME crate NIM

122 views • 9 slides

A Fast and Accurate One-Stage Approach to Visual Grounding Zhengyuan Yang Boqing Gong Liwei

A Fast and Accurate One-Stage Approach to Visual Grounding Zhengyuan Yang Boqing Gong Liwei Wang Wenbing Huang Dong Yu Jiebo Luo Presenter: Tianlang Chen Visual grounding Grounding a language query onto a region of the image

341 views • 14 slides

10b Machine Learning: Symbol-based 10.0 Introduction 10.5 Knowledge and Learning 10.1 A

10b Machine Learning: Symbol-based 10.0 Introduction 10.5 Knowledge and Learning 10.1 A Framework for 10.6 Unsupervised Learning Symbol-based Learning 10.7 Reinforcement Learning 10.2 Version Space Search 10.8 Epilogue and 10.3 The

866 views • 50 slides

10a Machine Learning: Symbol-based 10.0 Introduction 10.5 Knowledge and Learning 10.1 A

10a Machine Learning: Symbol-based 10.0 Introduction 10.5 Knowledge and Learning 10.1 A Framework for 10.6 Unsupervised Learning Symbol-based Learning 10.7 Reinforcement Learning 10.2 Version Space Search 10.8 Epilogue and 10.3 The

935 views • 54 slides

10d Machine Learning: Symbol-based 10.0 Introduction 10.5 Knowledge and Learning 10.1 A

10d Machine Learning: Symbol-based 10.0 Introduction 10.5 Knowledge and Learning 10.1 A Framework for 10.6 Unsupervised Learning Symbol-based Learning 10.7 Reinforcement Learning 10.2 Version Space Search 10.8 Epilogue and 10.3 The

1.05k views • 29 slides

10c Machine Learning: Symbol-based 10.0 Introduction 10.5 Knowledge and Learning 10.1 A

10c Machine Learning: Symbol-based 10.0 Introduction 10.5 Knowledge and Learning 10.1 A Framework for 10.6 Unsupervised Learning Symbol-based Learning 10.7 Reinforcement Learning 10.2 Version Space Search 10.8 Epilogue and 10.3 The

605 views • 35 slides

Grammar A grammar consists of the following: CS 3813: Introduction to Formal a set of

Grammar A grammar consists of the following: CS 3813: Introduction to Formal a set of terminals (same as an alphabet) Languages and Automata a set NT of nonterminal symbols, including a starting symbol S NT a set R of

426 views • 4 slides

INF5110 Compiler Construction Spring 2017 1 / 45 Outline 1. Symbol tables Introduction

INF5110 Compiler Construction Spring 2017 1 / 45 Outline 1. Symbol tables Introduction Symbol table design and interface Implementing symbol tables Block-structure, scoping, binding, name-space organization Symbol tables as attributes

730 views • 45 slides

The K Framework and a Formal Semantics of C Chucky Ellison Traian Florin S , erb anut , a

The K Framework Semantics of C The K Framework and a Formal Semantics of C Chucky Ellison Traian Florin S , erb anut , a Grigore Ros , u University of Illinois MVD10 September 17, 2010 MVD10 Chucky Ellison The K Framework and

576 views • 35 slides