knowledge base agents (logical) and a bit of entailment

[@visintel]

This kind of videos make me question why I’m paying tuition

[@kama8213]

especially 14.000 pounds ...per year

[@thomaspfann8373]

7:12 you make a mistake! you don't move from 2,1 to 2,2 to 1,2,. That would mean leaving the location of the pit up to chance. However you move from 2,1 back to 1,1 to 1,2 to see if there is a breeze there. If so, the pit is at 2,2. If not then the pit has to be at 3,1.

[@swethajuluru2515]

This should be correct. The video must be corrected.

[@fiacobelli]

Correct. Thanks. I'll put a note on it.

[@ArminBishop]

I own you my exam. You are my saviour. Best explanation ever!!!

[@gondalasatvarsh5892]

Thank you so much for these videos! This might save my exam tomorrow!

[@caydanphoenix9067]

why does this channel has only 8.01k subs!!..videos are awesome ty!

[@MohamedSeifKHENNAOUI]

Why would there be a chance of a pit in cell [1,2] if it's not adjacent to the actual pit in cell [2,1]?

[@shahdjaouni3024]

Perfect explanation .. Thanks

[@dmitryponyatov2158]

Are any tutorials or methods exists on making semantic analysis and logic inference systems build atop of message passing between actors (agents)? The message passing between objects is extra scalable and power computing technology can work over giant distributed computer networks. In fact, it is a present future of computing. But a very few two good tutorials I found on implementing prolog-like systems (*) does not cover message-based parallelism in inference. (*) Warren's Abstract Machine & Yield Prolog

[@ultru3525]

15:00 5 doesn't seem right to me, if p = True, q = False, r = True, then (p ⇔ q) ∨ r is True, but q ⇒ p is False, so that's a model where α is True but β is False. Maybe the unmatched paren at the end was supposed to be a question mark like in 6?

[@Tassdo]

ultru If q is False then q => p is True no matter what p is. I know it is strange but that is how classical logic works. These strange things are part of the reason why the intuistic logic movement started.

[@default1405]

that example is wrong but not in the set u said but , when p= false ,q = true , r = true then (p ↔ q) ∨ r will be true but q->p will be false which would make α as True but β as False

[@theembrase186]

Please add the presentation in the description box

[@ericbaptista536]

Could you explain the difference between entails and implies In you example (x = 0) entails (xy = 0) - Can't "implies" be applied here as well?

[@fiacobelli]

Entails is more of a set operator than a logic operator. Whenever the logic expression on the left is true, the expression on the right must algo be true. Then"entails" is true. Implies, on the other hand, can be true when both sides are false.

[@ericbaptista536]

@@fiacobelli Thank you!

[@airsoftdude0]

Super helpful thanks

[@namphan9317]

may i ask for the slides you're using in the videos? mine was similar to you but it was all over the place and i can't keep up with it. Thanks in advance!

[@caiminhchanh3583]

tui đang học US thấy slide cũng gần như này,ông cần thì ib facebook tui gửi cho

[@senny3140]

nothing entails everything, soooooo deep

[@kennethleecruz]

excellent

[@osunkoyaopeoluwa8102]

For 6, wrong if q = F and P = T

[@yaseen1478]

for 5, too.

[@mohammadaxel1889]

thanks

[@tarannum7619]

18:01 isn't very clear

[@lamya1q]

Thank you.....

[@maxkwok7853]

thank you