判決文における非単調推論とアブダクション

判決文における非単調推論とアブダクション

著者 櫻井 成一朗

雑誌名 明治学院大学法学研究 = Meiji Gakuin law journal

巻 101(中巻)

ページ 105‑121

発行年 2016‑10‑13

その他のタイトル Nonmonotonic Reasoning and Abduction in Legal Cases

URL http://hdl.handle.net/10723/2942

判決文 非単調推論 ョン

櫻 井 成一朗

６

現在 人工知能 ，第三次 ー 迎え ，国や企業 投資 積極 的 行わ い あ ー 中 ，2016 年 3 月 Google

碁 ，世界的 ッ 囲碁棋士 ・ 平手 対戦 い 4 勝 1 敗 勝利 碁 登場 前 ，最強 囲碁

Zen 4 子 ン 棋士 勝利 程 強 い ，平手

勝 深層学習 ー ー ン 呼 技術 採用

碁 ，Zen¹ 瞬 間 追い抜い 碁 世界

最初 棋士 勝利 話題 ，わ 半年程度 世界

ン ン 圧倒 出来事 ，現在 人工知能 急速 進歩 象徴 あ 言え う 人工知能 勢い 進歩 続 あ ， 人工知能 人間 超越 ， ン ュ 訪 ² 言わ い 実際 ， 碁 打 良手 棋士 え良手 評価 ，結

果 棋士 敗北 う 考慮 ，囲碁 い

，既 ン ュ 迎え いう い 一方，

IBM ー³Watson 基 作成 Ross ，米国

法律事務所 弁護士業務 一部 担う 採用 ，弁護士 代わ 破 産法 関 法情報検索 行う 全世界 報道 ⁴ 弁護士 代わ

言 ，現在 ， 弁護士業務 代わ ，法情

報検索 限定 い ，人工知能 網羅的 検索 苦 無 行え

，人手 検索結果 優 結果 得 可能性 生 囲碁や将棋 う ー 世界 ，法情報検索 いう う

限定分野 い ，既 ン ュ 起 い い

，人工知能 人間 優 情報検索能力 有 ，現 在 人工知能 判決や条文 理解 上 回答 い わ い 注 意 必要 あ 実際，法律事務所 採用 ，Ross社 ー ー http://www.rossintelligence.com/⁵ ，以下 記述 あ

You ask your questions in plain English, as you would a colleague, and ROSS then reads through the entire body of law and returns a cited answer and topical readings from legislation, case law and secondary sources to get you up-to-speed quickly.

上記 文中 っreads through、 あ う ，Watson 限 ，現在 人工 知能 関連文章 参照 ，文章 意味 理解 い わ い あ

わ ，現在 人工知能 法 意味 真 理解 上 検索 い

，関連法情報 参照 ，統計的 い結果 出力 い 過 い あ ，法 真 理解 基 回答生成

至 い い 現状 あ ， 碁 示 う ，

膨大 ー 基 問題解決 人 理解 超え い，人工知能 問 題解決 人 理解 い場合 今後 加 い 思わ ，法 分野 例外 ，与え 質問 対 ，法 条文や判例 用い ，統 計的 適切 結論 導 う 時間 問題 あ う ，人工知能

回答 ，統計的 い いう説明 ， 結論 正 い

いう い 適切 説明 与え 限 い

ゆえ ，人工知能 導出 結論 対 適切 説明 与え ，人工知

能技術 進展 際 重要 考え

法的推論実現 立場 ，高橋文彦教授 指摘 ⁶ う ，法的推論 非単調的 あ ，非単調性 実現 必要 あ 推論 非単調性 実

現 方法 一 ， ョン あ ョン ，人工知

能 発見的 問題解決 際 ，演繹 代わ ，用い ，

良い説明 得 推論 考え ョン ，真偽不

明 知識 真 あ ，結論 導 ， 仮説 真 あ

何 方法 検証 ，結論 正 保証 実

際 ，日本 判決文 中 ， ョン う 記述 少

，仮説生成 検証 基 い ，結論 導出 い 場合 あ 本論文

，現実 判決文 対象 ， ョン 枠組 用い，判決 用い 知識 表現 ，判決中 記載 裁判所 判断 い 分析 仮 説的知識 真偽不明 あ ，仮説的知識 適用 場合 ， 当該 仮説的知識 適用 いう理由付 結論 説明 必須

