導出原理のソースを表示
←
導出原理
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、以下のグループに属する利用者のみが実行できます:
登録利用者
。
このページは編集や他の操作ができないように保護されています。
このページのソースの閲覧やコピーができます。
'''【どうしゅつげんり (resolution principle)】''' ロビンソン (J.A. Robinson) により1965年に提案された定理証明技法の1つである. 節形式で表現された論理式に対し, 導出規則と呼ばれる1つの推論規則を適用することで定理証明を行うもので, 導出規則のみを用いた定理証明は完全であることが証明されている. 完全な推論規則で, かつ, 単純であるため, 計算機上での実現性に非常に優れている. その後, 支持集合導出, 入力導出, 意味導出など様々な効率的証明戦略が提案されている.
導出原理
に戻る。
案内メニュー
個人用ツール
ログイン
名前空間
ページ
議論
変種
表示
閲覧
ソースを表示
履歴表示
その他
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
最近の更新
おまかせ表示
ヘルプ
ORWikiへのお問い合わせ
OR学会HP
OR学会アーカイブ集
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報