2013 Fiscal Year Annual Research Report
民事裁判における要件事実論の論理プログラミングによる計算機上の実現
| Project/Area Number |
23300062
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
佐藤 健 国立情報学研究所, 情報学プリンシプル研究系, 教授 (00271635)
|
|---|
| Project Period (FY) |
2011-04-01 – 2014-03-31
|
| Keywords | 要件事実論 / 民法 / 法的推論 / 論理プログラミング / juris-informatics |
|---|
| Research Abstract |
本研究の目的は、１）申請者が発見した要件事実論と論理プログラミングの対応関係を用いて、民事裁判における要件事実論にもとづく法的推論手法を計算システムとして実装し、２）そのシステム上に民法および民事判例を知識ベースとして構築して、
実務や教育の場面で試用することで論理プログラミング技術を法的推論へ実用的に応用できるかを検証する、ことである。
平成25年度は、１）自然言語で書かれた法律文書を自然言語処理解析から上記要件事実論を実装する論理プログラミングへのインタフェースを検討し、その対象として司法試験の短答式問題文に限定して、基本動作の確認を行い、２）司法試験の短答式問題からその関連条文を検索するタスクにおいて，専門用語に関する語彙知識とドメイン知識をゆるく組み合わせた語彙ネットワークを構築・利用する方法を提案し、３）司法試験の問題文に対して構文解析・述語項構造解析を適用し、述語項構造を得る実験を行った。この結果を用いて、論理表現への変換を行い、４）テキスト間含意関係認識の既存手法を適用し、法律の条文から問題文の正誤の判断を行う実験を行った。
|
| Current Status of Research Progress |
Reason
25年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
25年度が最終年度であるため、記入しない。
|
-
-
-
[Journal Article] Detecting Conflicts in Legal Systems2013
Author(s)
Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J. A.
-
Journal Title
New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, Revised Selected Papers, LNAI
Volume: 7856
Pages: 174-189
Peer Reviewed
-
[Journal Article] Handling Change in Normative Specifications2013
Author(s)
Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A., and Satoh, K.
-
Journal Title
Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Revised Selected Papers, LNCS 7784
Volume: 7784
Pages: 1-19
Peer Reviewed
-
-
-
-
-
-
-
