「導出原理」の版間の差分

ナビゲーションに移動 検索に移動
参考文献の補足、節の入れ替え
(曖昧さ回避する必然性がないので改名提案を単純に「導出原理」と提案する。)
(参考文献の補足、節の入れ替え)
:論理式のモデルあるいは解釈を利用して導出の対象を制限し、探索の空間を狭めることで効率的な導出を行う手法。特定のモデルにおいて真となる可能性がある節と偽となる可能性のある節とを親節に選ぶ Slagle の Semantic Clash resolution<ref>
James Slagle. ''Automatic Theorem Proving With Renamable and Semantic Resolution''. Journal of the ACM, Volume14, Issue 4, pp.687-697. 1967.</ref> など様々な方法がある。
 
== 脚注 ==
<div class="references-small">
<references/>
</div>
 
== 関連項目 ==
* {{cite book | 和書 | author=D.ヒルベルト、W.アッケルマン | editor=伊藤誠(訳) | title=記号論理学の基礎 | year=1954 | publisher=大阪教育図書社 | ref=HA(1954) }}
* {{citation | author=Robert Kowalski | title=Predicate Logic as Programming Language | year=1974 | url=http://www.doc.ic.ac.uk/~rak/papers/IFIP%2074.pdf | ref=Kowalski(1974) }}
* {{citation | author=Wolfgang Bibel. ''| chapter=Early History and Perspectives of Automated Deduction''. in| ''title=Advances in Artificial Intelligence'', | series=Lecture Notes in Computer Science, | publisher=Springer-Verlag Berlin, | year=2007| url=http://www.intellektik.de/resources/OsnabrueckBuchfassung.pdf ISBN| ISBN=9783540745648. | ref=Bibel(2007) }}
*J. Alan Robinson. "A Machine-Oriented Logic Based on the Resolution Principle." J. Assoc. Comput. Mach. 12, pp.23-41, 1965.
*Davis Martin. ''The Early History of Automated Deduction''. in ''Handbook of Automated Reasoning'', ''Volume I'', Alan Robinson and Andrei Voronkov(ed), 2001. ISBN 9780444829498.
*Wolfgang Bibel. ''Early History and Perspectives of Automated Deduction''. in ''Advances in Artificial Intelligence'', Lecture Notes in Computer Science, Springer-Verlag Berlin, 2007. ISBN 9783540745648.
* Robert Kowalski. ''Logic for Problem Solving''. North Holland, Elsevier, 1979. ISBN 978-0444003683
* {{cite book
}}
*佐藤 泰介. ''[http://ci.nii.ac.jp/naid/110002761456 導出原理による定理証明]''. 情報処理 22(11), pp.1024-1036, 1981.
 
== 脚注 ==
<div class="references-small">
<references/>
</div>
 
== 外部リンク ==

案内メニュー