SlideShare a Scribd company logo
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

PDF
Semantics and Reasoning: for NLP, AI and ACT
PDF
Logic and Probabilistic Methods for Dialog
PDF
The importance of Being Erneast: Open datasets in Portuguese
PDF
Weapons of Math Construction
PDF
Structural and Distributional Meaning Representations
PDF
OWN-PT: Taking Stock
PPT
Ontologies and Semantics for Portuguese
PDF
Logics and Ontologies for Portuguese Understanding
Semantics and Reasoning: for NLP, AI and ACT
Logic and Probabilistic Methods for Dialog
The importance of Being Erneast: Open datasets in Portuguese
Weapons of Math Construction
Structural and Distributional Meaning Representations
OWN-PT: Taking Stock
Ontologies and Semantics for Portuguese
Logics and Ontologies for Portuguese Understanding

What's hot (6)

PDF
Seeing is Correcting:Linked Open Data for Portuguese
PDF
Natural Language Inference for Humans
PDF
Portuguese Linguistic Tools: What, Why and How
PPTX
Quality, and the 7Loci Meta-Model
PPS
Karel – Cooperation, Ethics and Dissemination Aspects
PDF
Lean Logic for Lean Times: Entailment and Contradiction Revisited
Seeing is Correcting:Linked Open Data for Portuguese
Natural Language Inference for Humans
Portuguese Linguistic Tools: What, Why and How
Quality, and the 7Loci Meta-Model
Karel – Cooperation, Ethics and Dissemination Aspects
Lean Logic for Lean Times: Entailment and Contradiction Revisited
Ad

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

PDF
Networked Mathematics: NLP tools for Better Science
PDF
Mobile Monday (October 2014) - Riding Global Tech Trends
PDF
Knowledge Engineering And Management By The Masses 17th International Confere...
ODP
F/L/OSS is Central to ICT Innovation
ODP
SESAM4 - A guide to semantics in the Linked Open Data cloud, Robert HP Engels...
PPT
The Archives Forum - The National Archives - 02 March 2011
PDF
An Infographic on My 25 Articles in Open Source For You Magazine
PDF
EOSC-synergy
PPTX
CreativiTIC - Presentation Business Brochure!
PPT
Linked Open Data and Ontotext Projects
PDF
frog POV: Now That Data is Everything
PDF
IC-SDV 2018 The International Conference on Search, Data and Text Mining and ...
PDF
EclipseCon 2010 Ask The AC Panel
PDF
Tish Shute - the next wave of AR
PPT
SURFconext: a next generation collaboration infrastructure across institution...
PDF
An Evaluation of the use of Audio Guidance in Augmented Reality Systems Imple...
PDF
AN EVALUATION OF THE USE OF AUDIO GUIDANCE IN AUGMENTED REALITY SYSTEMS IMPLE...
PDF
AN EVALUATION OF THE USE OF AUDIO GUIDANCE IN AUGMENTED REALITY SYSTEMS IMPLE...
PPTX
Intelligent Microcontent: At the Point of Content Convergence | Rob Hanna
PPTX
Webinar on technologies that will drive entrepreneurship
Networked Mathematics: NLP tools for Better Science
Mobile Monday (October 2014) - Riding Global Tech Trends
Knowledge Engineering And Management By The Masses 17th International Confere...
F/L/OSS is Central to ICT Innovation
SESAM4 - A guide to semantics in the Linked Open Data cloud, Robert HP Engels...
The Archives Forum - The National Archives - 02 March 2011
An Infographic on My 25 Articles in Open Source For You Magazine
EOSC-synergy
CreativiTIC - Presentation Business Brochure!
Linked Open Data and Ontotext Projects
frog POV: Now That Data is Everything
IC-SDV 2018 The International Conference on Search, Data and Text Mining and ...
EclipseCon 2010 Ask The AC Panel
Tish Shute - the next wave of AR
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...
Intelligent Microcontent: At the Point of Content Convergence | Rob Hanna
Webinar on technologies that will drive entrepreneurship
Ad

More from Valeria de Paiva (20)

PDF
Dialectica Comonoids
PDF
Dialectica Categorical Constructions
PDF
Logic & Representation 2021
PDF
Constructive Modal and Linear Logics
PDF
Dialectica Categories Revisited
PDF
PLN para Tod@s
PDF
Going Without: a modality and its role
PDF
Problemas de Kolmogorov-Veloso
PDF
Natural Language Inference: for Humans and Machines
PDF
Dialectica Petri Nets
PDF
Negation in the Ecumenical System
PDF
Constructive Modal and Linear Logics
PDF
NLCS 2013 opening slides
PDF
Dialectica Comonads
PDF
Categorical Explicit Substitutions
PDF
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
PDF
Dialectica and Kolmogorov Problems
PDF
Constructive Modalities
PDF
Gender Gap in Computing 2014
PDF
Categorical Proof Theory for Everyone
Dialectica Comonoids
Dialectica Categorical Constructions
Logic & Representation 2021
Constructive Modal and Linear Logics
Dialectica Categories Revisited
PLN para Tod@s
Going Without: a modality and its role
Problemas de Kolmogorov-Veloso
Natural Language Inference: for Humans and Machines
Dialectica Petri Nets
Negation in the Ecumenical System
Constructive Modal and Linear Logics
NLCS 2013 opening slides
Dialectica Comonads
Categorical Explicit Substitutions
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
Dialectica and Kolmogorov Problems
Constructive Modalities
Gender Gap in Computing 2014
Categorical Proof Theory for Everyone

Recently uploaded (20)

PPTX
Foundation to blockchain - A guide to Blockchain Tech
PPTX
Infosys Presentation by1.Riyan Bagwan 2.Samadhan Naiknavare 3.Gaurav Shinde 4...
PPTX
Engineering Ethics, Safety and Environment [Autosaved] (1).pptx
PDF
Mitigating Risks through Effective Management for Enhancing Organizational Pe...
PDF
Enhancing Cyber Defense Against Zero-Day Attacks using Ensemble Neural Networks
PPT
CRASH COURSE IN ALTERNATIVE PLUMBING CLASS
PDF
composite construction of structures.pdf
PPTX
additive manufacturing of ss316l using mig welding
PPTX
M Tech Sem 1 Civil Engineering Environmental Sciences.pptx
PPTX
OOP with Java - Java Introduction (Basics)
PDF
The CXO Playbook 2025 – Future-Ready Strategies for C-Suite Leaders Cerebrai...
PPTX
MET 305 2019 SCHEME MODULE 2 COMPLETE.pptx
PPTX
CARTOGRAPHY AND GEOINFORMATION VISUALIZATION chapter1 NPTE (2).pptx
PDF
Model Code of Practice - Construction Work - 21102022 .pdf
PPTX
CYBER-CRIMES AND SECURITY A guide to understanding
PPTX
Internet of Things (IOT) - A guide to understanding
PDF
Operating System & Kernel Study Guide-1 - converted.pdf
PDF
Embodied AI: Ushering in the Next Era of Intelligent Systems
PPTX
Construction Project Organization Group 2.pptx
PDF
SM_6th-Sem__Cse_Internet-of-Things.pdf IOT
Foundation to blockchain - A guide to Blockchain Tech
Infosys Presentation by1.Riyan Bagwan 2.Samadhan Naiknavare 3.Gaurav Shinde 4...
Engineering Ethics, Safety and Environment [Autosaved] (1).pptx
Mitigating Risks through Effective Management for Enhancing Organizational Pe...
Enhancing Cyber Defense Against Zero-Day Attacks using Ensemble Neural Networks
CRASH COURSE IN ALTERNATIVE PLUMBING CLASS
composite construction of structures.pdf
additive manufacturing of ss316l using mig welding
M Tech Sem 1 Civil Engineering Environmental Sciences.pptx
OOP with Java - Java Introduction (Basics)
The CXO Playbook 2025 – Future-Ready Strategies for C-Suite Leaders Cerebrai...
MET 305 2019 SCHEME MODULE 2 COMPLETE.pptx
CARTOGRAPHY AND GEOINFORMATION VISUALIZATION chapter1 NPTE (2).pptx
Model Code of Practice - Construction Work - 21102022 .pdf
CYBER-CRIMES AND SECURITY A guide to understanding
Internet of Things (IOT) - A guide to understanding
Operating System & Kernel Study Guide-1 - converted.pdf
Embodied AI: Ushering in the Next Era of Intelligent Systems
Construction Project Organization Group 2.pptx
SM_6th-Sem__Cse_Internet-of-Things.pdf IOT

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