SlideShare a Scribd company logo
1 of 99
Inteligencia Artificial  Interpretación semántica  ,[object Object],[object Object]
CFG recognition using difference lists ,[object Object],[object Object],[object Object],[object Object]
CFG recognition using difference lists ,[object Object],[object Object],[object Object],[object Object]
CFG recognition using difference lists ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
CFG recognition using difference lists ,[object Object],[object Object],[object Object],s(X,Z) :- np(X,Y), vp(Y,Z).   np(X,Z) :- det(X,Y), n(Y,Z).   vp(X,Z) :-  v(X,Y), np(Y,Z).   vp(X,Z) :-  v(X,Z). det([the|W],W). det([a|W],W).   n([woman|W],W). n([man|W],W).   v([shoots|W],W).
CFG recognition using difference lists ,[object Object],[object Object],[object Object],[object Object],[object Object]
CFG recognition using difference lists ,[object Object],[object Object],[object Object],[object Object]
CFG recognition using difference lists ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
CFG recognition using difference lists ,[object Object],[object Object],[object Object],[object Object]
Formalismos de unificación ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Análisis gramatical con unificación ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Análisis gramatical con unificación ,[object Object],[object Object],[object Object],[object Object],el  gos  borda 1  2  3  4
Análisis gramatical con unificación ,[object Object],[object Object],[object Object],[object Object],[object Object],el  gos  borda 1  2  3  4
Análisis gramatical con unificación ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],el  gos  borda 1  2  3  4
Análisis gramatical con unificación ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],el  gos  borda 1  2  3  4
Análisis gramatical con unificación ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],el  gos  borda 1  2  3  4
Análisis semántico ,[object Object],[object Object],[object Object],[object Object]
Estrategias de análisis ,[object Object],[object Object],[object Object]
Interpretación secuencial ,[object Object],[object Object],[object Object],[object Object],[object Object]
Interpretación paralela ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Sistema de representación ,[object Object],[object Object],[object Object],[object Object],[object Object]
Sistema de representación ,[object Object],[object Object],[object Object]
Sistema de representación ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Sistema de representación ,[object Object],[object Object],[object Object],[object Object],S NP NAME Adrià VP V menja NP ART N bacallà el
La representación del significado: ejemplo ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
La representación del significado ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Posibles representaciones del significado ,[object Object],[object Object],[object Object]
Representaciones basadas en lógica ,[object Object],[object Object],[object Object],[object Object],[object Object]
Semántica y forma lógica ,[object Object],[object Object],[object Object],[object Object]
Semántica y forma lógica ,[object Object],[object Object],[object Object],[object Object]
Semántica y forma lógica ,[object Object],[object Object],[object Object],[object Object]
Semántica y forma lógica ,[object Object],[object Object],[object Object],[object Object]
Semántica y forma lógica ,[object Object],[object Object],[object Object],[object Object]
Semántica y forma lógica ,[object Object],[object Object],[object Object],[object Object]
Semántica y forma lógica ,[object Object],[object Object],[object Object],[object Object]
Semántica y forma lógica ,[object Object],[object Object],[object Object]
Semántica y forma lógica ,[object Object],[object Object]
Semántica y forma lógica ,[object Object],[object Object],[object Object],[object Object],[object Object],S NP VP V es ADJP ART N pelota la roja
Interpretación semántica: función de composición ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Función de composición: ejemplo
Función de composición: ejemplo
Gramáticas de cláusulas definidas (DCGs) ,[object Object],[object Object],[object Object]
Gramáticas de cláusulas definidas (DCGs): sintaxis ,[object Object],[object Object],[object Object]
Gramáticas de cláusulas definidas (DCGs): sintaxis ,[object Object],[object Object]
Gramáticas de cláusulas definidas (DCGs): ejemplo ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
What are definite clause grammars? ,[object Object],[object Object],[object Object]
DCGs ,[object Object],[object Object],[object Object]
DCGs ,[object Object],[object Object],[object Object]
DCGs ,[object Object],[object Object],[object Object],[object Object],[object Object]
DCGs ,[object Object],[object Object],[object Object],[object Object]
DCGs ,[object Object],[object Object],[object Object],[object Object]
DCGs ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
DCGs ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
DCGs ,[object Object],[object Object]
Separating rules and lexicon ,[object Object],[object Object],[object Object]
Separating rules and lexicon ,[object Object],[object Object],[object Object]
Separating rules and lexicon ,[object Object],[object Object],[object Object]
Separating rules and lexicon ,[object Object],[object Object],[object Object],[object Object]
Separating rules and lexicon ,[object Object],[object Object]
Separating rules and lexicon ,[object Object],[object Object],[object Object],[object Object]
Separating rules and lexicon ,[object Object],[object Object],[object Object]
Separating rules and lexicon ,[object Object],[object Object],[object Object]
Separating rules and lexicon ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Separating rules and lexicon ,[object Object],[object Object],[object Object]
Separating rules and lexicon ,[object Object],[object Object],[object Object]
Separating rules and lexicon ,[object Object],[object Object],[object Object]
Grammar 1: a trivial grammar for a fragment of language ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Grammar 1: a trivial grammar for a fragment of language ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Sentences for Grammar 1 ,[object Object],[object Object],[object Object],[object Object]
Grammar 2: restrictions in argument selection ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Grammar 2: restrictions in argument selection ,[object Object],[object Object],[object Object],[object Object],[object Object]
Grammar 2: restrictions in argument selection ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Grammar 2: restrictions in argument selection ,[object Object],[object Object],[object Object],[object Object],[object Object]
Sentences for Grammar 2 ,[object Object],[object Object],[object Object],[object Object]
Extension of Grammar 2 ,[object Object],[object Object],[object Object],[object Object],[object Object]
Grammar 3: logical representation of sentences ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Grammar 3: logical representation of sentences ,[object Object],[object Object],[object Object],[object Object],[object Object]
Grammar 3: logical representation of sentences ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Grammar 3: logical representation of sentences ,[object Object],[object Object],[object Object],[object Object],[object Object]
Grammar 3: logical representation of sentences ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Sentences for Grammar 3 ,[object Object],[object Object],[object Object],[object Object],[object Object]
Prolog input and output ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prolog input and output ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prolog input and output ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prolog input and output ,[object Object],[object Object],[object Object]
Grammar 4: quantification  ,[object Object],[object Object],[object Object],[object Object]
Grammar 4: quantification  ,[object Object],[object Object],[object Object]
Grammar 4: quantification  ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Grammar 4: quantification  ,[object Object],[object Object],[object Object],[object Object],[object Object]
Prolog input and output ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prolog input and output ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Prolog input and output ,[object Object],[object Object],[object Object]
Extension of Grammar 4 ,[object Object],[object Object]
Grammar 5: semantic constraints ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Nouns’ semantic categories ,[object Object],[object Object],[object Object],[object Object]
Nouns’ semantic categories ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Verbs’ semantic categories ,[object Object],[object Object],[object Object],[object Object]
Grammar 5: semantic constraints ,[object Object],[object Object],[object Object],[object Object],[object Object]
Grammar 5: semantic constraints ,[object Object],[object Object],[object Object]

