Artificial Intelligence
Artificial Intelligence
  • 72
  • 493 215
The Muddy Children Puzzle
The Muddy Children Puzzle
Переглядів: 6 789

Відео

Epistemic Logic
Переглядів 4,3 тис.8 років тому
Epistemic Logic
Autoepistemc Logic
Переглядів 1,9 тис.8 років тому
Autoepistemc Logic
Defaul Logic
Переглядів 4,8 тис.8 років тому
Defaul Logic
Circumscription in EC
Переглядів 1,2 тис.8 років тому
Circumscription in EC
Circumscription (contd)
Переглядів 1,2 тис.8 років тому
Circumscription (contd)
Event Calculus Revisited
Переглядів 1,4 тис.8 років тому
Event Calculus Revisited
Introduction.
Переглядів 2,1 тис.8 років тому
Introduction.
Circumscription
Переглядів 3,2 тис.8 років тому
Circumscription
Minimal Models
Переглядів 1,3 тис.8 років тому
Minimal Models
Inheritance Hierarchies:
Переглядів 1,5 тис.8 років тому
Inheritance Hierarchies:
Beliefs
Переглядів 1,2 тис.8 років тому
Beliefs
Taxonomies and Inheritance
Переглядів 1,4 тис.8 років тому
Taxonomies and Inheritance
The Resolution Method for FOL
Переглядів 2,6 тис.8 років тому
The Resolution Method for FOL
Natural Language Semantics
Переглядів 1,7 тис.8 років тому
Natural Language Semantics
The Cut Operator in Prolog
Переглядів 4,2 тис.8 років тому
The Cut Operator in Prolog
Resource Description Framework (RDF)
Переглядів 6 тис.8 років тому
Resource Description Framework (RDF)
The Event Calculus: Reasoning About Change
Переглядів 3,9 тис.8 років тому
The Event Calculus: Reasoning About Change
English to CD Theory
Переглядів 1,3 тис.8 років тому
English to CD Theory
Incompleteness
Переглядів 2 тис.8 років тому
Incompleteness
Logic Programming
Переглядів 4,6 тис.8 років тому
Logic Programming
Prolog
Переглядів 3,3 тис.8 років тому
Prolog
DL: ALC
Переглядів 3,2 тис.8 років тому
DL: ALC
Controlling Search
Переглядів 1,6 тис.8 років тому
Controlling Search
Goals, Plans and Actions
Переглядів 1 тис.8 років тому
Goals, Plans and Actions
Classification
Переглядів 1,6 тис.8 років тому
Classification
CD Theory (contd)
Переглядів 1,6 тис.8 років тому
CD Theory (contd)
Semantic Nets and Frames
Переглядів 11 тис.8 років тому
Semantic Nets and Frames
Reification and Abstract Entities
Переглядів 2,8 тис.8 років тому
Reification and Abstract Entities
Plan Applier Mechanism
Переглядів 8128 років тому
Plan Applier Mechanism

КОМЕНТАРІ

  • @yuva...
    @yuva... Місяць тому

    Sir ❤

  • @AaryanManyala
    @AaryanManyala Місяць тому

    who all are watching in 2024

  • @hendrixgryspeerdt2085
    @hendrixgryspeerdt2085 5 місяців тому

    14:29 should there be a second “there exists”x before the Q(x) on right hand side of the last formula?

  • @hendrixgryspeerdt2085
    @hendrixgryspeerdt2085 5 місяців тому

    This has absolutely blown my mind. I had no idea that this kind of proof method was possible. Thank you sir.

  • @TheAnuvs
    @TheAnuvs Рік тому

    Essentially useless

  • @AmanSingh-wq3xn
    @AmanSingh-wq3xn Рік тому

    nice sir

  • @SouvikFreakingDas
    @SouvikFreakingDas 2 роки тому

    is that the teacher at IIT !?????

  • @swatisachan9900
    @swatisachan9900 2 роки тому

    Excellent lectures, Very detailed.

  • @Irshadgbl
    @Irshadgbl 2 роки тому

    ua-cam.com/channels/dBufqFbamF48hdZ-dmSgnw.html 🍁🚀Make education easy learn more ❤️

  • @SouvikFreakingDas
    @SouvikFreakingDas 2 роки тому

    WHAT A WORST EXPLANATION......

  • @MrVipulLal
    @MrVipulLal 2 роки тому

    Great, but please add links to the videos you refer to!

  • @TechAndroJavaOfficial
    @TechAndroJavaOfficial 3 роки тому

    good explain sir

  • @StreetArtist360
    @StreetArtist360 3 роки тому

    Great lecture. I really enjoyed it. Thank you very much.

  • @analysisoftrends4758
    @analysisoftrends4758 3 роки тому

    Essentially

  • @analysisoftrends4758
    @analysisoftrends4758 3 роки тому

    Essentially

  • @lancelofjohn6995
    @lancelofjohn6995 3 роки тому

    Thank you ,professor

  • @arjunholmie
    @arjunholmie 3 роки тому

    Why is your audio so bad? Did not expect such poor quality editing from IIT Madras

  • @pm3250
    @pm3250 3 роки тому

    Essentially, essentially, essentially, essentially, essentially ......... !!!!!

  • @sakarsalunke3245
    @sakarsalunke3245 4 роки тому

    Best explanation

  • @dantevale0
    @dantevale0 4 роки тому

    This is not Search Methods for Problem Solving. This playlist is regarding Knowledge Representation.

  • @priyasingh9984
    @priyasingh9984 4 роки тому

    what is the meaning of implies symbol?

  • @priyasingh9984
    @priyasingh9984 4 роки тому

    at 25:48 min. what is the meaning of ((Q halfsemicircle R) how False Q and True R makes it true? what is the meaning of the semicircle, in truth table it wasnt told

    • @keshinishudan2536
      @keshinishudan2536 3 роки тому

      it is a special implication gate. Just as other gates such as AND, OR en.wikipedia.org/wiki/IMPLY_gate where F, T is equivalent to T. More detailed explanation ua-cam.com/video/xlUFkMKSB3Y/v-deo.html

  • @priyasingh9984
    @priyasingh9984 4 роки тому

    i wanted to understand semantics and syntactical.. so happy that i found it and understood in an easy way..

  • @hyunblee
    @hyunblee 4 роки тому

    No, this isn't a lecture for those who seek instant reward, write up few lines in tensorflow or pytorch and brag, "Ma, I did this". This is for those who really like doing AI and want to see it grow, passing on wisdom to new generation with all the best wishes. Guess, I becoming too poetic. Gem. all the way.

    • @mutapavan7811
      @mutapavan7811 3 роки тому

      just shut up and be nice atleast youre getting something on internet for free also u wont be able to explain the way he did

    • @analysisoftrends4758
      @analysisoftrends4758 3 роки тому

      Essentially

  • @waylonjepsen7730
    @waylonjepsen7730 4 роки тому

    Wonderful lecture, I am curious if the next one is available. I am a graduate student doing a project on epistemic temporal logic and information flow security.

  • @RhugvedChaudhari
    @RhugvedChaudhari 4 роки тому

    U are amazing sir

  • @saimanasaduri5345
    @saimanasaduri5345 4 роки тому

    solve some examples sir please

  • @jindagi_ka_safar
    @jindagi_ka_safar 4 роки тому

    Thanks Sir for the wonderful explanations

  • @williamsong2173
    @williamsong2173 5 років тому

    Why is not A <= B converted to ~ A U B == T?

  • @karan-lh8mj
    @karan-lh8mj 5 років тому

    Solve some examples please

  • @CyberneticOrganism01
    @CyberneticOrganism01 5 років тому

    Thanks you very much for this excellent explanation... essentially :) It's very helpful to me.

  • @spirutual-seeker
    @spirutual-seeker 6 років тому

    Sir You could share some material as why we need one such expert system. Why do we need a programming language like CLIPS?

  • @pranjalvarshney581
    @pranjalvarshney581 6 років тому

    shitty lecture

    • @donaldduck3731
      @donaldduck3731 5 років тому

      thats your opinion, it helped me to understand something about the method that the slides from my university did not explain. so there you go, professor Khemani - good job :)

  • @akbarshahdeshmukh7172
    @akbarshahdeshmukh7172 6 років тому

    Please reduce the volume of the start and end music and increase the volume of the lecture. It is extremely disturbing when the sound suddenly erupts in the end. The contents are awesome though! Great work sir! :)

  • @akbarshahdeshmukh7172
    @akbarshahdeshmukh7172 6 років тому

    Please reduce the volume of the start and end music and increase the volume of the lecture. It is extremely disturbing when the sound suddenly erupts in the end.

  • @akbarshahdeshmukh7172
    @akbarshahdeshmukh7172 6 років тому

    Please reduce the volume of the start and end music and increase the volume of the lecture. It is extremely disturbing when the sound suddenly erupts in the end.

  • @atlantacm
    @atlantacm 6 років тому

    Nicely explained Sir. Thank you.

  • @edpell437
    @edpell437 6 років тому

    Excellent talk, straight forward no hype.

  • @RIAANDAHIYAGAMING2015
    @RIAANDAHIYAGAMING2015 6 років тому

    really helpful

  • @abdelrazakhirsi5388
    @abdelrazakhirsi5388 6 років тому

    thanks for sharing .

  • @toofan9736
    @toofan9736 6 років тому

    Nice

  • @toofan9736
    @toofan9736 6 років тому

    Thanks Sir

  • @ashrafulalam2415
    @ashrafulalam2415 6 років тому

    Thanks sir

  • @bimalhaldar6986
    @bimalhaldar6986 6 років тому

    Thanks sir .

  • @minatibiswas8664
    @minatibiswas8664 6 років тому

    I greet you ,all teachers of NIOS and my study centre of Jamserpur in Karimpur.Minati Biswas from Bapujinagar of Nadia.

  • @minatibiswas8664
    @minatibiswas8664 6 років тому

    Thank you, sir and all teachers of NIOS and my colleague -Minku Mandal, Shanti Biswas, Ameo Sarkar, Ganga Sarkar.

  • @minatibiswas8664
    @minatibiswas8664 6 років тому

    I regularly attend the class and listen teaching attentively. But I'm sorry as I can't see in front of eye. Minati Biswas from Bapujinagar of Nadia.

  • @minatibiswas8664
    @minatibiswas8664 6 років тому

    Thank you, sir and all teachers of my study centre for good teaching. Minati Biswas from Bapujinagar of Nadia.

  • @minatibiswas8664
    @minatibiswas8664 6 років тому

    Thank you, sir. I listen your class attentively.

  • @toofan9736
    @toofan9736 6 років тому

    Thanks sir