法律と人工知能（第10回）法的知識の構造（4）

法律とコンピュータ
法的知識の構造（4）
慶應義塾大学法学部
２００8／12／02
吉野一
目次
1.
2.
3.
4.
5.
6.
7.
8.
はじめに
事例問題5_1
事例問題5と事例問題5_1の違い？
申込取消の最終効果と直接の効果？
17条との整合性
申込効力消滅の効果
1.
￢契約成立
2.
￢承諾効力発生
撤回との取消の関係
まとめ
事例問題5_1

郵便配達(申込(anzai,bernard,契約),t050408).

電話伝達(取消(anzai,bernard,申込),t050409).

電話伝達(承諾(bernard,anzai,申込),t050410).
事例問題5と事例問題5_1の違い？
申込取消の最終効果と直接の効果？
17条との整合性

17


申込みは、取消することができない場合であっても、拒絶の通知が申
込者に到達した時にその効力を失う
効力消滅(申込(A,B,契約),T):-到達(拒絶(A,B,申込),B,T).

16

効力発生(取消(A,B,申込),B,T):-到達(取消 (A,B,申込),B,T),not(￢効
力発生(取消(A,B,申込),B,T)).
 ￢効力発生(取消(A,B,申込),B,T):-発信(承諾(B,A,申込),T1),以前
(T1,T).
 効力消滅(申込(A,B,契約),T):-効力発生(取消(A,B,申込),B,T).
17の改訂版

申込効力消滅の効果
撤回との取消の関係
まとめ

Download Report