複雑ネットワークによる創発的な論理の表現

抄録

JSAI2013にて我々は論理的含意関係「○ならば×」の集合を複雑ネットワークとみなし、演繹をネットワークの変形図式とする時、それがべき乗則を現すことを示した。本報告ではより不正確な推論とされている帰納、アブダクション（仮説形成）も同様に図式化する。演繹と帰納のみではべき乗則は現れないが、それにアブダクションを加えるとべき乗則が再び出現する。この結果はアブダクションの必要性を示唆している。