SLIDE 1
a formal framework for the symbol grounding problem benjamin - - PowerPoint PPT Presentation
a formal framework for the symbol grounding problem benjamin - - PowerPoint PPT Presentation
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
SLIDE 2
SLIDE 3
wiffme_blag
SLIDE 4
“how can the semantic interpretation of a formal symbol system be made intrinsic to the system, rather than just parasitic
- n the meanings in our heads?”
SLIDE 5
what kinds of reasoning can be performed by systems constrained by different representational criteria?
SLIDE 6
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
SLIDE 7
CFSIR SIR UR NF ISR DR
context-free semantically interpretable representation semantically interpretable representation iconic and symbolic representation distributed representation unconstrained representation non-formal
SLIDE 8
pet_mouse mickey_mouse computer_mouse
context-free semantically interpretable representation
SLIDE 9
c(animal,mouse) c(disney,mouse) c(device,mouse)
semantically interpretable representation
SLIDE 10
iconic and symbolic representation
SLIDE 11
distributed representation
SLIDE 12
unconstrained representation
SLIDE 13
non-formal
SLIDE 14
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
SLIDE 15
¬SIR ~ I ν ISR ~ I
SLIDE 16