エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
法的推論 : kinjoblog
2010年11月14日03:14 カテゴリ 法的推論 最近法のはなしをよくきく。そういえば法律家?がつかう推論を... 2010年11月14日03:14 カテゴリ 法的推論 最近法のはなしをよくきく。そういえば法律家?がつかう推論を論理で「形式化しよう」というはなしがだいぶまえからあったな〜とおもい、しらべたので簡単にまとめてみた。メモ。 新田先生の本にある事例で説明する。 「車は進入禁止」 を論理式でかくと、 (∀X)車(X)→進入禁止(X). なのだが、これがやっかいで ・概念があいまい:この車ってものの概念があいまいなので、たとえばバイク(X)→車(X)というようにいちおう用意しないとだめ。 ・ルール間に矛盾がある:たとえば、表現の自由VSわいせつ物。仮に同じ行為をしても、これらを論理で記述したら、矛盾する。 こういう話をふまえて、これらを解消するためにとられている方法があってこのはなしがわりと面白い。 ・解釈の生成:帰納推論がつかえる。たとえば、車といっても自転車はどうなの?飛行機はどうなの?といっ