NOC:Artificial Intelligence: Knowledge Representation (USB)

Special Price ₹760.00 Regular Price ₹950.00
In stock
SKU
106106140



Media Storage Type : 32 GB USB Stick

NPTEL Subject Matter Expert : Prof. Deepak Khemani

NPTEL Co-ordinating Institute : IIT Madras

NPTEL Lecture Count : 70

NPTEL Course Size : 17 GB

NPTEL PDF Text Transcription : Available and Included

NPTEL Subtitle Transcription : Available and Included (SRT)


Lecture Titles:

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

Write Your Own Review
You're reviewing:NOC:Artificial Intelligence: Knowledge Representation (USB)
Copyright © 2019 LinuXpert Systems, Chennai. All rights reserved.