• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2013 年度 実績報告書

命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現

研究課題

研究課題/領域番号 24300007
研究機関神戸大学

研究代表者

田村 直之  神戸大学, 情報基盤センター, 教授 (60207248)

研究分担者 井上 克巳  国立情報学研究所, 大学共同利用機関等の部局等, 教授 (10252321)
鍋島 英知  山梨大学, 医学工学総合研究部, 准教授 (10334848)
研究期間 (年度) 2012-04-01 – 2015-03-31
キーワード制約プログラミング / 充足可能性判定問題 / 命題論理
研究概要

当初の研究計画に従い A. フレキシブル制約に関する研究開発,B. 動的な制約変更に関する研究開発,C. ドメイン拡張に関する研究開発,D. 応用研究開発 の4つの研究テーマについて研究を進めた.
「A. フレキシブル制約に関する研究開発」については,フレキシブル制約のSAT符号化で重要になる擬似ブール制約の符号化方法の研究,PBSugarシステムの開発,および論文発表を行った.「B. 動的な制約変更に関する研究開発」については,動的な制約変更が可能なScarabシステムの開発および論文発表を行った.「C. ドメイン拡張に関する研究開発」については,記号推論が可能な解集合プログラミングシステム上で整数上の制約記述を可能にするプロトタイプシステムを開発し,性能評価を行った.「D. 応用研究開発」については,各種問題の評価を進めた.特に,時間割問題について優れた結果を得,論文発表を行った.
また,「論理と推論の理論,実装,応用に関する合同セミナー」のERATO湊プロジェクトとの合同開催,人工知能学会全国大会オーガナイズドセッションの開催,多くの国際会議および国内学会での研究発表などを通じ,本研究課題の成果を発表した.開発したソフトウェアについてもWeb上で公開し,国内外で広く利用されている.
国際研究交流についても,ドイツ・ポツダム大学,フランス・アルトワ大学,フランス・ボルドー大学の研究者と共同研究を進めている.

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

研究実績の概要に述べたように,4つの研究テーマのいずれにおいても順調に進展しており,全般的にも計画通り順調に進展している.

今後の研究の推進方策

当初の研究計画に従い A. フレキシブル制約に関する研究開発,B. 動的な制約変更に関する研究開発,C. ドメイン拡張に関する研究開発,D. 応用研究開発 の4つの研究テーマについて研究を進める.

次年度の研究費の使用計画

海外協力研究者の招聘を次年度に繰り越したため.
次年度に海外協力研究者の招聘を行う.

研究成果

(39件)

すべて 2014 2013 その他

すべて 雑誌論文 学会発表 備考

  • [雑誌論文] パッキング配列問題の制約モデリングとSAT符号化2014

    • 著者名/発表者名
      則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • 雑誌名

      コンピュータソフトウェア

      巻: 31(1) ページ: 116-130

    • DOI

      10.11309/jssst.31.1_116

    • 査読あり
  • [雑誌論文] Learning from Interpretation Transition2014

    • 著者名/発表者名
      Katsumi Inoue, Tony Ribeiro, and Chiaki Sakama
    • 雑誌名

      Machine Learning

      巻: 94(1) ページ: 51-79

    • DOI

      10.1007/s10994-013-5353-8

    • 査読あり
  • [雑誌論文] Lp-Norm Based Algorithm for Multi-Objective Distributed Constraint Optimization2014

    • 著者名/発表者名
      Tenda Okimoto, Nicolas Schwind, Maxime Clement, and Katsumi Inoue
    • 雑誌名

      The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)

      巻: なし ページ: 未定

    • 査読あり
  • [雑誌論文] Modeling and Algorithm for Dynamic Multi-Objective Weighted Constraint Satisfaction Problem2014

    • 著者名/発表者名
      Tenda Okimoto, Tony Ribeiro, Maxime Clement, and Katsumi Inoue
    • 雑誌名

      The 6th International Conference on Agents and Artificial Intelligence (ICAART 2014)

      巻: なし ページ: 未定

    • 査読あり
  • [雑誌論文] Discriminative MO-COP Operators2014

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sebastien Konieczny, Katsumi Inoue
    • 雑誌名

      International Joint Workshop On Optimisation In Multi-Agent Systems And Distributed Constraint Reasoning (OPTMAS-DCR)

      巻: なし ページ: 未定

    • 査読あり
  • [雑誌論文] Model and Algorithm for Dynamic Multi-Objective Distributed Optimization2014

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue
    • 雑誌名

      International Joint Workshop On Optimisation In Multi-Agent Systems And Distributed Constraint Reasoning (OPTMAS-DCR)

      巻: なし ページ: 未定

    • 査読あり
  • [雑誌論文] Answer Set Programming as a Modeling Language for Course Timetabling2013

    • 著者名/発表者名
      Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub
    • 雑誌名

      Theory and Practice of Logic Programming

      巻: 13(4-5) ページ: 783-798

    • DOI

      10.1017/S1471068413000495

    • 査読あり
  • [雑誌論文] 直観主義線形論理型言語 LLP とそのコンパイラ処理系2013

    • 著者名/発表者名
      田村直之, 番原睦則
    • 雑誌名

      コンピュータソフトウェア

      巻: 30(2) ページ: 83-89

    • DOI

      10.11309/jssst.30.2_83

    • 査読あり
  • [雑誌論文] Abduction, Unpredictability and Garden of Eden2013

    • 著者名/発表者名
      Chiaki Sakama and Katsumi Inoue
    • 雑誌名

      Logic Journal of the IGPL

      巻: 21(6) ページ: 980-998

    • DOI

      10.1093/jigpal/jzt015

    • 査読あり
  • [雑誌論文] 多目的分散制約最適化問題における厳密/非厳密解法の提案2013

    • 著者名/発表者名
      沖本天太,櫻井祐子,横尾真,井上克巳
    • 雑誌名

      電子情報通信学会論文誌 D

      巻: J96-D(12) ページ: 2929-2938

    • DOI

      http://search.ieice.org/bin/summary.php?id=j96-d_12_2929

    • 査読あり
  • [雑誌論文] 分散制約最適化問題:擬似木に基づくハイブリッド型の解法の提案2013

    • 著者名/発表者名
      沖本天太,山本将,櫻井祐子,横尾真,井上克巳
    • 雑誌名

      電子情報通信学会論文誌 D

      巻: J96-D(12) ページ: 2920-2928

    • DOI

      http://search.ieice.org/bin/summary.php?id=j96-d_12_2920

    • 査読あり
  • [雑誌論文] Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning2013

    • 著者名/発表者名
      Saadat Anwar, Chitta Baral, and Katsumi Inoue
    • 雑誌名

      Theory and Practice of Logic Programming

      巻: 13(4-5) ページ: On-line

    • DOI

      http://journals.cambridge.org/downloadsup.php?file=/tlp2013023.pdf

    • 査読あり
  • [雑誌論文] Combining Answer Set Programs for Adaptive and Reactive Reasoning2013

    • 著者名/発表者名
      Tony Ribeiro, Katsumi Inoue and Gauvain Bourgne
    • 雑誌名

      Theory and Practice of Logic Programming

      巻: 13(4-5) ページ: On-line

    • DOI

      http://journals.cambridge.org/downloadsup.php?file=/tlp2013012.pdf

    • 査読あり
  • [雑誌論文] Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2013

    • 著者名/発表者名
      Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise
    • 雑誌名

      Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)

      巻: なし ページ: 33-48

    • 査読あり
  • [雑誌論文] Scarab: A Rapid Prototyping Tool for SAT-based Constraint Programming Systems2013

    • 著者名/発表者名
      Takehide Soh, Naoyuki Tamura, and Mutsunori Banbara
    • 雑誌名

      Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)

      巻: なし ページ: 429-436

    • DOI

      10.1007/978-3-642-39071-5_34

    • 査読あり
  • [雑誌論文] PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding2013

    • 著者名/発表者名
      Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh
    • 雑誌名

      Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)

      巻: なし ページ: 1020-1027

    • DOI

      10.1109/ICTAI.2013.153

    • 査読あり
  • [雑誌論文] On-The-Fly Lazy Clause Simplification based on Binary Resolvents2013

    • 著者名/発表者名
      Hidetomo Nabeshima, Koji Iwanuma and Katsumi Inoue
    • 雑誌名

      Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)

      巻: なし ページ: 987-995

    • DOI

      10.1109/ICTAI.2013.149

    • 査読あり
  • [雑誌論文] AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization2013

    • 著者名/発表者名
      Tenda Okimoto, Maxime Clement, and Katsumi Inoue
    • 雑誌名

      Multi-Disciplinary Trends in Artificial Intelligence: Proceedings of the 7th International Workshop (MIWAI 2013)

      巻: なし ページ: 175-186

    • DOI

      10.1007/978-3-642-44949-9_17

    • 査読あり
  • [雑誌論文] Modeling and Algorithm for Dynamic Multi-Objective Distributed Optimization2013

    • 著者名/発表者名
      Maxime Clement, Tenda Okimoto, Tony Ribeiro, and Katsumi Inoue
    • 雑誌名

      Principles and Practice of Multi-Agent Systems: Proceedings of the 16th International Conference (PRIMA 2013)

      巻: なし ページ: 413-420

    • DOI

      10.1007/978-3-642-44927-7_29

    • 査読あり
  • [雑誌論文] A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization2013

    • 著者名/発表者名
      Alexandre Medi, Tenda Okimoto, and Katsumi Inoue
    • 雑誌名

      Joint Agent Workshop and Symposium 2013 (JAWS 2013)

      巻: なし ページ: On-line

    • 査読あり
  • [雑誌論文] Representation Theorems for Revision of Logic Programs2013

    • 著者名/発表者名
      Nicolas Schwind and Katsumi Inoue
    • 雑誌名

      Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013)

      巻: なし ページ: 485-498

    • DOI

      10.1007/978-3-642-40564-8_48

    • 査読あり
  • [雑誌論文] Encoding Higher Level Extensions of Petri Nets in Answer Set Programming2013

    • 著者名/発表者名
      Saadat Anwar, Chitta Baral, and Katsumi Inoue
    • 雑誌名

      Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013)

      巻: なし ページ: 116-121

    • DOI

      10.1007/978-3-642-40564-8_12

    • 査読あり
  • [雑誌論文] Inference and Learning of Boolean Networks using Answer Set Programming2013

    • 著者名/発表者名
      Alexandre Rocca, Tony Ribeiro, and Katsumi Inoue
    • 雑誌名

      The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)

      巻: なし ページ: 17-30

    • DOI

      http://arxiv.org/abs/1311.4639

    • 査読あり
  • [雑誌論文] Translating the SBGN-AF Language into Logics to Analyze Signalling Networks2013

    • 著者名/発表者名
      Adrien Rougny, Christine Froidevaux, Yoshitaka Yamamoto, and Katsumi Inoue
    • 雑誌名

      The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)

      巻: なし ページ: 43-54

    • DOI

      http://arxiv.org/abs/1311.4639

    • 査読あり
  • [雑誌論文] Pseudo-Tree Based Hybrid Algorithm for Distributed Constraint Optimization2013

    • 著者名/発表者名
      Tenda Okimoto, Makoto Yokoo, Yuko Sakurai, and Katsumi Inoue
    • 雑誌名

      The IJCAI 2013 Workshop on Distributed Constraint Reasoning (DCR 2013)

      巻: なし ページ: 1-15

    • DOI

      http://www.cs.nmsu.edu/~wyeoh/DCR2013/docs/paper1.pdf

    • 査読あり
  • [雑誌論文] Learning Revised Models for Planning in Adaptive Systems2013

    • 著者名/発表者名
      Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, and Katsumi Inoue
    • 雑誌名

      The 35th International Conference on Software Engineering (ICSE 2013)

      巻: なし ページ: 63-71

    • DOI

      http://dl.acm.org/citation.cfm?id=2486797

    • 査読あり
  • [雑誌論文] Systems Resilience: A Challenge Problem for Dynamic Constraint-Based Agent Systems2013

    • 著者名/発表者名
      Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Hei Chan, Tony Ribeiro, Kazuhiro Minami, and Hiroshi Maruyama
    • 雑誌名

      The 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)

      巻: なし ページ: 785-788

    • DOI

      http://www.ifaamas.org/Proceedings/aamas2013/docs/p785.pdf

    • 査読あり
  • [学会発表] パッキング配列問題の制約モデリングとSAT符号化

    • 著者名/発表者名
      則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学
  • [学会発表] Scala 上で実現されたSAT型制約プログラミングシステムのための開発ツール Scarab について

    • 著者名/発表者名
      宋剛秀, 番原睦則, 田村直之, Daniel Le Berre, Stéphanie Roussel
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学
  • [学会発表] 正方形詰込み問題の制約モデルとSAT符号化を用いた解法

    • 著者名/発表者名
      佐古田淳史, 宋剛秀, 番原睦則, 田村直之
    • 学会等名
      2013年度人工知能学会全国大会
    • 発表場所
      富山国際会議場
  • [学会発表] Answer Set Programming as a Modeling Language for Course Timetabling

    • 著者名/発表者名
      Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
    • 学会等名
      第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
    • 発表場所
      阿蘇の司ビラパークホテル
  • [学会発表] PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding

    • 著者名/発表者名
      Naoyuki Tamura, Mutsunori Banbara, and Takehide Soh
    • 学会等名
      The 4th International Workshop on Pragmatics of SAT (PoS 2013)
    • 発表場所
      University of Helsinki, Finland
  • [学会発表] System Architecture and Implementation of a Prototyping Tool for SAT-based Constraint Programming Systems

    • 著者名/発表者名
      Takehide Soh, Naoyuki Tamura, Mutsunori Banbara, Daniel Le Berre, and Stéphanie Roussel
    • 学会等名
      The 4th International Workshop on Pragmatics of SAT (PoS 2013)
    • 発表場所
      University of Helsinki, Finland
  • [学会発表] CSPSAT Projects and their SAT Related Tools

    • 著者名/発表者名
      Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue
    • 学会等名
      The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
    • 発表場所
      University of Helsinki, Finland
  • [学会発表] 最新SATソルバーへの充足不能コア抽出手法の実装

    • 著者名/発表者名
      渡辺 大樹,鍋島 英知
    • 学会等名
      第27回人工知能学会全国大会
    • 発表場所
      富山国際会議場
  • [学会発表] 拡張融合法に基づく次世代SATソルバーの試作

    • 著者名/発表者名
      森 淳,鍋島 英知
    • 学会等名
      第27回人工知能学会全国大会
    • 発表場所
      富山国際会議場
  • [学会発表] 動的な多目的分散制約最適化問題に関する一検討

    • 著者名/発表者名
      沖本 天太,井上 克巳
    • 学会等名
      人工知能学会第27回全国大会 (JSAI 2013)
    • 発表場所
      富山国際会議場
  • [学会発表] GlueMiniSat 2.2.7: On-The-Fly Lazy Clause Simplification

    • 著者名/発表者名
      Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue
    • 学会等名
      The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
    • 発表場所
      University of Helsinki, Finland
  • [備考] CSPSAT2プロジェクト

    • URL

      http://www.edu.kobe-u.ac.jp/istc-tamlab/cspsat/

URL: 

公開日: 2015-05-28  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi