SlideShare a Scribd company logo
1 of 18
Download to read offline
1/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Semantics and Reasoning:
for NLP, AI and ACT
Valeria de Paiva
Ada Lovelace Day 2021
October 2021
1 / 16
2/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Topos Institute
Presumably you know about NLP and AI.
We should talk ACT = Applied Category Theory some other time
2 / 16
3/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Personal stories
I’m a mathematician, an AI scientist, and a computational
semanticist.
I work in Silicon Valley, have done so for the last 22 years, applying
pure mathematics to computing, in surprising ways.
3 / 16
4/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Personal stories
4 / 16
5/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Samsung Research America (2019-2020)
Dialogue and Knowledge Representation Lab, SRA, CA
make Bixby (S’s voice personal assistant) communicate with
home appliances by SmartThings
Samsung acquired Viv (2nd assistant by Siri people) in Oct
2016, had acquired SmartThings in 2014, need to integrate
stacks, grow Bixby
SmartThings: leading open platform for the smart home and
the consumer Internet of Things.
projects: ontology of smart devices, based on WikiData,
costumer-facing functionality. manufacturers cannot win alone,
consumers need manufacturers to talk to each other
5 / 16
6/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Nuance Communications (2012-2018)
AI and NLP Lab in Sunnyvale
Nuance: best voice recognition software system in 2012, add
AI to make sounds into knowledge. big effort in several labs:
Montreal, Boston, Sunnyvale. application areas: health
systems, automotive, law, CRM, banks, insurance, etc
our lab projects: personal assistant for Living Room (TV 2nd
screen), PA for automotive companies
Building small smartness into conventional search, e.g. ‘find
allergy medication near me’
projects: voice interfaces for non-profits, student enquiries, ..
6 / 16
7/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Rearden Commerce (2011-2012)
AI/KR Lab in Foster City, CA
a white-labelling shop for travel and expenses/procurement
systems. application areas: air travel tickets, hotels, shows &
sports, restaurants, ground transportation, parking, etc
our lab project: a Groupon-like app as RC acquired HomeRun
Using ontologies to discover what hotel reviewers really valued
projects: extend WikiData for Brazilian cultural data, for DHBB,
for ‘skills sets’, for music, literature, etc
7 / 16
8/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Cuil (2008-2010)
Start-up search company in Menlo Park
a Google-competitor created by ex-googlers
all sorts of tasks, from baby-sitting servers to dealing with
users
Learning to rank algorithms
PARC Forum talk: Adventures in Searchland (in youtube)
https://www.npr.org/templates/story/
story.php?storyId=92983118&ft=1&f=1001
projects: timelines in Portuguese, fake news detection
8 / 16
9/16
Introduction
Industry
PARC, XLE, Bridge
Applications
PARC, XLE and Bridge
9 / 16
10/16
Introduction
Industry
PARC, XLE, Bridge
Applications
How to think about Conversational Assistants?
10 / 16
11/16
Introduction
Industry
PARC, XLE, Bridge
Applications
How to think about Conversational Assistants?
11 / 16
12/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Several Conversational Assistants: applications
(AI Summit 2018, Luxembourg)
12 / 16
13/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Several Conversational Assistants
13 / 16
14/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Natural Language Inference (NLI)
Shock: work of almost nine years at PARC was out of reach
when I left in 2008
I gave a talk at SRI proposing to redo it all, open source
(Bridges, ENTCS2011)
Pleased to report that almost all of it is now available
open-source, redone from scratch, using new techniques
Katerina Kalouli, Assistant Professor at LMU Munich,
GKR/Hy-NLI Demo:
https://cis.lmu.de/~kalouli/resources.html
14 / 16
15/16
Introduction
Industry
PARC, XLE, Bridge
Applications
A lot of work together:
Kalouli, Buis, Real, Palmer, de Paiva Explaining Simple
Natural Language Inference. LAW 2019
Kalouli, Crouch, de Paiva, Real. Graph Knowledge
Representations for SICK. NLCS, 2018.
Kalouli, Real, de Paiva. WordNet for Easy Textual Inferences.
Globalex Workshop, LREC 2018
Kalouli, Real, de Paiva. Correcting Contradictions. 2017.
Kalouli, Real, de Paiva. Textual Inference: getting logic from
humans. 2017.
(‘Annotation Difficulties in Natural Language Inference’ to appear
STIL 2021.)
15 / 16
15/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Wait! What about Portuguese?
OWN-PT browser:
http://openwordnet-pt.org
sources in GitHub
https://github.com/own-pt
15 / 16
16/16
Introduction
Industry
PARC, XLE, Bridge
Applications
Wait! What about Portuguese?
15 joint papers about nominalizations, OWN-PT, UD, temporal
phenomena, etc.
Papers:
0. SICK-BR. PROPOR 2018
1. Making Virtue Of Necessity: a Verb Lexicon. In PROPOR2016
2. Semantic Links For Portuguese. LREC 2016.
3. Plurality in Wordnets. 2016
4. Universal POS Tagging for Portuguese: Issues and Opportunities. 2016
5. Gentle With Gentilics. LREC 2016
6. An Overview of Portuguese WordNets. In Global Wordnet Conference 2016.
7. Seeing Is Correcting: Curating Lexical Resources Using Social Interfaces. LDL 2015.
8. As Wordnets Do Português. Oslo Studies In Language 7 (1)
9. Extending NomLex-PT Using AnCora-Nom. 2014
10. Improving The Verb Lexicon of OpenWordnet-PT. 2014
11. Extending a Lexicon Of Portuguese Nominalizations with Data from Corpora.
12. NomLex-PT: A Lexicon Of Portuguese Nominalizations.
13. Embedding NomLex-BR Nominalizations into OpenWordnet-PT.
14. OpenWordNet-PT: A Project Report.
16 / 16
16/16
Introduction
Industry
PARC, XLE, Bridge
Applications
My website:
http://vcvpaiva.github.io/index.html
Semantics Demos:
https://cis.lmu.de/~kalouli/resources.html
Thanks!
16 / 16

