認識論理
認識論理（にんしきろんり、）は、様相論理の一種であり、知識についての推論を扱う。認識論は古代ギリシアにまで遡る哲学の主題の1つだが、認識論理は比較的最近のもので、哲学、理論計算機科学、人工知能、経済学、言語学など多数の分野に応用されている。アリストテレス以来、哲学者は様相論理を論じ、オッカムやドゥンス・スコトゥスがそれを発展させてきたが、認識論理を初めて体系的に定式化したのは C.I. Lewis であった（1912年）。その後発展していき、1963年にソール・クリプキによって今の形式が完成された。
1950年代には知識を扱う論理体系に関する論文が多数書かれたが、その元となったのは1951年に Georg Henrik von Wright が書いた論文 "An Essay in Modal Logic" である。1962年には、ヤーッコ・ヒンティッカの "Knowledge and Belief" が発表された。これは、知識の意味論を様相性で捉えることを示唆した最初の書籍である。これはそれまでの先人の築いたものの上に成り立っていたが、研究が本格化したのはこれ以降であった。例えばその後、認識論理に動的論理の考え方を導入することで公開的告知の論理 (public announcement logic) や product update logic が生まれ、会話における認識の微妙な点をモデル化しようとした。
知識をモデル化しようとする試みの多くは可能世界モデルに基づいている。そのためには、可能世界をエージェントの持つ知識と一致するものと一致しないものに分ける必要がある。本項目では論理に基づくアプローチを論じるが、もう1つ重要な手法として事象に基づくアプローチがある。その場合、事象は可能世界の集合であり、知識は事象に対する作用素である。2つのアプローチは戦略的には密接に関連するが、以下の2点が重要な違いとなっている。
一般に論理に基づくアプローチは哲学・論理学・人工知能で使われ、事象に基づくアプローチはゲーム理論や数理経済学で使われる。論理に基づくアプローチでは、以下で示すように、統語論と意味論は様相論理の言語を使って構築される。
認識論理の基本の様相作用素は、通常 "K" と表記され、「-ということが既知である」、「-ということが認識論的に必須である」、「-でないということは既知のことと一致しない」と解釈される。知識を表現すべきエージェントが複数存在する場合、作用素に添え字を付与し（formula_1、formula_2 など）、どのエージェントの知識を扱っているかを示す。したがって formula_3 は「エージェント formula_4 は formula_5 ということを知っている」と解釈される。以上のように認識論理は、知識表現に適用される多重様相論理の一種である。formula_6 と formula_7 の関係のように "K" と双対をなす作用素には決まった表記法がないが、formula_8 で表され、「formula_4 は formula_5 でないということを知らない」または「formula_4 は formula_5 という可能性を保持する」と解釈される。「formula_4 は formula_5 か否かを知らない」という文は formula_15 と表せる。
共有知識や分散知識を表現するには、さらに3種類の様相作用素を追加する。formula_16 は「グループ G に属する全エージェントが - を知っている」と解釈される。formula_17 は「- は G に属する全エージェントの共有知識である」と解釈される。formula_18 は「- は G に属する全エージェントの分散知識である」と解釈される。formula_5 をこの言語における論理式としたとき、formula_20 と formula_21 と formula_22 もこの言語の論理式である。formula_23 の添え字はエージェントが1つしかない場合には省略できるが、同様に formula_24、formula_25、formula_26 についても、全エージェントの集合となる唯一のグループしかない場合には添え字を省略できる。
先述した通り、論理に基づくアプローチは可能世界モデルに基づいて構築され、その意味論はクリプキ構造またはクリプキモデルの中で明確な形式を与えられる。formula_27 に対する "n" 個のエージェントについてのクリプキ構造 "M" はタプル formula_28 で表され、ここでの S は「状態」または「可能世界」の空でない集合、formula_29 は「解釈」（S に属する各状態と formula_27 に含まれる命題の真理値の対応）、formula_31 は "n" 個のエージェントについての S 上の二項関係である。なお、様相作用素 formula_32 とアクセス可能性関係 formula_33 は異なる概念である。
真理値を割り当てることで、命題 "p" がある状態で真か偽かを示す。したがって formula_34 により、モデル formula_35 において "s" という状態での "p" の真理値がわかる。真理値は構造にのみ依存するのではなく、現在の世界にも依存する。ある世界で真とされていることが別の世界でも真とは限らない。ある世界で論理式 formula_5 が真であることを示すには、formula_37 と記述し、「formula_5 は (M,s) で真である」または「(M,s) は formula_5 を満足する」などと解釈する。
二項関係 formula_33 は、エージェント "i" がその事象が可能だと考える世界や状態を捉えることを意味しているので、それを「可能性」関係と考えることもできる。また formula_33 は同値関係と考えることもでき、多くの応用ではそれが適切でもある。同値関係は反射的で対称的で推移的な二項関係である。アクセス可能性関係はそのような性質を持たないこともある。知識ではなく信念をモデル化する場合など、可能な選択が他にも確かに存在する。
formula_33 を同値関係と仮定し、エージェントの理解が完璧だと仮定したとき、知識のいくつかの属性を導出できる。以下の属性は「S5属性」と呼ばれる。
この公理は歴史的経緯から K と呼ばれている。認識論的に言えば、エージェントが formula_5 を知っていて formula_44 も知っているとき、そのエージェントは formula_45 も必ず知っているということになる。これを以下のように記述する。
formula_5 が妥当なら formula_48 が成り立つという属性も導出できる。これは、formula_5 が真なら、エージェント i が formula_5 を知っているという意味ではない。これが意味するのは、formula_5 がエージェントが考慮する全可能世界で真なら、そのエージェントは全可能世界で formula_5 を知っているはずだということである。
この公理は T と呼ばれている。すなわち、あるエージェントがある事実を知っているなら、その事実は真に違いないというものである。これは、知識と信念の大きな違いとされることが多い。偽である何かを信じることはできるが、偽である何かを「知る」ことはできない。
次の属性（負の内省公理）と共に、エージェントが自己の知識について内省を持つことを意味し、これらをそれぞれ 4 および 5 と呼ぶ。正の内省公理は KK 公理とも呼ばれ、エージェントは「自分が知っているということを知っている」("knows what they knows") ということを意味する。これまで挙げた公理に比べると自明ではなく、Timothy Williamson は著書 "Knowledge and Its Limits" の中でこれを公理に含めることに対して論駁している。
負の内省公理は、エージェントは「知らないということを知っている」ということを意味する。
これら公理のどの部分を採用するかによって様々な様相論理が導出され、採用した重要な公理を表す記号を付与して呼ばれるのが一般的である。ただし、常にそう呼ばれるわけではない。KT45 は K, T, 4, 5 および知識一般化公理を組み合わせた様相論理を意味し、S5と呼ばれることが多い。このため、上述したようにこれらの知識の属性をS5属性と呼ぶ。
認識論理は知識だけでなく信念も扱う。この場合の基本の様相作用素は "K" ではなく "B" と記述される。ただし、信念では上述の知識公理は成り立たない（エージェントが信じることが真とは限らない）。そこで、これを以下の一貫性公理で置換するのが一般的で、この公理を D と称する。
これはすなわち、エージェントが矛盾することを信じない、または偽と判断されることを信じない、ということを意味する。S5 において T を D で置換した体系は KD45 となる。この場合、formula_33 も異なる性質を持つ。例えば、あるエージェントが実際には真でないことを真であると「信じ」ている体系では、アクセス可能性関係は反射的でない。信念を扱う論理を信念論理（Doxastic logic）と呼ぶ。