Artificial Intelligence: Knowledge Representation and Reasoning

Artificial Intelligence: Knowledge Representation and Reasoning

Artificial Intelligence via YouTube Direct link

Controlling Search

37 of 72

37 of 72

Controlling Search

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Artificial Intelligence: Knowledge Representation and Reasoning

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Introduction
  2. 2 Introduction to Knowledge Representation and Reasoning
  3. 3 An Introduction to Formal Logics
  4. 4 Propositional Logic: Language, Semantics and Reasoning
  5. 5 Propositional Logic: Syntax and Truth Values
  6. 6 Propositional Logic: Valid Arguments and Proof Systems
  7. 7 Propositional Logic: Rules of Inference and Natural Deduction
  8. 8 Propositional Logic: Axiomatic Systems and Hilbert Style Proofs
  9. 9 Propositional Logic: The Tableau Method
  10. 10 Propositional Logic: The Resolution Refutation Method
  11. 11 Syntax
  12. 12 Semantics
  13. 13 Entailment and Models
  14. 14 Forward Chaining
  15. 15 Unification
  16. 16 Proof Systems
  17. 17 Forward Chaining Rule Based Systems
  18. 18 The Rete Algorithm
  19. 19 Rete Algorithm - Example
  20. 20 The OPS5 Expert System Shell
  21. 21 Programming in a Rule Based Language
  22. 22 Skolemization
  23. 23 Terminological Facts
  24. 24 Properties and Categories
  25. 25 Reification and Abstract Entities
  26. 26 The Event Calculus: Reasoning About Change
  27. 27 Resource Description Framework (RDF)
  28. 28 Natural Language Semantics
  29. 29 CD Theory
  30. 30 CD Theory (contd)
  31. 31 English to CD Theory
  32. 32 Natural Language Semantics
  33. 33 Backward Chaining
  34. 34 Logic Programming
  35. 35 Prolog
  36. 36 Search in Prolog
  37. 37 Controlling Search
  38. 38 The Cut Operator in Prolog
  39. 39 Incompleteness
  40. 40 M7 Lec 2 - The Resolution Refutation method for First Order Logic
  41. 41 Clause Form
  42. 42 FOL with Equality
  43. 43 Complexity of Resolution Refutation
  44. 44 The Resolution Method for FOL
  45. 45 Semantic Nets and Frames
  46. 46 Scripts
  47. 47 Applying Scripts
  48. 48 Goals, Plans and Actions
  49. 49 Plan Applier Mechanism
  50. 50 Top Down and Bottom Up Reasoning
  51. 51 Introduction
  52. 52 Normalisation
  53. 53 Structure Matching
  54. 54 Structure Matching - Example
  55. 55 Classification
  56. 56 A-box reasoning
  57. 57 DL: Extensions
  58. 58 DL: ALC
  59. 59 ALC examples
  60. 60 Taxonomies and Inheritance
  61. 61 Beliefs
  62. 62 Inheritance Hierarchies:
  63. 63 Event Calculus Revisited
  64. 64 Minimal Models
  65. 65 Circumscription (contd)
  66. 66 Circumscription
  67. 67 Introduction.
  68. 68 Circumscription in EC
  69. 69 Autoepistemc Logic
  70. 70 Defaul Logic
  71. 71 The Muddy Children Puzzle
  72. 72 Epistemic Logic

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.