概要
  本研究では，法律構造を表す双極議論フレームワーク（BAF）を用いた法律推論手法を示す．
  法律推論をシステム化することによって，人々の法律推論への理解を深める．
  法律推論における法律自身や法律間の構造は，論理型言語PROLEGによって記述可能である．
  またBAFは議論を構造化するシステムであり，有向グラフ表現が可能である．
  本研究では，BAFを拡張することでPROLEGとの対応付けを行う．
  また，BAFに対して法律推論に沿った意味論をラベリングを用いて与える．
  さらにPROLEGによって記述されたプログラムをBAFへ変換する手法を示し，変換の正当性を証明する．
  これにより，法律推論を有向グラフを用いて提示可能である．
  その後，BAFを用いた双方向推論の手法を提案する．
  双方向推論は，法律全体を参照することで，
  今判明している事実からどの結論が得られるかを推論するボトムアップ推論と，
  結論を得るためにどの事実を証明をすればよいかのトップダウン推論からなる．
  この手法によって，人々の法律推論への支援が期待できる．

発表論文
  "論理型言語 PROLEG による記述から双極議論フレームワークへの変換,"
  人工知能学会第32回全国大会,
  http://www.ai-gakkai.or.jp/jsai2018/proceedings, June, 2018.

  "論理型言語 PROLEG に対応する双極議論フレームワークの意味論について,"
  日本ソフトウェア科学会第30回大会, August, 2018.

  "Transformation from PROLEG to a Bipolar Argumentation Framework,"
  The Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA2018),
  pp.36-47, September, 2018.
	  
  "Reasoing by a Bipolar Argumentation Framework for PROLEG,"
  New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops 2018,
  Revised Selected Papers. pp.115-130, LNCS 11717,
  Springer 2019, ISBN 978-3-030-31604-4, 2019.

  "法律構成を表す双極議論フレームワーク上での推論,"
  人工知能学会第33回全国大会,
  https://confit.atlas.jp/guide/event/jsai2019/proceedings/list, June, 2019.

  "Hybrid Reasoning on a Bipolar Argumentation Framework,"
  The 13th international conference on Scalable Uncertainty Management (SUM 2019),
  pp.79-92, LNCS 11940, ISBN 978-3-030-35514-2.
  Springer-Verlag, December, 2019.

  "非循環な双極議論フレームワークの段階的作成方法,"
  人工知能学会研究会資料, SIG-FPAI-B503, pp.73-78, March, 2020.