More Related Content

What's hot

Seeing is Correcting:Linked Open Data for Portuguese
Seeing is Correcting:Linked Open Data for PortugueseSeeing is Correcting:Linked Open Data for Portuguese
Seeing is Correcting:Linked Open Data for PortugueseValeria de Paiva
 
Natural Language Inference for Humans
Natural Language Inference for HumansNatural Language Inference for Humans
Natural Language Inference for HumansValeria de Paiva
 
Portuguese Linguistic Tools: What, Why and How
Portuguese Linguistic Tools: What, Why and HowPortuguese Linguistic Tools: What, Why and How
Portuguese Linguistic Tools: What, Why and HowValeria de Paiva
 
Quality, and the 7Loci Meta-Model
Quality, and the 7Loci Meta-ModelQuality, and the 7Loci Meta-Model
Quality, and the 7Loci Meta-ModelRoberto Peretta
 
Karel – Cooperation, Ethics and Dissemination Aspects
Karel – Cooperation, Ethics and Dissemination AspectsKarel – Cooperation, Ethics and Dissemination Aspects
Karel – Cooperation, Ethics and Dissemination AspectsMihai Agape
 
Lean Logic for Lean Times: Entailment and Contradiction Revisited
Lean Logic for Lean Times: Entailment and Contradiction RevisitedLean Logic for Lean Times: Entailment and Contradiction Revisited
Lean Logic for Lean Times: Entailment and Contradiction RevisitedValeria de Paiva
 

What's hot (6)

Seeing is Correcting:Linked Open Data for Portuguese
Seeing is Correcting:Linked Open Data for PortugueseSeeing is Correcting:Linked Open Data for Portuguese
Seeing is Correcting:Linked Open Data for Portuguese
 
Natural Language Inference for Humans
Natural Language Inference for HumansNatural Language Inference for Humans
Natural Language Inference for Humans
 
Portuguese Linguistic Tools: What, Why and How
Portuguese Linguistic Tools: What, Why and HowPortuguese Linguistic Tools: What, Why and How
Portuguese Linguistic Tools: What, Why and How
 
Quality, and the 7Loci Meta-Model
Quality, and the 7Loci Meta-ModelQuality, and the 7Loci Meta-Model
Quality, and the 7Loci Meta-Model
 
Karel – Cooperation, Ethics and Dissemination Aspects
Karel – Cooperation, Ethics and Dissemination AspectsKarel – Cooperation, Ethics and Dissemination Aspects
Karel – Cooperation, Ethics and Dissemination Aspects
 
Lean Logic for Lean Times: Entailment and Contradiction Revisited
Lean Logic for Lean Times: Entailment and Contradiction RevisitedLean Logic for Lean Times: Entailment and Contradiction Revisited
Lean Logic for Lean Times: Entailment and Contradiction Revisited
 

Similar to Semantics and Reasoning for NLP, AI and ACT

Networked Mathematics: NLP tools for Better Science
Networked Mathematics: NLP tools for Better ScienceNetworked Mathematics: NLP tools for Better Science
Networked Mathematics: NLP tools for Better ScienceValeria de Paiva
 
