認識論理のソースを表示

{{脚注の不足|date=2020年12月}}
'''認識論理'''（にんしきろんり、{{lang-en-short|Epistemic logic}}）は、[[様相論理学|様相論理]]の一種であり、[[知識]]についての推論を扱う。[[認識論]]は[[古代ギリシア]]にまで遡る哲学の主題の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'' と表記され、「-ということが既知である」、「-ということが認識論的に必須である」、「-でないということは既知のことと一致しない」と解釈される。知識を表現すべきエージェントが複数存在する場合、作用素に添え字を付与し（<math>\mathit{K}_1</math>、<math>\mathit{K}_2</math> など）、どのエージェントの知識を扱っているかを示す。したがって <math>K_a \varphi</math> は「エージェント <math>a</math> は <math>\varphi</math> ということを知っている」と解釈される。以上のように認識論理は、[[知識表現]]に適用される[[多重様相論理]]の一種である<ref>p. 257 in: {{cite book |last=Ferenczi |first=Miklós |title=Matematikai logika |publisher=Műszaki könyvkiadó |location=Budapest |date=2002年 |language=Hungarian |isbn=963 16 2870 1}}
: 257</ref>。<math>\Diamond</math> と <math>\Box</math> の関係のように ''K'' と双対をなす作用素には決まった表記法がないが、<math>\neg K_a \neg \varphi</math> で表され、「<math>a</math> は <math>\varphi</math> でないということを知らない」または「<math>a</math> は <math>\varphi</math> という可能性を保持する」と解釈される。「<math>a</math> は <math>\varphi</math> か否かを知らない」という文は <math>\neg K_a\varphi \land \neg K_a\neg\varphi</math> と表せる。

[[共有知識]]や[[分散知識]]を表現するには、さらに3種類の様相作用素を追加する。<math>\mathit{E}_\mathit{G}</math> は「グループ G に属する全エージェントが - を知っている」と解釈される。<math>\mathit{C}_\mathit{G}</math> は「- は G に属する全エージェントの共有知識である」と解釈される。<math>\mathit{D}_\mathit{G}</math> は「- は G に属する全エージェントの分散知識である」と解釈される。<math>\varphi</math> をこの言語における論理式としたとき、<math>\mathit{E}_G \varphi</math> と <math>\mathit{C}_G \varphi</math> と <math>\mathit{D}_G \varphi</math> もこの言語の論理式である。<math>\mathit{K}</math> の添え字はエージェントが1つしかない場合には省略できるが、同様に <math>\mathit{E}</math>、<math>\mathit{C}</math>、<math>\mathit{D}</math> についても、全エージェントの集合となる唯一のグループしかない場合には添え字を省略できる。

=== 意味論 ===
先述した通り、論理に基づくアプローチは可能世界モデルに基づいて構築され、その意味論はクリプキ構造またはクリプキモデルの中で明確な形式を与えられる。<math>\Phi</math> に対する ''n'' 個のエージェントについてのクリプキ構造 ''M'' はタプル <math>(S, \pi, \mathcal{K}_1, ..., \mathcal{K}_n)</math> で表され、ここでの S は「状態」または「可能世界」の空でない集合、<math>\pi</math> は「解釈」（S に属する各状態と <math>\Phi</math> に含まれる命題の真理値の対応）、<math>\mathcal{K}_1, ..., \mathcal{K}_n</math> は ''n'' 個のエージェントについての S 上の[[二項関係]]である。なお、様相作用素 <math>K_i</math> とアクセス可能性関係 <math>\mathcal{K}_i</math> は異なる概念である。

真理値を割り当てることで、命題 ''p'' がある状態で真か偽かを示す。したがって <math>\pi (s)(p)</math> により、モデル <math>\mathcal{M}</math> において ''s'' という状態での ''p'' の真理値がわかる。真理値は構造にのみ依存するのではなく、現在の世界にも依存する。ある世界で真とされていることが別の世界でも真とは限らない。ある世界で論理式 <math>\varphi</math> が真であることを示すには、<math>(M,s) \models \varphi</math> と記述し、「<math>\varphi</math> は (M,s) で真である」または「(M,s) は <math>\varphi</math> を満足する」などと解釈する。

二項関係 <math>\mathcal{K}_i</math> は、エージェント ''i'' がその事象が可能だと考える世界や状態を捉えることを意味しているので、それを「可能性」関係と考えることもできる。また <math>\mathcal{K}_i</math> は[[同値関係]]と考えることもでき、多くの応用ではそれが適切でもある。同値関係は[[反射関係|反射的]]で[[対称関係|対称的]]で[[推移関係|推移的]]な二項関係である。アクセス可能性関係はそのような性質を持たないこともある。知識ではなく信念をモデル化する場合など、可能な選択が他にも確かに存在する。

== 知識の属性 ==
<math>\mathcal{K}_i</math> を同値関係と仮定し、エージェントの理解が完璧だと仮定したとき、知識のいくつかの属性を導出できる。以下の属性は「S5属性」と呼ばれる。

=== 周延公理 ===
この公理は歴史的経緯から '''K''' と呼ばれている。認識論的に言えば、エージェントが <math>\varphi</math> を知っていて <math>\varphi \implies \psi</math> も知っているとき、そのエージェントは <math>\psi</math> も必ず知っているということになる。これを以下のように記述する。

: <math>(K_i\varphi \land K_i(\varphi \implies \psi)) \implies K_i\psi</math>

=== 知識一般化規則 ===
<math>\varphi</math> が[[妥当性|妥当]]なら <math>K_i\varphi</math> が成り立つという属性も導出できる。これは、<math>\varphi</math> が真なら、エージェント i が <math>\varphi</math> を知っているという意味ではない。これが意味するのは、<math>\varphi</math> がエージェントが考慮する全可能世界で真なら、そのエージェントは全可能世界で <math>\varphi</math> を知っているはずだということである。

: もし <math>M \models \varphi</math> なら <math>M \models K_i \varphi</math>

ここで<math>M \models \varphi</math>は任意の<math>s \in S</math>について<math>(M, s) \models \varphi</math>となることを表す。

=== 知識公理または真理公理 ===
この公理は '''T''' と呼ばれている。すなわち、あるエージェントがある事実を知っているなら、その事実は真に違いないというものである。これは、知識と信念の大きな違いとされることが多い。偽である何かを信じることはできるが、偽である何かを「知る」ことはできない。

: <math>K_i \varphi \implies \varphi</math>

=== 正の内省公理 ===
次の属性（負の内省公理）と共に、エージェントが自己の知識について内省を持つことを意味し、これらをそれぞれ '''4''' および '''5''' と呼ぶ。正の内省公理は KK 公理とも呼ばれ、エージェントは「自分が知っているということを知っている」('''''k'''nows what they '''k'''nows'') ということを意味する。これまで挙げた公理に比べると自明ではなく、Timothy Williamson は著書 ''Knowledge and Its Limits'' の中でこれを公理に含めることに対して論駁している。

: <math>K_i \varphi \implies K_i K_i \varphi</math>

=== 負の内省公理 ===
負の内省公理は、エージェントは「知らないということを知っている」ということを意味する。

: <math>\neg K_i \varphi \implies K_i \neg K_i \varphi</math>

=== 公理系 ===
これら公理のどの部分を採用するかによって様々な様相論理が導出され、採用した重要な公理を表す記号を付与して呼ばれるのが一般的である。ただし、常にそう呼ばれるわけではない。KT45 は '''K''', '''T''', '''4''', '''5''' および知識一般化公理を組み合わせた様相論理を意味し、[[S5 (様相論理)|S5]]と呼ばれることが多い。このため、上述したようにこれらの知識の属性をS5属性と呼ぶ。

認識論理は知識だけでなく信念も扱う。この場合の基本の様相作用素は ''K'' ではなく ''B'' と記述される。ただし、信念では上述の知識公理は成り立たない（エージェントが信じることが真とは限らない）。そこで、これを以下の一貫性公理で置換するのが一般的で、この公理を '''D''' と称する。

: <math>\neg B_i \bot</math>

これはすなわち、エージェントが矛盾することを信じない、または偽と判断されることを信じない、ということを意味する。S5 において '''T''' を '''D''' で置換した体系は KD45 となる。この場合、<math>\mathcal{K}_i</math> も異なる性質を持つ。例えば、あるエージェントが実際には真でないことを真であると「信じ」ている体系では、アクセス可能性関係は反射的でない。信念を扱う論理を[[信念論理]]（Doxastic logic）と呼ぶ。

== 脚注 ==
{{Reflist}}

== 参考文献 ==
* Fagin, Ronald et al.  ''Reasoning about Knowledge''.  Cambridge: MIT Press, 2003.
* Meyer, J-J C., 2001, "Epistemic Logic," in Goble, Lou, ed., ''The Blackwell Guide to Philosophical Logic''. Blackwell.
* Anderson, A. and N. D. Belnap.  ''Entailment: The Logic of Relevance and Necessity.''  Princeton: Princeton University Press, 1975.
* Fagin et al.  "A nonstandard approach to the logical omniscience problem."  ''Artificial'' ''Intelligence'', Volume 79, Number 2, 1995, p. 203-40.
* Hintikka, J. ''Knowledge and Belief''.  Ithaca: Cornell University Press, 1962.
* Montague, R.  "Universal Grammar".  ''Theoretica'', Volume 36, 1970, p. 373-398.

== 関連項目 ==
* [[認識論]]

== 外部リンク ==
* [[スタンフォード哲学百科事典]]:
** "[http://plato.stanford.edu/entries/logic-epistemic/ Epistemic Logic]" -- Hendricks, Vincent and John Symons
** "[http://plato.stanford.edu/entries/logic-modal Modal logic]" -- by James Garson.
** "[http://plato.stanford.edu/entries/common-knowledge/ Common Knowledge]" -- Vanderschraaf, Peter.
* Ho Ngoc Duc のホームページ:
** "[http://www.informatik.uni-leipzig.de/~duc/Thesis/node8.html Epistemic modal logic]" -- Ho Ngoc Duc.

{{Normdaten}}
{{DEFAULTSORT:にんしきろんり}}
[[Category:人工知能]]
[[Category:様相論理]]
[[Category:認識論的理論]]
[[Category:形式認識論]]
[[Category:数学に関する記事]]