あ 仮説知識適用 理由 示 い あ ，真偽不明 知識

適用 得 結論 わ ，結論 強制 あ

本論文 ，仮説選択 理由付 問題 解決 ，理由付 知識

付加 ，理由付 推論 実現 方法 い 述 ，

判決文 ョン 適切 説明 実現 ，適切 説

明機構 実現 将来 法律人工知能 貢献 ，静的 知識 基 理論形成 考え 場合，法領域 静的 知識体系 無い

，法的推論 い ，仮説生成 機能 同時 必要 あ 述

７

演繹 知識 組 合わ ，結論 導 推論 あ ，知識 正 保障

い ，結論 論理的 真 あ 保障 ，演繹推

論 人間 推論 い 基本的 推論 一 考え い 演繹 対

，高次推論 考え い ，非単調推論 あ ， ョン あ 古典論理 ，公理 追加 ，証明 定理 減 い いう意味 い ，単調 あ 非単調推論 ，公理 追加 ，定理 減少

あ 推論 言い， 推論 代表的 非単調推論 一 あ ，人

間 常識推論 用い ，多 場合正 い ，

例外 含 う 知識 あ ，他 知識 排除可能 知識 見 用い 結論 導出 ， 推論 あ

一方， ョン 仮説推論 呼 ，結論 導出 保

障 ，結論 導 際 真偽不明 仮説 根拠 う ， 結論 真偽 論理的 不明 ，真偽不明 仮説 正 検証

，結論 正 保証 ，生成検査型 問題解決 良 利 用 ，発見的 問題解決 い ，必須 問題解決方法 いう

，演繹 親和性 あ ，様々 推論 定式化

ョン 用い い David Poole教授⁷ ， 推論 証明手

続 演繹推論 代用 う ， ョン 用い 推論

定式化 ，他 推論 定式化 同様 ，所与 知識 ， 恒真 閉論理式集合 確定的知識F ， 論理式 集合 あ

知識Δ 分 F ，Δ 基礎例集合全体ground Δ 部分集合D 対 ，無矛盾 和集合F∪D ⁸ 呼 ，論理式 基礎 例 ，論理式中 現 変数 言語中 任意 定数項 置 え ，変

数 除去 論理式 いう 一階述語論理 導出可能性 ＝ 表 ，式 1 示 う ， F∪D 観察事実ɡ 含意 ，F∪D ɡ 説 明 呼び，説明 論理的帰結 集合 F Δ 拡張 呼

F∪D　＝ɡ ……… 式 1

式 1 重要 点 ，F∪D 一階述語論理式 あ ，ɡ 導出 既存 一階述語論理 証明手続 十分 あ ，新 証明手続 必要 い あ

一階述語論理 論的意味論 い ，全称限量 論理式∀Φ

意味 ，Φ 任意 基礎例 真 あ 与え 対 ，

知識Δ中 全称限量 論理式∀ξ あ ，真 ξ 基礎

例 存在 ⁹ 主張 ， 基礎例 真 主張

い わ ，基礎例集合全部 真 ，基礎例集合 一部 偽 許容 ，偽 論理式 存在 例外 取 扱う

あ ，基礎例 扱う ， 論理式 実質的

基礎論理式生成器 機能 ，全称限量子や存在限量子

問題 生 い¹⁰ Poole教授 枠組 優 点 ，Reiter教授

論理¹¹ う 証明手続 与え 必要 ，一階述語論理 証 明系 援用 あ 一階述語論理 違い ，ground Δ

D 選択 ，D中 論理式 無条件 真 仮定 あ

Poole教授 提案 言語Theorist 用い ，法規範 原則 例外，

例外 例外 関係 図 1 う 表

default p_then_q X :q X ←p X

default p_and_r_then_not_q X :￢q X ←p X ∧r X

default p_and_r_and_s_then_q X :q X ←p X ∧r X ∧s X . fact p a .

図 ６：Theoおiかが 知識 例

図 1 中，default 論理式 知識 あ 示 ，fact 論理式 確定的知識 あ 示 ，￢，∧，← 各々否定記号，連言記号，含意 記号 あ ，p，q，r，s 述語 ，X 変数 あ ，定数a 事態 state

of affairs 表 Theorist ， 知識 場合，論理式

名前 付 図 1 中 , p_then_q ^X, p_and_r_then_not_

