![]() Therefore he does not believe that a car is coming. These rules are very useful for helping computer systems (such as autonomous vehicles) reason about the beliefs of other entities (“If John believed a car was coming, he would not cross the road. if John believes P, then John believes that he believes P.if John believes both P and ( P implies Q), then John believes Q.if P is any tautology, then John believes P.Since beliefs are specific to some believing person, I am replacing the modal operator □ with Ⓙ which is intended to be read as “John believes” (hence the J in the circle):įor those who prefer words rather than symbols: The main difference is that beliefs need not be true. We can capture this concept using the 3 rules of K4 modal logic, which are in fact identical to the first 3 rules for necessary truth. ![]() I would like to follow up on that by discussing doxastic logic, the logic of belief. Recently, I posted about necessary truth.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |