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.
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
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?
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.
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
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!
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.
![[FULL EP.14] เซียนหรั่ง สอน มาร์ชจุ จับปูนา ฮากระจาย | เฮ็ดอย่างเซียนหรั่ง | One Playground](http://i.ytimg.com/vi/M8mPjd_T2lo/mqdefault.jpg)
![[LIVE] : ONE ลุมพินี 69 | คู่เอก "กุหลาบดำ vs นาบิล"](http://i.ytimg.com/vi/PNM6U8e_HMo/mqdefault.jpg)
This kind of videos make me question why I’m paying tuition
especially 14.000 pounds ...per year
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.
This should be correct. The video must be corrected.
Correct. Thanks. I'll put a note on it.
Thank you so much for these videos! This might save my exam tomorrow!
I own you my exam. You are my saviour. Best explanation ever!!!
why does this channel has only 8.01k subs!!..videos are awesome ty!
Perfect explanation .. Thanks
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
Super helpful thanks
nothing entails everything, soooooo deep
Thank you.....
excellent
thank you
Please add the presentation in the description box
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?
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.
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
thanks
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!
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
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?
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.
@@fiacobelli Thank you!
For 6, wrong if q = F and P = T
for 5, too.
18:01 isn't very clear