SLIDE 1
1
AI and NLP 2
- This course focuses on:
- automatic methods for reasoning about the
knowledge represented into
- ontologies and
- large-scale knowledge-bases.
Automatic Reasoning Paqui Lucio, Montserrat Hermo and German Rigau - - PowerPoint PPT Presentation
Automatic Reasoning Paqui Lucio, Montserrat Hermo and German Rigau - - PowerPoint PPT Presentation
Automatic Reasoning Paqui Lucio, Montserrat Hermo and German Rigau MSIA / HAP LoRea / IXA 1 Automatic Reasoning Setting This course focuses on: automatic methods for reasoning about the knowledge represented into ontologies and
SLIDE 2
SLIDE 3
AI and NLP 3
- Introduction
- Ontologies and Large-scale KB (German)
- Deductive reasoning (Paqui, Javier)
- Inductive reasoning (Montse)
- Abductive reasoning (German)
- Conclusions
Automatic Reasoning
Outline
SLIDE 4
AI and NLP 4
Automatic Reasoning
Outline
A -> B A B
SLIDE 5
AI and NLP 5
Automatic Reasoning
Outline
A -> B A B A -> B A ? ? A B A -> B ? B Deduction Induction Abduction
SLIDE 6
6