More Related Content

What's hot

Jarrar.lecture notes.aai.2011s.ch8.fol.introduction
Jarrar.lecture notes.aai.2011s.ch8.fol.introductionJarrar.lecture notes.aai.2011s.ch8.fol.introduction
Jarrar.lecture notes.aai.2011s.ch8.fol.introduction
PalGov
 

What's hot (20)

Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...
Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...
Artificial Intelligence (AI) | Prepositional logic (PL)and first order predic...
 
Predlogic
PredlogicPredlogic
Predlogic
 
First order logic
First order logicFirst order logic
First order logic
 
First order predicate logic (fopl)
First order predicate logic (fopl)First order predicate logic (fopl)
First order predicate logic (fopl)
 
Jarrar.lecture notes.aai.2011s.ch8.fol.introduction
Jarrar.lecture notes.aai.2011s.ch8.fol.introductionJarrar.lecture notes.aai.2011s.ch8.fol.introduction
Jarrar.lecture notes.aai.2011s.ch8.fol.introduction
 
Introduction to logic and prolog - Part 1
Introduction to logic and prolog - Part 1Introduction to logic and prolog - Part 1
Introduction to logic and prolog - Part 1
 
Prolog basics
Prolog basicsProlog basics
Prolog basics
 
Artificial intelligence Prolog Language
Artificial intelligence Prolog LanguageArtificial intelligence Prolog Language
Artificial intelligence Prolog Language
 
prolog ppt
prolog pptprolog ppt
prolog ppt
 
10 logic+programming+with+prolog
10 logic+programming+with+prolog10 logic+programming+with+prolog
10 logic+programming+with+prolog
 
Predicate Calculus
Predicate CalculusPredicate Calculus
Predicate Calculus
 
Du Calcul des prédicats vers Prolog
Du Calcul des prédicats vers PrologDu Calcul des prédicats vers Prolog
Du Calcul des prédicats vers Prolog
 
Non Standard Logics & Modal Logics
Non Standard Logics & Modal LogicsNon Standard Logics & Modal Logics
Non Standard Logics & Modal Logics
 
PROLOG: Introduction To Prolog
PROLOG: Introduction To PrologPROLOG: Introduction To Prolog
PROLOG: Introduction To Prolog
 
Modal Logic
Modal LogicModal Logic
Modal Logic
 
Introduction to Prolog
Introduction to PrologIntroduction to Prolog
Introduction to Prolog
 
ProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) IntroductionProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) Introduction
 
Proof-Theoretic Semantics: Point-free meaninig of first-order systems
Proof-Theoretic Semantics: Point-free meaninig of first-order systemsProof-Theoretic Semantics: Point-free meaninig of first-order systems
Proof-Theoretic Semantics: Point-free meaninig of first-order systems
 
Sentient Arithmetic and Godel's Incompleteness Theorems
Sentient Arithmetic and Godel's Incompleteness TheoremsSentient Arithmetic and Godel's Incompleteness Theorems
Sentient Arithmetic and Godel's Incompleteness Theorems
 
PROLOG: Fact Roles And Queries In Prolog
PROLOG: Fact Roles And Queries In PrologPROLOG: Fact Roles And Queries In Prolog
PROLOG: Fact Roles And Queries In Prolog
 

Similar to Inteligencia artificial

A course on mathematical logic
A course on mathematical logicA course on mathematical logic
A course on mathematical logic
Springer
 
Propositional logic is a good vehicle to introduce basic properties of logic
Propositional logic is a good vehicle to introduce basic properties of logicPropositional logic is a good vehicle to introduce basic properties of logic
Propositional logic is a good vehicle to introduce basic properties of logic
pendragon6626
 
Special Topics on Functions, Sequences, and Series MAT117 .docx
 Special Topics on Functions, Sequences, and Series MAT117 .docx Special Topics on Functions, Sequences, and Series MAT117 .docx
Special Topics on Functions, Sequences, and Series MAT117 .docx
MARRY7
 

Similar to Inteligencia artificial (20)

Semantics
SemanticsSemantics
Semantics
 
AI Lab Manual.docx
AI Lab Manual.docxAI Lab Manual.docx
AI Lab Manual.docx
 
Systemic Functional Grammar
Systemic Functional Grammar Systemic Functional Grammar
Systemic Functional Grammar
 
Unit-4-Knowledge-representation.pdf
Unit-4-Knowledge-representation.pdfUnit-4-Knowledge-representation.pdf
Unit-4-Knowledge-representation.pdf
 
Lecture 7: Definite Clause Grammars
Lecture 7: Definite Clause GrammarsLecture 7: Definite Clause Grammars
Lecture 7: Definite Clause Grammars
 
Learning Morphological Rules for Amharic Verbs Using Inductive Logic Programming
Learning Morphological Rules for Amharic Verbs Using Inductive Logic ProgrammingLearning Morphological Rules for Amharic Verbs Using Inductive Logic Programming
Learning Morphological Rules for Amharic Verbs Using Inductive Logic Programming
 
A course on mathematical logic
A course on mathematical logicA course on mathematical logic
A course on mathematical logic
 
ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS)
ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS)ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS)
ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS)
 
AI-09 Logic in AI
AI-09 Logic in AIAI-09 Logic in AI
AI-09 Logic in AI
 
Propositional logic is a good vehicle to introduce basic properties of logic
Propositional logic is a good vehicle to introduce basic properties of logicPropositional logic is a good vehicle to introduce basic properties of logic
Propositional logic is a good vehicle to introduce basic properties of logic
 
Knowledge Extraction
Knowledge ExtractionKnowledge Extraction
Knowledge Extraction
 
Grammar Syntax(1).pptx
Grammar Syntax(1).pptxGrammar Syntax(1).pptx
Grammar Syntax(1).pptx
 
Predicate logic_2(Artificial Intelligence)
Predicate logic_2(Artificial Intelligence)Predicate logic_2(Artificial Intelligence)
Predicate logic_2(Artificial Intelligence)
 
Contexts 4 quantification (CommonSense2013)
Contexts 4 quantification (CommonSense2013)Contexts 4 quantification (CommonSense2013)
Contexts 4 quantification (CommonSense2013)
 
PROLOG: Recursion And Lists In Prolog
PROLOG: Recursion And Lists In PrologPROLOG: Recursion And Lists In Prolog
PROLOG: Recursion And Lists In Prolog
 
PROLOG: Recursion And Lists In Prolog
PROLOG: Recursion And Lists In PrologPROLOG: Recursion And Lists In Prolog
PROLOG: Recursion And Lists In Prolog
 
Special Topics on Functions, Sequences, and Series MAT117 .docx
 Special Topics on Functions, Sequences, and Series MAT117 .docx Special Topics on Functions, Sequences, and Series MAT117 .docx
Special Topics on Functions, Sequences, and Series MAT117 .docx
 
Artificial Intelligence_NLP
Artificial Intelligence_NLPArtificial Intelligence_NLP
Artificial Intelligence_NLP
 
AI UNIT-3 FINAL (1).pptx
AI UNIT-3 FINAL (1).pptxAI UNIT-3 FINAL (1).pptx
AI UNIT-3 FINAL (1).pptx
 
GDSC SSN - solution Challenge : Fundamentals of Decision Making
GDSC SSN - solution Challenge : Fundamentals of Decision MakingGDSC SSN - solution Challenge : Fundamentals of Decision Making
GDSC SSN - solution Challenge : Fundamentals of Decision Making
 

Recently uploaded

Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
ZurliaSoop
 

Recently uploaded (20)

How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17
 
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
 
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptxHMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
 
REMIFENTANIL: An Ultra short acting opioid.pptx
REMIFENTANIL: An Ultra short acting opioid.pptxREMIFENTANIL: An Ultra short acting opioid.pptx
REMIFENTANIL: An Ultra short acting opioid.pptx
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 
Towards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxTowards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptx
 
Interdisciplinary_Insights_Data_Collection_Methods.pptx
Interdisciplinary_Insights_Data_Collection_Methods.pptxInterdisciplinary_Insights_Data_Collection_Methods.pptx
Interdisciplinary_Insights_Data_Collection_Methods.pptx
 
Sociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning ExhibitSociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning Exhibit
 
Google Gemini An AI Revolution in Education.pptx
Google Gemini An AI Revolution in Education.pptxGoogle Gemini An AI Revolution in Education.pptx
Google Gemini An AI Revolution in Education.pptx
 
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdfUGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docx
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17
 
Graduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - EnglishGraduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - English
 
Food safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfFood safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdf
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdf
 
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptxCOMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdf
 
Application orientated numerical on hev.ppt
Application orientated numerical on hev.pptApplication orientated numerical on hev.ppt
Application orientated numerical on hev.ppt
 

Inteligencia artificial

  • 1.
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25.
  • 26.
  • 27.
  • 28.
  • 29.
  • 30.
  • 31.
  • 32.
  • 33.
  • 34.
  • 35.
  • 36.
  • 37.
  • 38.
  • 39.
  • 42.
  • 43.
  • 44.
  • 45.
  • 46.
  • 47.
  • 48.
  • 49.
  • 50.
  • 51.
  • 52.
  • 53.
  • 54.
  • 55.
  • 56.
  • 57.
  • 58.
  • 59.
  • 60.
  • 61.
  • 62.
  • 63.
  • 64.
  • 65.
  • 66.
  • 67.
  • 68.
  • 69.
  • 70.
  • 71.
  • 72.
  • 73.
  • 74.
  • 75.
  • 76.
  • 77.
  • 78.
  • 79.
  • 80.
  • 81.
  • 82.
  • 83.
  • 84.
  • 85.
  • 86.
  • 87.
  • 88.
  • 89.
  • 90.
  • 91.
  • 92.
  • 93.
  • 94.
  • 95.
  • 96.
  • 97.
  • 98.
  • 99.