知識一般化規則
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/05 09:21 UTC 版)
φ {\displaystyle \varphi } が妥当なら K i φ {\displaystyle K_{i}\varphi } が成り立つという属性も導出できる。これは、 φ {\displaystyle \varphi } が真なら、エージェント i が φ {\displaystyle \varphi } を知っているという意味ではない。これが意味するのは、 φ {\displaystyle \varphi } がエージェントが考慮する全可能世界で真なら、そのエージェントは全可能世界で φ {\displaystyle \varphi } を知っているはずだということである。 もし M ⊨ φ {\displaystyle M\models \varphi } なら M ⊨ K i φ {\displaystyle M\models K_{i}\varphi }
※この「知識一般化規則」の解説は、「認識論理」の解説の一部です。
「知識一般化規則」を含む「認識論理」の記事については、「認識論理」の概要を参照ください。
ウィキペディア小見出し辞書の「知識一般化規則」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 知識一般化規則のページへのリンク
