ダイアグラムに基づく法的論争支援システム

スポンサーリンク

概要

• 論文の詳細を見る

• We present an overview of a legal negotiation support system, ANS (Argumentation based Negotiation support System). ANS consists of a user interface, three inference engines, a database of old cases, and two decision support modules. The ANS users negotiates or disputes with others via a computer network. The negotiation status is managed in the form of the negotiation diagram. The negotiation diagram is an extension of Toulmin’s argument diagram, and it contains all arguments insisted by participants. The negotiation protocols are defined as operations to the negotiation diagram. By exchanging counter arguments each other, the negotiation diagram grows up. Nonmonotonic reasoning using rule priorities are applied to the negotiation diagram.

• 社団法人　人工知能学会の論文
• 2002-11-01

著者

• 井上 克巳

  国立情報学研究所

• 長谷川 隆三

  九州大学大学院システム情報科学研究院

• 藤田 博

  九州大学大学院システム情報科学研究院

• 越村 三幸

  九州大学大学院システム情報科学研究院

• 新田 克己

  東京工業大学大学院総合理工学研究科

• 安村 禎明

  東京工業大学大学院 総合理工学研究科

• 白井 康之

  三菱総合研究所

• 井上 克巳

  神戸大学工学部

• 柴崎 真人

  東京工業大学大学院

• 小松 弘

  本間・小松法律事務所

• 藤田 博

  九州大学大学院システム情報科学研究科

• 新田 克己

  東京工業大学 大学院 総合理工学研究科 知能システム科学専攻

• 長谷川 隆三

  九州大学大学院システム情報科学研究科知能システム学専攻

• 新田 克己

  東京工業大学

関連論文

• アブダクションとインダクション(論理に基づく推論研究の動向)
• 解集合プログラミング(論理に基づく推論研究の動向)
• モデル列挙とモデル計数(最近のSAT技術の発展)
• SATソルバーの基礎(最近のSAT技術の発展)
• 特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
• 特集「最近のSAT技術の発展」にあたって
• 特集「論理に基づく推論研究の動向」にあたって
• ODPを利用したユーザプロファイルを用いた個人化検索システム(情報検索)
• 帰納論理プログラミングを用いたWebページ評価ルールの抽出とその評価(「Webインテリジェンス」及び一般)
• 2C-6 Blogデータのクラスタリングと分析(コンテンツ推薦,一般セッション,データベースとメディア)
• 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web情報検索,データ工学論文)
• F-039 モデル生成法を用いた極小モデル生成(人工知能・ゲーム,一般論文)
• モデル生成型定理証明と要素技術(論理と推論技術の展開)
• Wikipediaへの関連単語抽出アルゴリズムの適用とその評価(Wikipedia)
• 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web解析・検索クエリ)
• 1V-6 変数のアクティビティ情報を共有するマルチスレッドSATソルバ(学習・推論,学生セッション,人工知能と認知科学)
• 6S-9 ユーザーのスケジュールを用いたWebページ推薦(ユーザ指向・推薦,学生セッション,データベースとメディア)
• D-008 相関ルールに基づく文書検索システム(D分野:データベース)
• スケジュールに基づくWebページ推薦に用いる検索単語の選定(WEBサービス,特集「Web情報処理」及び一般)
• スケジュールに基づく Web ページ推薦に用いる検索単語の選定
• 継続概念による割り込みなし並列I/O処理モデル(継続点)
• C_003 FPGAを用いたN-Queens問題の解決について(C分野:ハードウェア)
• 動的補題生成を用いたモデル生成木の枝刈り手法とその実装
• 競合状況における投機的計算の導入に関する考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• アブダクションとインダクション
• WEB検索におけるキーワード関連語提案システム
• B_025 モデル検査器を用いたFUCEマルチスレッドプログラムの開発(B分野:ソフトウェア)
• SOLにおけるタブ口証明反転法とその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• 抽象モデル生成による節集合の前処理(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• 極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• 複数のSATソルバを用いたジョブショップスケジューリング問題の解法(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• モデル生成型定理証明手続きによるCTLのモデル検査(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• 導出法に基づく定理証明系のJavaによる実現手法について(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• 優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• [招待論文]結論発見手続きとその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• 一般節理論における解釈からの学習に関する一考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• ブール制約解消系によるモデル生成木の刈込み(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• 解集合プログラミング
• 論理プログラミングから解集合プログラミングへ(論理と推論技術の展開)
• CF帰納法の効率的実装とパスウェイ推論への応用 (特集「知識発見の諸科学への応用」および一般)
• PrologからJavaへのトランスレータ処理系とその応用
• CF帰納法の理論的再構築について(「自動化:推論,発見,学習,データマイニング」及び一般)
• 極小限定を用いた帰納推論
• 効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
• ペナルティ関数法によるSAWフィルタのロバスト最適設計
• 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(セッション : 社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
• CF帰納法における一般化に関する考察第2報(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
• メッセージ通信を用いた分散型結論発見(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
• 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
• CF 帰納法における一般化に関する考察:第2報(一般(知識処理), 「社会システムにおける知能」及び一般)
• ストリーム処理方式を用いた繰越し依存型多重ループの並列展開法
• メッセージ通信を用いた分散型結論発見(一般(知識処理), 「社会システムにおける知能」及び一般)
• 有限区間制約を付加したモデル生成型定理証明系とその応用(次世代移動通信ネットワークとその応用)
• ダイアグラムに基づく法的論争支援システム
• 極小モデル導出法に基づく解集合計算の効率化
• モデル生成型定理証明システムによる制約充足問題の解決とその並列化
• FUCE上のストリーム処理とその記述言語
• FUCE言語とその処理系について
• アフォーダンス理論による人工技能への接近 : 記憶と身体性
• 今西進化論に基づく遺伝アルゴリズムによるモジュール配置問題の多様な最適解の探索
• 今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 - 多目的資源分割問題を実例として -
• GA-MGTPによる Condensed Detachment問題の解法
• 抽象モデル生成による不要節の削除(人工知能,認知科学)
• Twitterにおける流行語先取り発言者の検出システムの開発
• Twitterにおける流行語先取り発言者の検出システムの開発
• ソーシャルブックマークにおける有用なユーザの発見
• Wikipediaのリンク共起とカテゴリに基づくリランキング手法
• Wikipediaのリンク共起とカテゴリに基づくリランキング手法
• Wikipediaへの関連単語抽出アルゴリズムの適用とその評価(Wikipedia)
• 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web解析・検索クエリ)
• ODPを利用したユーザプロファイルを用いた個人化検索システム(情報検索)
• 5S-4 Twitterの流行語発言者の抽出に基づくフォロワー推薦システムの開発(情報推薦(2),学生セッション,データベースとメディア,情報処理学会創立50周年記念)
• Twitter における流行語先取り発言者の検出システムの開発
• Wikipedia のリンク共起とカテゴリに基づくリランキング手法
• 数独パズルにおける補題の解析 : 補題の一般化に向けて
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決
• F-021 基数制約を用いたMax-SATソルバーの試作(F分野:人工知能・ゲーム,一般論文)
• F-019 BOINCによるSATソルバーの並列実行(F分野:人工知能・ゲーム,一般論文)
• D-033 データ解析における並列分散処理基盤Hadoopの利用(D分野:データベース,一般論文)
• 1W-9 モデル生成によるSATソルバの並列化(最適化,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• CF帰納法における一般化に関する考察
• エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
• タブローに基づく論理的帰結発見手続きSOL
• アクション言語Aにおける行動規則の学習
• 非決定性アクション言語NA上のプランニング手続き
• 投機的計算を行う協調型マルチエージェントシステムの構築に関する一手法 (小特集 使えるAI基礎技術)
• ユーザの嗜好を取り入れた文書評価を行うWeb上の情報検索 (小特集 使えるAI基礎技術)
• 補題の利用による効率的なSOL導出の実現
• アクション言語Aにおける行動規則の学習
• プランニンググラフとSATプランニング(「プランニング技術の進展と新たな応用展開」)
• 「SATソルバー」(私のブックマーク)
• モデル生成を用いた代謝ネットワークにおける極小活性パスウェイの列挙
• O-041 システムズ・レジリエンス(サービス・クラウド,O分野:情報システム)
• 多目的分散制約最適化問題における厳密/非厳密解法の提案(理論,ソフトウェアエージェントとその応用論文)
• 分散制約最適化問題 : 擬似木に基づくハイブリッド型の解法の提案(理論,ソフトウェアエージェントとその応用論文)
• N-016 サイバーセキュリティ問題の分散型多元制約最適化によるモデル化と解法(N分野:教育・人文科学,一般論文)

もっと見る 閉じる

スポンサーリンク