q ^X ，p_and_r_and_s_then_q ^X 論理式 名前 あ 名前 ，

論理式中 自由変数 引数 与え，任意 基礎例 特定 う 名前¹² 付与 ， 知識 適用 示 ，説明機 能 実現 際 有用

確定知識 変化 ， ョン機構 非単調性 実現

，表 1 示

表 ６：ア ョン 非単調性

確定的知識 選択 仮説 拡張

a {p a } {p_then_q a } {p a ,q a }

b {p a ,r a } {p_and_r_then_not_q a } {p a ,r a ,￢q a } c {p a ,r a ,s a } {p_and_r_and_s_then_q a } {p a ,r a ,s a ,q a }

表 1 明 う ，確定的知識F 論理式 加 ，仮説選択 操作 結果 ，q a 消え 場合 あ う ，F Δ 拡張 単調

加 ，非単調性 あ ，表 1 中 確定的知識 b c 場合

，複数 拡張 存在 ，他 拡張 排除 ，知識 追加 必要 あ ¹³， 自動化 ，Bondarenko教授 ¹⁴ う ， 説明 選好順序 導入 必要 あ ，本論文 割愛

3

判決文 論証 演繹推論過程 記述 い 限 い 判 決文中 論証 い ，具体的 ョン 用い い 例 ， 東京地判平成 20 年 11 月 12 日民集 65 巻 2 号 79 頁， 控訴審 あ 東京高 判平成 21 年 4 月 15 日民集 65 巻 2 号 717 頁， び上告審 あ 最判平成 23 年 2 月 22 日民集 65 巻 2 号 699 頁 取 上

3３６ 判決文 仮説選択 ア ョン

平成 20 年判決 ，指定相続人 相続 旨 遺言 ，指定相続 人 被相続人 先 死亡 事件 い ，二 争点， 1 相続 旨 遺言 遺贈 解 ，2 被相続人 先 指定相続人 死

亡 遺言 失効 争わ 前者 争点 い ，遺贈

解 特段 理由 無い ，遺産分割方法 指定 解 ，後者 争 点 い ， 相続 承継 対象 遺産 い 原則

代襲相続 解 相当 あ ，原告 訴え 棄却

，一審 上訴審 ，判断 異 争点 2 い 検討 一審 ，代襲相続 認 ，上訴審 ，受益相続人 先 死亡

遺言 失効 代襲相続 認 受益相続人 先 死 亡 場合 代襲相続 い 明文 規定 あ わ ，学説 ，代 襲相続肯定説 代襲相続否定説 対立 い 学説 知識

， 仮説 採用 ョン 結論 説明

示 図 2 ，二 学説 知識 表 図中， 遺言

，相続 旨 遺言 あ 示 述語名 あ ， 受益相続人先死亡

，受益相続人 被相続人 先 死亡 示 述語名 あ ，代襲可

，代襲相続 可能 あ 示 述語名 あ ， 肯定説 ， 否定説 知識 名前 あ

default 肯定説 X : 代襲可 X ←遺言 X ∧受益相続人先死亡 X

default 否定説 X ：￢代襲可 X ←遺言 X ∧受益相続人先死亡 X .

fact 遺言 a .

fact 受益相続人先死亡 a .

図 ７：代襲相続肯定説 代襲相続否定説 知識

図 2 知識 場合，二 拡張 存在 ，肯定説 a 選択 ，否定 説 a 選択 ，Theorist 結論 異 第一審 判決 う ，肯定説 a 選択 ，代襲可 a 導出 ， 控訴審・上告審 う ，否定説 a 選択 ，￢代襲可 a 導出

，結論 異 示 ，結論 説明

，肯定説 選択 ，あ い 否定説 選択 いう素朴 説明

，法律家 ，素人向 説明 説得力 欠 ， 当該 知識 選択 いう理由 説明 必要

3３７ 理由付 推論 い

判決文 理由付 い 検討 ，平成 20 年判決 原文 戻 う 平成 20 年判決 ， 代襲相続 相続人 死亡等 い 順当 欠 事態

い 相続制度上 公平 図 相続人 受 あ 権利 い 直系卑属 承継 制度 あ 被相続人 特定 相続人 対 相続 承継 対象 遺産 い 原則 代襲相続

解 相当 あ 法律上 被相続人 遺言

相続人や遺産 関 事柄 定 方法 遺産分割方法 指定や相続

分 指定 い あ 特定 遺産 関

遺産分割方法 指定 い 相続 承継 う 相続人 死亡 場合 代襲相続人 相続 当事者 意思 適う あ 文章 ，代襲相続肯定説 選択 理由 あ ， 代襲 相続人 相続 当事者 意思 適う 理由 あ

一方， い ，平成 21 年 東京高裁判決 ， 遺 言 効力発生時点 い 遺言 指定 係 相続人 既 死亡 い 場 合 当該遺言 趣旨 場合 当該相続人 代襲相続人 効力

及 旨 定 い 読 得 あ 得 あ あ

遺言 解釈問題 あ ， 遺言 相続分又 遺産分割方

法 指定 あ い 直 当該遺言 遺

言者 死亡以前 指定 係 相続人 死亡 場合 代襲相続人

効力 及 趣旨 含 い 解 相当 い い

，平成 23 年 最高裁判決 ， う 相続 旨 遺言 遺言者 ，通常，遺言時 特定 推定相続人 当該遺産 取得 意

思 有 解 い 要 ，一

審 遺言者 意思 代襲相続 解釈 ，上訴審 遺言者 意思

推定相続人 遺産 取得 意思 解釈 ，

代襲意思 a ￢代襲意思 a 表

解釈選択 理由付 い ，一審 判決中 明示的 記載 い ，当 事者 意思 適う いう指摘 ，代襲 意思 あ 認識 い

解釈 控訴審判決 ，代襲相続 他 意思表示手段 行使

￢代襲意思 a 選択 理由 解釈 一審 解釈 理由付 い ，他 背景知識 付加 推定 可能 あ ，判決文 記述外 仮定 得 い 判決 い ，

法規範 選択 行わ ，演繹的 行わ い わ

い ，一審 上訴審 理由付 推論 定式化 あ ，

ョン 得 い 知識 あ 法規範 選択 理由付 考慮 ，F Δ 知識 不十分 あ ，D

各 選択 理由 決定 知識R 必要 D⊂ground

Δ ，F∪D 無矛盾 あ 条件 あ ，D

各要素 名前σ 対 ，

R＝ 適用理由 σ ……… 式 2

成立 要請 わ ， 選択 際

，適用理由 存在 要請 あ R 確定知識 ，

知識 必要 ，適用理由 σ 推論 ョン

，R 確定的知識F_R 知識Δ_R 分 ，正確 式 3 う

F_R ∪D_R＝ 適用理由 σ ……… 式 3

う 要請 課 ，素朴 Theorist 実現 ，最初 ， 結論σ 問い合わ 行い， 説明中 名ρ 対 ，知識 R 切 替え ，適用理由 ρ 問い合わ いう 2 段階 問い合わ 必 要

具体例 ，一審 上訴審 理由付 知識 図 3 示 図 3 代襲意 思表示あ ，遺言 明示的 代襲相続 意思 示 行為 行 示

述語名 あ

default 代襲意思 X :￢代襲意思 X ←￢代襲意思表示あ X . default 代襲意思あ X :代襲意思 X .

fact 適用理由 肯定説 X :- 代襲意思 X .

fact 適用理由 否定説 X :- ￢代襲意思 X .

fact ￢代襲意思表示あ a .

図 3： ォ 選択 理由付 知識

図 3 知識 ， 適用理由 肯定説 a 説明 {代襲意思あ a }

， 適用理由 否定説 a 説明 {代襲意思 a} いう 図 3 知識 ，図 2 知識 選択理由 得 示 ，図 3 知識 場合，代襲意思 有無 い ，確定的知識 記述 い ，厳密 ，代襲意思 有無 判定

対 説明 必要 え ， 理由付 ，代襲意思 い 別途表示 方法 あ ，代襲意思 い 解釈 方 ，代 襲意思 あ 解釈 優先 いう確定的知識 図 4 う

与え

fact 適用理由 代襲意思 X :- 優先 代襲意思 X , 代襲意思あ X .

fact 優先 代襲意思 X ,代襲意思あ X :- 代襲意思表示手段 X .

fact 代襲意思表示手段 a .

図 4：理由付 関 理由付 知識 例

，図 4 知識 与え ，結果 ，{代襲意思あ a } いう説明 許容 ，最高裁 判決 ，{代襲意思あ a } いう

説明 排除 考え ，一審 判決 対 説

