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  large-scale knowledge-bases. AI and NLP 2

Automatic Reasoning Outline  Introduction  Ontologies and Large-scale KB (German)  Deductive reasoning (Paqui, Javier)  Inductive reasoning (Montse)  Abductive reasoning (German)  Conclusions AI and NLP 3

Automatic Reasoning Outline A -> B A B AI and NLP 4

Automatic Reasoning Outline A -> B A B A -> B ? A -> B ? A A B B ? Deduction Induction Abduction AI and NLP 5

Automatic Reasoning Paqui Lucio, Montserrat Hermo and German Rigau MSIA / HAP LoRea / IXA 6