Mobile Monday (October 2014) - Riding Global Tech Trends
Mobile Monday (October 2014) - Riding Global Tech TrendsMobile Monday (October 2014) - Riding Global Tech Trends
Mobile Monday (October 2014) - Riding Global Tech TrendsMobile Monday Yangon
 
F/L/OSS is Central to ICT Innovation
F/L/OSS is Central to ICT InnovationF/L/OSS is Central to ICT Innovation
F/L/OSS is Central to ICT InnovationFrancois Letellier
 
SESAM4 - A guide to semantics in the Linked Open Data cloud, Robert HP Engels...
SESAM4 - A guide to semantics in the Linked Open Data cloud, Robert HP Engels...SESAM4 - A guide to semantics in the Linked Open Data cloud, Robert HP Engels...
SESAM4 - A guide to semantics in the Linked Open Data cloud, Robert HP Engels...The Research Council of Norway, IKTPLUSS
 
The Archives Forum - The National Archives - 02 March 2011
The Archives Forum - The National Archives - 02 March 2011The Archives Forum - The National Archives - 02 March 2011
The Archives Forum - The National Archives - 02 March 2011David F. Flanders
 
An Infographic on My 25 Articles in Open Source For You Magazine
An Infographic on My 25 Articles in Open Source For You Magazine An Infographic on My 25 Articles in Open Source For You Magazine
An Infographic on My 25 Articles in Open Source For You Magazine Dr. K.S. Kuppu Samy
 
CreativiTIC - Presentation Business Brochure!
CreativiTIC - Presentation Business Brochure!CreativiTIC - Presentation Business Brochure!
CreativiTIC - Presentation Business Brochure!Jorge R. López Benito
 
frog POV: Now That Data is Everything
frog POV: Now That Data is Everythingfrog POV: Now That Data is Everything
frog POV: Now That Data is Everythingfrog
 
IC-SDV 2018 The International Conference on Search, Data and Text Mining and ...
IC-SDV 2018 The International Conference on Search, Data and Text Mining and ...IC-SDV 2018 The International Conference on Search, Data and Text Mining and ...
IC-SDV 2018 The International Conference on Search, Data and Text Mining and ...Dr. Haxel Consult
 
EclipseCon 2010 Ask The AC Panel
EclipseCon 2010 Ask The AC PanelEclipseCon 2010 Ask The AC Panel
EclipseCon 2010 Ask The AC Panelmoberhuber
 
SURFconext: a next generation collaboration infrastructure across institution...
SURFconext: a next generation collaboration infrastructure across institution...SURFconext: a next generation collaboration infrastructure across institution...
SURFconext: a next generation collaboration infrastructure across institution...University of Amsterdam
 
AN EVALUATION OF THE USE OF AUDIO GUIDANCE IN AUGMENTED REALITY SYSTEMS IMPLE...
AN EVALUATION OF THE USE OF AUDIO GUIDANCE IN AUGMENTED REALITY SYSTEMS IMPLE...AN EVALUATION OF THE USE OF AUDIO GUIDANCE IN AUGMENTED REALITY SYSTEMS IMPLE...
AN EVALUATION OF THE USE OF AUDIO GUIDANCE IN AUGMENTED REALITY SYSTEMS IMPLE...ijma
 
An Evaluation of the use of Audio Guidance in Augmented Reality Systems Imple...
An Evaluation of the use of Audio Guidance in Augmented Reality Systems Imple...An Evaluation of the use of Audio Guidance in Augmented Reality Systems Imple...
An Evaluation of the use of Audio Guidance in Augmented Reality Systems Imple...ijma
 
Intelligent Microcontent: At the Point of Content Convergence | Rob Hanna
Intelligent Microcontent: At the Point of Content Convergence | Rob HannaIntelligent Microcontent: At the Point of Content Convergence | Rob Hanna
Intelligent Microcontent: At the Point of Content Convergence | Rob HannaLavaConConference
 
Webinar on technologies that will drive entrepreneurship
Webinar on technologies that will drive entrepreneurshipWebinar on technologies that will drive entrepreneurship
Webinar on technologies that will drive entrepreneurshipmechselva49
 
kuijper 201012 - iippsw-sra-xmas2010
kuijper 201012 - iippsw-sra-xmas2010kuijper 201012 - iippsw-sra-xmas2010
kuijper 201012 - iippsw-sra-xmas2010Michiel Kuijper
 
The Next Wave of AR: Mobile Social Interaction Right Here, Right Now!
The Next Wave of AR: Mobile Social Interaction Right Here, Right Now!The Next Wave of AR: Mobile Social Interaction Right Here, Right Now!
The Next Wave of AR: Mobile Social Interaction Right Here, Right Now!Tish Shute
 

Similar to Semantics and Reasoning for NLP, AI and ACT (20)

Networked Mathematics: NLP tools for Better Science
Networked Mathematics: NLP tools for Better ScienceNetworked Mathematics: NLP tools for Better Science
Networked Mathematics: NLP tools for Better Science
 
Mobile Monday (October 2014) - Riding Global Tech Trends
Mobile Monday (October 2014) - Riding Global Tech TrendsMobile Monday (October 2014) - Riding Global Tech Trends
Mobile Monday (October 2014) - Riding Global Tech Trends
 
F/L/OSS is Central to ICT Innovation
F/L/OSS is Central to ICT InnovationF/L/OSS is Central to ICT Innovation
F/L/OSS is Central to ICT Innovation
 
SESAM4 - A guide to semantics in the Linked Open Data cloud, Robert HP Engels...
SESAM4 - A guide to semantics in the Linked Open Data cloud, Robert HP Engels...SESAM4 - A guide to semantics in the Linked Open Data cloud, Robert HP Engels...
SESAM4 - A guide to semantics in the Linked Open Data cloud, Robert HP Engels...
 
The Archives Forum - The National Archives - 02 March 2011
The Archives Forum - The National Archives - 02 March 2011The Archives Forum - The National Archives - 02 March 2011
The Archives Forum - The National Archives - 02 March 2011
 
An Infographic on My 25 Articles in Open Source For You Magazine
An Infographic on My 25 Articles in Open Source For You Magazine An Infographic on My 25 Articles in Open Source For You Magazine
An Infographic on My 25 Articles in Open Source For You Magazine
 
EOSC-synergy
EOSC-synergyEOSC-synergy
EOSC-synergy
 
CreativiTIC - Presentation Business Brochure!
CreativiTIC - Presentation Business Brochure!CreativiTIC - Presentation Business Brochure!
CreativiTIC - Presentation Business Brochure!
 
Linked Open Data and Ontotext Projects
Linked Open Data and Ontotext ProjectsLinked Open Data and Ontotext Projects
Linked Open Data and Ontotext Projects
 
frog POV: Now That Data is Everything
frog POV: Now That Data is Everythingfrog POV: Now That Data is Everything
frog POV: Now That Data is Everything
 
IC-SDV 2018 The International Conference on Search, Data and Text Mining and ...
IC-SDV 2018 The International Conference on Search, Data and Text Mining and ...IC-SDV 2018 The International Conference on Search, Data and Text Mining and ...
IC-SDV 2018 The International Conference on Search, Data and Text Mining and ...
 
EclipseCon 2010 Ask The AC Panel
EclipseCon 2010 Ask The AC PanelEclipseCon 2010 Ask The AC Panel
EclipseCon 2010 Ask The AC Panel
 
Tish Shute - the next wave of AR
Tish Shute - the next wave of ARTish Shute - the next wave of AR
Tish Shute - the next wave of AR
 
SURFconext: a next generation collaboration infrastructure across institution...
SURFconext: a next generation collaboration infrastructure across institution...SURFconext: a next generation collaboration infrastructure across institution...
SURFconext: a next generation collaboration infrastructure across institution...
 
AN EVALUATION OF THE USE OF AUDIO GUIDANCE IN AUGMENTED REALITY SYSTEMS IMPLE...
AN EVALUATION OF THE USE OF AUDIO GUIDANCE IN AUGMENTED REALITY SYSTEMS IMPLE...AN EVALUATION OF THE USE OF AUDIO GUIDANCE IN AUGMENTED REALITY SYSTEMS IMPLE...
AN EVALUATION OF THE USE OF AUDIO GUIDANCE IN AUGMENTED REALITY SYSTEMS IMPLE...
 
An Evaluation of the use of Audio Guidance in Augmented Reality Systems Imple...
An Evaluation of the use of Audio Guidance in Augmented Reality Systems Imple...An Evaluation of the use of Audio Guidance in Augmented Reality Systems Imple...
An Evaluation of the use of Audio Guidance in Augmented Reality Systems Imple...
 
Intelligent Microcontent: At the Point of Content Convergence | Rob Hanna
Intelligent Microcontent: At the Point of Content Convergence | Rob HannaIntelligent Microcontent: At the Point of Content Convergence | Rob Hanna
Intelligent Microcontent: At the Point of Content Convergence | Rob Hanna
 
Webinar on technologies that will drive entrepreneurship
Webinar on technologies that will drive entrepreneurshipWebinar on technologies that will drive entrepreneurship
Webinar on technologies that will drive entrepreneurship
 
kuijper 201012 - iippsw-sra-xmas2010
kuijper 201012 - iippsw-sra-xmas2010kuijper 201012 - iippsw-sra-xmas2010
kuijper 201012 - iippsw-sra-xmas2010
 
The Next Wave of AR: Mobile Social Interaction Right Here, Right Now!
The Next Wave of AR: Mobile Social Interaction Right Here, Right Now!The Next Wave of AR: Mobile Social Interaction Right Here, Right Now!
The Next Wave of AR: Mobile Social Interaction Right Here, Right Now!
 

More from Valeria de Paiva

Dialectica Categorical Constructions
Dialectica Categorical ConstructionsDialectica Categorical Constructions
Dialectica Categorical ConstructionsValeria de Paiva
 
Logic & Representation 2021
Logic & Representation 2021Logic & Representation 2021
Logic & Representation 2021Valeria de Paiva
 
Constructive Modal and Linear Logics
Constructive Modal and Linear LogicsConstructive Modal and Linear Logics
Constructive Modal and Linear LogicsValeria de Paiva
 
Dialectica Categories Revisited
Dialectica Categories RevisitedDialectica Categories Revisited
Dialectica Categories RevisitedValeria de Paiva
 
Going Without: a modality and its role
Going Without: a modality and its roleGoing Without: a modality and its role
Going Without: a modality and its roleValeria de Paiva
 
Problemas de Kolmogorov-Veloso
Problemas de Kolmogorov-VelosoProblemas de Kolmogorov-Veloso
Problemas de Kolmogorov-VelosoValeria de Paiva
 
Natural Language Inference: for Humans and Machines
Natural Language Inference: for Humans and MachinesNatural Language Inference: for Humans and Machines
Natural Language Inference: for Humans and MachinesValeria de Paiva
 
Negation in the Ecumenical System
Negation in the Ecumenical SystemNegation in the Ecumenical System
Negation in the Ecumenical SystemValeria de Paiva
 
Constructive Modal and Linear Logics
Constructive Modal and Linear LogicsConstructive Modal and Linear Logics
Constructive Modal and Linear LogicsValeria de Paiva
 
Categorical Explicit Substitutions
Categorical Explicit SubstitutionsCategorical Explicit Substitutions
Categorical Explicit SubstitutionsValeria de Paiva
 
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)Valeria de Paiva
 
Dialectica and Kolmogorov Problems
Dialectica and Kolmogorov ProblemsDialectica and Kolmogorov Problems
Dialectica and Kolmogorov ProblemsValeria de Paiva
 
Gender Gap in Computing 2014
Gender Gap in Computing 2014Gender Gap in Computing 2014
Gender Gap in Computing 2014Valeria de Paiva
 
Categorical Proof Theory for Everyone
Categorical Proof Theory for EveryoneCategorical Proof Theory for Everyone
Categorical Proof Theory for EveryoneValeria de Paiva
 

More from Valeria de Paiva (20)

Dialectica Comonoids
Dialectica ComonoidsDialectica Comonoids
Dialectica Comonoids
 
Dialectica Categorical Constructions
Dialectica Categorical ConstructionsDialectica Categorical Constructions
Dialectica Categorical Constructions
 
Logic & Representation 2021
Logic & Representation 2021Logic & Representation 2021
Logic & Representation 2021
 
Constructive Modal and Linear Logics
Constructive Modal and Linear LogicsConstructive Modal and Linear Logics
Constructive Modal and Linear Logics
 
Dialectica Categories Revisited
Dialectica Categories RevisitedDialectica Categories Revisited
Dialectica Categories Revisited
 
PLN para Tod@s
PLN para Tod@sPLN para Tod@s
PLN para Tod@s
 
Going Without: a modality and its role
Going Without: a modality and its roleGoing Without: a modality and its role
Going Without: a modality and its role
 
Problemas de Kolmogorov-Veloso
Problemas de Kolmogorov-VelosoProblemas de Kolmogorov-Veloso
Problemas de Kolmogorov-Veloso
 
Natural Language Inference: for Humans and Machines
Natural Language Inference: for Humans and MachinesNatural Language Inference: for Humans and Machines
Natural Language Inference: for Humans and Machines
 
Dialectica Petri Nets
Dialectica Petri NetsDialectica Petri Nets
Dialectica Petri Nets
 
Negation in the Ecumenical System
Negation in the Ecumenical SystemNegation in the Ecumenical System
Negation in the Ecumenical System
 
Constructive Modal and Linear Logics
Constructive Modal and Linear LogicsConstructive Modal and Linear Logics
Constructive Modal and Linear Logics
 
NLCS 2013 opening slides
NLCS 2013 opening slidesNLCS 2013 opening slides
NLCS 2013 opening slides
 
Dialectica Comonads
Dialectica ComonadsDialectica Comonads
Dialectica Comonads
 
Categorical Explicit Substitutions
Categorical Explicit SubstitutionsCategorical Explicit Substitutions
Categorical Explicit Substitutions
 
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
 
Dialectica and Kolmogorov Problems
Dialectica and Kolmogorov ProblemsDialectica and Kolmogorov Problems
Dialectica and Kolmogorov Problems
 
Constructive Modalities
Constructive ModalitiesConstructive Modalities
Constructive Modalities
 
Gender Gap in Computing 2014
Gender Gap in Computing 2014Gender Gap in Computing 2014
Gender Gap in Computing 2014
 
Categorical Proof Theory for Everyone
Categorical Proof Theory for EveryoneCategorical Proof Theory for Everyone
Categorical Proof Theory for Everyone
 

Recently uploaded

Gfe Mayur Vihar Call Girls Service WhatsApp -> 9999965857 Available 24x7 ^ De...
Gfe Mayur Vihar Call Girls Service WhatsApp -> 9999965857 Available 24x7 ^ De...Gfe Mayur Vihar Call Girls Service WhatsApp -> 9999965857 Available 24x7 ^ De...
Gfe Mayur Vihar Call Girls Service WhatsApp -> 9999965857 Available 24x7 ^ De...srsj9000
 
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdfCCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdfAsst.prof M.Gokilavani
 
Artificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptxArtificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptxbritheesh05
 
An experimental study in using natural admixture as an alternative for chemic...
An experimental study in using natural admixture as an alternative for chemic...An experimental study in using natural admixture as an alternative for chemic...
An experimental study in using natural admixture as an alternative for chemic...Chandu841456
 
EduAI - E learning Platform integrated with AI
EduAI - E learning Platform integrated with AIEduAI - E learning Platform integrated with AI
EduAI - E learning Platform integrated with AIkoyaldeepu123
 
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptxDecoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptxJoão Esperancinha
 
Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...VICTOR MAESTRE RAMIREZ
 
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube ExchangerStudy on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube ExchangerAnamika Sarkar
 
pipeline in computer architecture design
pipeline in computer architecture  designpipeline in computer architecture  design
pipeline in computer architecture designssuser87fa0c1
 
Call Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile serviceCall Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile servicerehmti665
 
DATA ANALYTICS PPT definition usage example
DATA ANALYTICS PPT definition usage exampleDATA ANALYTICS PPT definition usage example
DATA ANALYTICS PPT definition usage examplePragyanshuParadkar1
 
Effects of rheological properties on mixing
Effects of rheological properties on mixingEffects of rheological properties on mixing
Effects of rheological properties on mixingviprabot1
 
Call Us ≽ 8377877756 ≼ Call Girls In Shastri Nagar (Delhi)
Call Us ≽ 8377877756 ≼ Call Girls In Shastri Nagar (Delhi)Call Us ≽ 8377877756 ≼ Call Girls In Shastri Nagar (Delhi)
Call Us ≽ 8377877756 ≼ Call Girls In Shastri Nagar (Delhi)dollysharma2066
 
Introduction to Machine Learning Unit-3 for II MECH
Introduction to Machine Learning Unit-3 for II MECHIntroduction to Machine Learning Unit-3 for II MECH
Introduction to Machine Learning Unit-3 for II MECHC Sai Kiran
 
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort serviceGurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort servicejennyeacort
 
Past, Present and Future of Generative AI
Past, Present and Future of Generative AIPast, Present and Future of Generative AI
Past, Present and Future of Generative AIabhishek36461
 
INFLUENCE OF NANOSILICA ON THE PROPERTIES OF CONCRETE
INFLUENCE OF NANOSILICA ON THE PROPERTIES OF CONCRETEINFLUENCE OF NANOSILICA ON THE PROPERTIES OF CONCRETE
INFLUENCE OF NANOSILICA ON THE PROPERTIES OF CONCRETEroselinkalist12
 

Recently uploaded (20)

POWER SYSTEMS-1 Complete notes examples
POWER SYSTEMS-1 Complete notes  examplesPOWER SYSTEMS-1 Complete notes  examples
POWER SYSTEMS-1 Complete notes examples
 
Gfe Mayur Vihar Call Girls Service WhatsApp -> 9999965857 Available 24x7 ^ De...
Gfe Mayur Vihar Call Girls Service WhatsApp -> 9999965857 Available 24x7 ^ De...Gfe Mayur Vihar Call Girls Service WhatsApp -> 9999965857 Available 24x7 ^ De...
Gfe Mayur Vihar Call Girls Service WhatsApp -> 9999965857 Available 24x7 ^ De...
 
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdfCCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
 
Artificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptxArtificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptx
 
An experimental study in using natural admixture as an alternative for chemic...
An experimental study in using natural admixture as an alternative for chemic...An experimental study in using natural admixture as an alternative for chemic...
An experimental study in using natural admixture as an alternative for chemic...
 
9953056974 Call Girls In South Ex, Escorts (Delhi) NCR.pdf
9953056974 Call Girls In South Ex, Escorts (Delhi) NCR.pdf9953056974 Call Girls In South Ex, Escorts (Delhi) NCR.pdf
9953056974 Call Girls In South Ex, Escorts (Delhi) NCR.pdf
 
EduAI - E learning Platform integrated with AI
EduAI - E learning Platform integrated with AIEduAI - E learning Platform integrated with AI
EduAI - E learning Platform integrated with AI
 
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptxDecoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
 
Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...
 
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube ExchangerStudy on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
 
pipeline in computer architecture design
pipeline in computer architecture  designpipeline in computer architecture  design
pipeline in computer architecture design
 
Call Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile serviceCall Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile service
 
DATA ANALYTICS PPT definition usage example
DATA ANALYTICS PPT definition usage exampleDATA ANALYTICS PPT definition usage example
DATA ANALYTICS PPT definition usage example
 
Effects of rheological properties on mixing
Effects of rheological properties on mixingEffects of rheological properties on mixing
Effects of rheological properties on mixing
 
Call Us ≽ 8377877756 ≼ Call Girls In Shastri Nagar (Delhi)
Call Us ≽ 8377877756 ≼ Call Girls In Shastri Nagar (Delhi)Call Us ≽ 8377877756 ≼ Call Girls In Shastri Nagar (Delhi)
Call Us ≽ 8377877756 ≼ Call Girls In Shastri Nagar (Delhi)
 
Design and analysis of solar grass cutter.pdf
Design and analysis of solar grass cutter.pdfDesign and analysis of solar grass cutter.pdf
Design and analysis of solar grass cutter.pdf
 
Introduction to Machine Learning Unit-3 for II MECH
Introduction to Machine Learning Unit-3 for II MECHIntroduction to Machine Learning Unit-3 for II MECH
Introduction to Machine Learning Unit-3 for II MECH
 
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort serviceGurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
 
Past, Present and Future of Generative AI
Past, Present and Future of Generative AIPast, Present and Future of Generative AI
Past, Present and Future of Generative AI
 
INFLUENCE OF NANOSILICA ON THE PROPERTIES OF CONCRETE
INFLUENCE OF NANOSILICA ON THE PROPERTIES OF CONCRETEINFLUENCE OF NANOSILICA ON THE PROPERTIES OF CONCRETE
INFLUENCE OF NANOSILICA ON THE PROPERTIES OF CONCRETE
 

Semantics and Reasoning for NLP, AI and ACT

  • 1. 1/16 Introduction Industry PARC, XLE, Bridge Applications Semantics and Reasoning: for NLP, AI and ACT Valeria de Paiva Ada Lovelace Day 2021 October 2021 1 / 16
  • 2. 2/16 Introduction Industry PARC, XLE, Bridge Applications Topos Institute Presumably you know about NLP and AI. We should talk ACT = Applied Category Theory some other time 2 / 16
  • 3. 3/16 Introduction Industry PARC, XLE, Bridge Applications Personal stories I’m a mathematician, an AI scientist, and a computational semanticist. I work in Silicon Valley, have done so for the last 22 years, applying pure mathematics to computing, in surprising ways. 3 / 16
  • 5. 5/16 Introduction Industry PARC, XLE, Bridge Applications Samsung Research America (2019-2020) Dialogue and Knowledge Representation Lab, SRA, CA make Bixby (S’s voice personal assistant) communicate with home appliances by SmartThings Samsung acquired Viv (2nd assistant by Siri people) in Oct 2016, had acquired SmartThings in 2014, need to integrate stacks, grow Bixby SmartThings: leading open platform for the smart home and the consumer Internet of Things. projects: ontology of smart devices, based on WikiData, costumer-facing functionality. manufacturers cannot win alone, consumers need manufacturers to talk to each other 5 / 16
  • 6. 6/16 Introduction Industry PARC, XLE, Bridge Applications Nuance Communications (2012-2018) AI and NLP Lab in Sunnyvale Nuance: best voice recognition software system in 2012, add AI to make sounds into knowledge. big effort in several labs: Montreal, Boston, Sunnyvale. application areas: health systems, automotive, law, CRM, banks, insurance, etc our lab projects: personal assistant for Living Room (TV 2nd screen), PA for automotive companies Building small smartness into conventional search, e.g. ‘find allergy medication near me’ projects: voice interfaces for non-profits, student enquiries, .. 6 / 16
  • 7. 7/16 Introduction Industry PARC, XLE, Bridge Applications Rearden Commerce (2011-2012) AI/KR Lab in Foster City, CA a white-labelling shop for travel and expenses/procurement systems. application areas: air travel tickets, hotels, shows & sports, restaurants, ground transportation, parking, etc our lab project: a Groupon-like app as RC acquired HomeRun Using ontologies to discover what hotel reviewers really valued projects: extend WikiData for Brazilian cultural data, for DHBB, for ‘skills sets’, for music, literature, etc 7 / 16
  • 8. 8/16 Introduction Industry PARC, XLE, Bridge Applications Cuil (2008-2010) Start-up search company in Menlo Park a Google-competitor created by ex-googlers all sorts of tasks, from baby-sitting servers to dealing with users Learning to rank algorithms PARC Forum talk: Adventures in Searchland (in youtube) https://www.npr.org/templates/story/ story.php?storyId=92983118&ft=1&f=1001 projects: timelines in Portuguese, fake news detection 8 / 16
  • 10. 10/16 Introduction Industry PARC, XLE, Bridge Applications How to think about Conversational Assistants? 10 / 16
  • 11. 11/16 Introduction Industry PARC, XLE, Bridge Applications How to think about Conversational Assistants? 11 / 16
  • 12. 12/16 Introduction Industry PARC, XLE, Bridge Applications Several Conversational Assistants: applications (AI Summit 2018, Luxembourg) 12 / 16
  • 14. 14/16 Introduction Industry PARC, XLE, Bridge Applications Natural Language Inference (NLI) Shock: work of almost nine years at PARC was out of reach when I left in 2008 I gave a talk at SRI proposing to redo it all, open source (Bridges, ENTCS2011) Pleased to report that almost all of it is now available open-source, redone from scratch, using new techniques Katerina Kalouli, Assistant Professor at LMU Munich, GKR/Hy-NLI Demo: https://cis.lmu.de/~kalouli/resources.html 14 / 16
  • 15. 15/16 Introduction Industry PARC, XLE, Bridge Applications A lot of work together: Kalouli, Buis, Real, Palmer, de Paiva Explaining Simple Natural Language Inference. LAW 2019 Kalouli, Crouch, de Paiva, Real. Graph Knowledge Representations for SICK. NLCS, 2018. Kalouli, Real, de Paiva. WordNet for Easy Textual Inferences. Globalex Workshop, LREC 2018 Kalouli, Real, de Paiva. Correcting Contradictions. 2017. Kalouli, Real, de Paiva. Textual Inference: getting logic from humans. 2017. (‘Annotation Difficulties in Natural Language Inference’ to appear STIL 2021.) 15 / 16
  • 16. 15/16 Introduction Industry PARC, XLE, Bridge Applications Wait! What about Portuguese? OWN-PT browser: http://openwordnet-pt.org sources in GitHub https://github.com/own-pt 15 / 16
  • 17. 16/16 Introduction Industry PARC, XLE, Bridge Applications Wait! What about Portuguese? 15 joint papers about nominalizations, OWN-PT, UD, temporal phenomena, etc. Papers: 0. SICK-BR. PROPOR 2018 1. Making Virtue Of Necessity: a Verb Lexicon. In PROPOR2016 2. Semantic Links For Portuguese. LREC 2016. 3. Plurality in Wordnets. 2016 4. Universal POS Tagging for Portuguese: Issues and Opportunities. 2016 5. Gentle With Gentilics. LREC 2016 6. An Overview of Portuguese WordNets. In Global Wordnet Conference 2016. 7. Seeing Is Correcting: Curating Lexical Resources Using Social Interfaces. LDL 2015. 8. As Wordnets Do Português. Oslo Studies In Language 7 (1) 9. Extending NomLex-PT Using AnCora-Nom. 2014 10. Improving The Verb Lexicon of OpenWordnet-PT. 2014 11. Extending a Lexicon Of Portuguese Nominalizations with Data from Corpora. 12. NomLex-PT: A Lexicon Of Portuguese Nominalizations. 13. Embedding NomLex-BR Nominalizations into OpenWordnet-PT. 14. OpenWordNet-PT: A Project Report. 16 / 16
  • 18. 16/16 Introduction Industry PARC, XLE, Bridge Applications My website: http://vcvpaiva.github.io/index.html Semantics Demos: https://cis.lmu.de/~kalouli/resources.html Thanks! 16 / 16