明 必要 ，理由付 関 理由付 推論 取 や いう 一 選択肢 得

3３3 知識 コンパイ い

理由付 推論 ョン 行え 示 ，知識

ン ，理由付 推論 毎回呼び出 ，一回

問い合わ 実現 方法 い 述

default 肯定説 X : 代襲可 X ←遺言 X ∧受益相続人先死亡 X ∧代襲意思 X .

default 否定説 X：￢代襲可 X ←遺言 X ∧受益相続人先死亡 X ∧￢代襲意

思 X .

default 理由代襲意思 X :￢代襲意思 X ←￢代襲意思表示あ X .

default 理由代襲意思あ X :代襲意思 X .

fact 遺言 a .

fact 受益相続人先死亡 a .

fact ￢代襲意思表示あ a .

図 5：理由付 付加 知識

図 5 知識 ， 知識 選択理由 ，要件 追加 ， 選択 際 ， 理由 証明 必要 あ 明示化 わ ，代襲意思 a 仮定 ，肯定説 採用 ，￢代襲 意思 a 仮定 ，否定説 採用 選択 仮説 着 目 ，表 2 あ

表 ７：ア ョン 理由付

問い合わ 選択 仮説

代襲可 a {肯定説 a ,理由代襲意思あ a }

￢代襲可 a {否定説 a ,理由代襲意思 a }

表 2 示 ， ョン 理由付 ，肯定説 選択 ，

被相続人 代襲 意思 仮定 肯定説 採 ，代襲 意思 無い 仮定 否定説 採 読 図 5 示 知識 場合 ， 知識 肯定説 否定説 二 確定的知識 変更 結果 変わ い ，説明 中 ，肯定説や否定説 消え う ，

知識 与え い 例外 許容 注意 必要

あ

図 5 う 知識 与え ， ョン ，理由付 推論 可能 あ 示 ， 理由付 推論 ，Jaap C. Hage教授 理 由 ー 推論¹⁵や吉野一名誉教授 推論 文 効力 推論¹⁶ 関 連 理由 ー 推論や 推論 ，論理式 対象化 名前付

方法 導入 ，論理式 対象化 後 ，論理式 理由や効力 推論 行 い ，Hage教授や吉野名誉教授 方法 ，法規範 表現 変 更 加え 必要 い ，条文 忠実 表現 あ 言え Theorist 言語 ， 知識 対 名前付 機能 あ ，本論文 ， 理由付 推論 埋 込 形 実現 ， 理由付 遡 いう い ，理由付 知識 確定的知識 あ う 制

御 示

4

Poole教授 枠組 ，仮説集合 固定 下 理論形成

推論 形式化 ，仮説生成 いう課題 直接取 扱 い い

， 知識 基礎例生成器 ，適切 知識 選択

，素朴 理論形成 あ ，仮説

集合 事前 固定 いう ，法的推論 適切 前提 言え い 故障診断等 う ，事前 前提 知識 完全 あ いう仮定

う 領域 い ，仮説集合 前提 過剰 制 い あ う 対 ，法的推論 ，判決文 中 法規範 判示 ，新

法規範 定立 ，判例 積 重 意味 確立 い 場合 少 い え ，最判平成 10 年 5 月 26 日民集 52 巻 4 号 985 頁

， 消費貸借契 借主甲 貸主乙 対 貸付金 第三者丙 給付 う求 乙 従 丙 対 給付 行 後甲 右契 取 消 場合 乙 不当利得返還請求 関 甲 特段 事情 い限 乙 丙 対 右給付 価額 相当 利益 受

相当 あ ，法規範 定立 い ， 特段 事情 い 具体的例示 い 何 特段 事情 あ ， 後 判例 積 重

必要 あ ゆえ，法律推論 ，完全 静的知識

前提 理論形成 ，制限 厳 過 いえ 仮 ，特段 事 情 有無 い ，判決文中 法規範 定立 際 例示 あ ， 提示 ，例示 過 い あ ，何 特段 事情 あ

継続 観測 い ，非単調推論 本質 未知

例外 発見 あ ， 知識 固定 ョン 自

限界 あ わ ，例外 事例 選択的 排除 ， 非単調性 い ， ョン 実現 ，真 仮説生成 伴 う う 非単調性 い ， 枠組 対応 い え ，上記 例 う ，特段 事情 何 いう仮説 い ，経験的 帰納学習 必

要 ，非単調推論 ョン 定式化

わ い 注意 必要 あ

対 ，IBM ーWatson 基 い 作成 Ross 場合 ，常 最新 判例 取 込 ，法律知識 動学性 対応 い 現在 人工知能 ，Ross 限 ，機械翻訳や音声認識等，

統計的 処理 通 結果 出力 う ，統計 元 ー 正

確 ， 結果 良い い ，従来 う 知識 確定 知識 ー 与え 場合 比較 ，状況 変化 対

頑健性 高い いう ， 分人工知能 有用性

い いう ，機械学習や統計的手法 基 い 人工知 能 利用 機会 益々 加 考え 際 ，問題

，現代 人工知能 ，必 知識 構造化 わ い ，人 工知能 説明 人間 理解 超え う可能性 あ 本論文 ，現 実 判決文 分析 通 手作業 ，構造化 知識 表現 ，

方法 更 推 進 ， 知識選択 説明 知識 自動生 成 ，将来 人工知能 説明機能 活用 期待 あ う

5

本論文 ， ョン 基礎枠組 ，Poole教授 Theorist 枠 組 用い ，判決文 結論導出 説明 構築 方法 い 論 確定的

知識 知識 分 記述 ， ョン 説明

生成 う ， 知識 あ 法規範適用 理由 説明

い ，法規範選択 理由付 知識 付加 ， 当

該法規範 適用 いう理由付 説明 う ，

確定的知識 常 正 い知識 あ ，適用理由 省 ， 知識 確定的知識 違い 理由付 推論 深 制御 示

Theorist 枠組 ，静的 知識 前提 ，法律知識

う 動的知識 場合 ，仮説生成 問題 避 通 い 仮説生成 い ，今後 課題 あ ，仮説選択 理由付 分析 通 ，Hage 教授 理由 ー 論理や，吉野一名誉教授 CPF ID記号 取 扱い や 推論 文 効力 推論 い 密接 関係 あ 示

謝辞

日頃 ，様々 観点 法的推論 関 教授， 議論い 明治学 院大学吉野一名誉教授，加賀山茂教授，高橋文彦教授 感謝

注

1 現在 ，既 ，Zen 深層学習 採 入 ，DeepZen 強化

，3 子 ン ッ 勝利

2 未来学者Kurzweil っThe Singularity is Near: When Humans Transcend Biolo-

gy、, Penguin books, 2005 い ，2045 年 ン ュ 到来 予測

い

3 IBM ，人工知能 ー 呼 い ，人工

知能技術 あ 変わ い

4 2016 年 5 月 14 日発行 Legal Monitor Worldwide っLaw Firm Employs Artifi- cial Intelligence Lawyer - ❺Ross❸、 いう記事 あ Ross Watson 基

詳細 http://www.rossintelligence.com/ 知 5 2016 年 7 月 15 日現在

6 参照，高橋文彦，法的思考 論理，成文堂，2013

7 Cf. David Poole, A Logical Framework for Default Reasoning, Artificial Intelli- gence, 36, pp.27-47 1988 .

8 導入 ，仮説 選択 無矛盾性検査 枠組 外側

，証明手続 複雑 見 上解消 ，計算 複雑 変わ い 特 ，言語 関数記号 含 場合 ，基礎例 集合 無限集合 ，仮 説 選択 困難

9 真 基礎例 存在 い場合 ，無意味 知識 いう

，存在 い場合 不都合 生 い

10 実際 ，Theorist い ， 知識 ，構文上 限量子 含 い

11 Cf. R. Reiter, A logic for default reasoning, Artificial Intelligence 18, pp.81-132 1980.

12 吉野一名誉教授 提案 CPF ， ー 識別 識別 付与

，機能的 同等 あ

13 え ， fact ￢p_then_qX ←p X ∧rX. 追加 ，p_then_q

名前 持 ， 知識 排除 ，複数 拡張 存在

問題 回避

14 Cf. A. Bondarenko, P.M. Dung, R.A. Kowalski, F. Toni, An abstract, argumenta- tion-theoretic approach to default reasoning, Artificial Intelligence, 93, pp.63-101

1997.

15 参照，前掲，法的思考 論理，第 9 章

16 え ，参照，吉野他， 法的 知識 構造解明 法的 推論 1991 年度人工知能学会全国大会論文集 ，1991 年