公理
公理系
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/05 09:21 UTC 版)
これら公理のどの部分を採用するかによって様々な様相論理が導出され、採用した重要な公理を表す記号を付与して呼ばれるのが一般的である。ただし、常にそう呼ばれるわけではない。KT45 は K, T, 4, 5 および知識一般化公理を組み合わせた様相論理を意味し、S5と呼ばれることが多い。このため、上述したようにこれらの知識の属性をS5属性と呼ぶ。 認識論理は知識だけでなく信念も扱う。この場合の基本の様相作用素は K ではなく B と記述される。ただし、信念では上述の知識公理は成り立たない（エージェントが信じることが真とは限らない）。そこで、これを以下の一貫性公理で置換するのが一般的で、この公理を D と称する。 ¬ B i ⊥ {\displaystyle \neg B_{i}\bot } これはすなわち、エージェントが矛盾することを信じない、または偽と判断されることを信じない、ということを意味する。S5 において T を D で置換した体系は KD45 となる。この場合、 K i {\displaystyle {\mathcal {K}}_{i}} も異なる性質を持つ。例えば、あるエージェントが実際には真でないことを真であると「信じ」ている体系では、アクセス可能性関係は反射的でない。信念を扱う論理を信念論理（Doxastic logic）と呼ぶ。
※この「公理系」の解説は、「認識論理」の解説の一部です。
「公理系」を含む「認識論理」の記事については、「認識論理」の概要を参照ください。
ウィキペディア小見出し辞書の「公理系」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
「公理系」の例文・使い方・用例・文例
公理系と同じ種類の言葉
- 公理系のページへのリンク
