木藤浩之 Kido Hiroyuki

研究者番号	90705287
所属 (過去の研究課題情報に基づく) *注記	2016年度 – 2021年度: 電気通信大学, 大学院情報理工学研究科, 客員研究員 2017年度: 電気通信大学, 情報学専攻, 客員研究員 2015年度: 東京大学, 工学(系)研究科(研究院), 助教
審査区分/研究分野	研究代表者小区分61030:知能情報学関連 / 紛争研究研究代表者以外小区分60050:ソフトウェア関連 / ソフトウェア
キーワード	研究代表者非単調論理 / 逆問題 / ベイズ推論 / 計算論的議論 / 生成モデル / 機械学習 / 議論 / 逆議論問題 / Bayes / Inverse problem … もっと見る / Argumentation / ベイズ推定 / 形式的議論 / 議論マイニング / ベイズ統計 / 抽象的議論 / 議論可視化 / 紛争解決 / 教師あり学習 / 受理可能性学習 / 紛争研究 / 論理 / 知能情報学 / ベイズ / 推論 … もっと見る研究代表者以外数理議論学 / 仕様検証 / 不整合解消 / 自然言語処理 / 品質向上 / 仕様 / SMTソルバ / 数理論理学 / 消費者向けシステム / リスク共有 / 議論フレームワーク / ソフトウェア受け入れテスト / インテグリティレベル / 双極対話議論 / アシュアランス / 抽象対話議論 / ゴール構造化表記法 / 議論 / 論証 / アシュアランスケース隠す

数理議論学に基づく仕様書の不整合解消支援ツールの作成
- 研究代表者
  
  岡本圭史
- 研究期間 (年度)
  2019 – 2021
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  仙台高等専門学校
議論マイニングのための議論に基づくベイズ的生成モデル研究代表者
- 研究代表者
  
  木藤浩之
- 研究期間 (年度)
  2018 – 2021
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分61030:知能情報学関連
- 研究機関
  電気通信大学
実在・仮想データを用いた議論の論理に基づく紛争分析支援研究代表者
- 研究代表者
  
  木藤浩之
- 研究期間 (年度)
  2015 – 2018
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  紛争研究
- 研究機関
  電気通信大学
   東京大学
議論学を応用したソフトウェアインテグリティレベルの提案
- 研究代表者
  
  高井利憲
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  奈良先端科学技術大学院大学

すべて 2022 2020 2019 2018 2017 2016 2015

すべて雑誌論文学会発表図書

[図書] Proc. of the 2nd International Workshop on Argument for Agreement and Assurance2017
- 著者名/発表者名
  Hiroyuki Kido
- 総ページ数
  15
- 出版者
  Springer
- データソース
  KAKENHI-PROJECT-15KT0041
[図書] Proc. of the 19th International Conference on Principles and Practice of Multi-Agent Systems2016
- 著者名/発表者名
  Hiroyuki Kido
- 総ページ数
  10
- 出版者
  Springer
- データソース
  KAKENHI-PROJECT-15KT0041
[雑誌論文] Generative Logic Models for Data-Based Symbolic Reasoning2022
- 著者名/発表者名
  Hiroyuki Kido
- 雑誌名
  
  8th International Workshop on Artificial Intelligence and Cognition
  
  巻: -
- 査読あり
- データソース
  KAKENHI-PROJECT-18K11428
[雑誌論文] Towards Unifying Logical Entailment and Statistical Estimation2022
- 著者名/発表者名
  Hiroyuki Kido
- 雑誌名
  
  arXiv
  
  巻: -
- オープンアクセス
- データソース
  KAKENHI-PROJECT-18K11428
[雑誌論文] Towards Unifying Logical Entailment and Statistical Estimation2022
- 著者名/発表者名
  Hiroyuki Kido
- 雑誌名
  
  CoRR
  
  巻: abs/2202.13406
- オープンアクセス
- データソース
  KAKENHI-PROJECT-19K11914
[雑誌論文] Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy2020
- 著者名/発表者名
  Hiroyuki Kido and Keishi Okamoto
- 雑誌名
  
  CoRR
  
  巻: abs/2012.08479
- オープンアクセス
- データソース
  KAKENHI-PROJECT-19K11914
[雑誌論文] Bayesian Entailment Hypothesis: How Brains Implement Monotonic and Non-monotonic Reasoning2020
- 著者名/発表者名
  Hiroyuki Kido
- 雑誌名
  
  CoRR
  
  巻: abs/2005.00961
- オープンアクセス
- データソース
  KAKENHI-PROJECT-19K11914
[雑誌論文] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020
- 著者名/発表者名
  Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 2170 ページ: 64-72
- NAID
  120006956442
- オープンアクセス
- データソース
  KAKENHI-PROJECT-19K11914
[雑誌論文] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020
- 著者名/発表者名
  Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
- 雑誌名
  
  京都大学数理解析研究所講究録, 採録予定
- NAID
  120006956442
- データソース
  KAKENHI-PROJECT-19K11914
[雑誌論文] A Bayesian Approach to Direct and Inverse Abstract Argumentation Problems2019
- 著者名/発表者名
  Hiroyuki Kido, Beishui Liao
- 雑誌名
  
  arXiv
- オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11914
[学会発表] Generative Logic Models for Data-Based Symbolic Reasoning2022
- 著者名/発表者名
  Hiroyuki Kido
- 学会等名
  8th International Workshop on Artificial Intelligence and Cognition
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11428
[学会発表] Defining extensions with first-order logic formulas, and its computation2019
- 著者名/発表者名
  Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
- 学会等名
  2019 RIMS Model Theory Workshop
- データソース
  KAKENHI-PROJECT-19K11914
[学会発表] Bayesian Model Selection in Statistical Construction of Justification2018
- 著者名/発表者名
  Hiroyuki Kido
- 学会等名
  The 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15KT0041
[学会発表] Bayesian Model Selection in Statistical Construction of Justification2018
- 著者名/発表者名
  Hiroyuki Kido
- 学会等名
  16th International Conference on Principles of Knowledge Representation and Reasoning
- データソース
  KAKENHI-PROJECT-18K11428
[学会発表] A Bayesian Approach to Argument-Based Reasoning for Attack Estimation2017
- 著者名/発表者名
  Hiroyuki Kido and Keishi Okamoto
- 学会等名
  Proc. of the 26th International Joint Conference on Artificial Intelligence
- 発表場所
  Melbourne, Australia
- 年月日
  2017-08-19
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15KT0041
[学会発表] Balancing Between Cognitive and Semantic Acceptability of Arguments2017
- 著者名/発表者名
  Hiroyuki Kido
- 学会等名
  The 10th International Conference on Knowledge Science, Engineering and Management
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15KT0041
[学会発表] A Bayesian Approach to Argument-Based Reasoning for Attack Estimation2017
- 著者名/発表者名
  Hiroyuki Kido
- 学会等名
  The 26th International Joint Conference on Artificial Intelligence
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15KT0041
[学会発表] Argument-Based Bayesian Estimation of Attack Graphs: A Preliminary Empirical Analysis2017
- 著者名/発表者名
  Hiroyuki Kido
- 学会等名
  The 20th International Conference on Principles and Practice of Multi-Agent Systems
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15KT0041
[学会発表] Argumentation Versus Optimization for Supervised Acceptability Learning2016
- 著者名/発表者名
  Hiroyuki Kido
- 学会等名
  Proc. of the 19th International Conference on Principle and Practice of Multi-agent Systems
- 発表場所
  Phuket, Thailand
- 年月日
  2016-08-22
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15KT0041
[学会発表] Developing SNS tool for Consensus Building on Environmental Safety using Assurance Cases (Tool Paper)2016
- 著者名/発表者名
  Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido and Kenji Tanaka
- 学会等名
  Proc. of the 4th International Workshop on Assurance Cases for Software-intensive Systems
- 発表場所
  Trondheim, Norway
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15KT0041
[学会発表] Modular construction of assurance cases written in dGSN2015
- 著者名/発表者名
  Toshinori Takai, Hiroyuki Kido
- 学会等名
  2nd International Workshop on Argument for Agreement and Assurance
- 発表場所
  慶応大学日吉キャンパス（横浜市神奈川県）
- 年月日
  2015-11-17
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15KT0041
[学会発表] Learning Argument Acceptability from Abstract Argumentation Frameworks2015
- 著者名/発表者名
  Hiroyuki Kido
- 学会等名
  2nd International Workshop on Argument for Agreement and Assurance
- 発表場所
  慶応大学日吉キャンパス（神奈川県横浜市）
- 年月日
  2015-11-17
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15KT0041
[学会発表] An Effective Way to Review and Manage Assurance Cases (Tool Demo: Defeasible GSN)2015
- 著者名/発表者名
  Toshinori Takai, Hiroyuki Kido and Yutaka Matsuno
- 学会等名
  2nd International Workshop on Argument for Agreement and Assurance
- 発表場所
  慶応大学日吉キャンパス（横浜市神奈川県）
- 年月日
  2015-11-17
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15KT0041
[学会発表] Modular construction of assurance cases written in defeasible goal structuring notation2015
- 著者名/発表者名
  Toshinori Takai, Hiroyuki Kido, and Yutaka Matsuno
- 学会等名
  2nd International Workshop on Argument for Agreement and Assurance (AAA 2015)
- 発表場所
  慶應大学日吉キャンパス（神奈川県横浜市）
- 年月日
  2015-11-17
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00100
[学会発表] 議論学の紹介とその機械学習への応用2015
- 著者名/発表者名
  木藤浩之
- 学会等名
  電子情報通信学会知能ソフトウェア工学研究会
- 発表場所
  日本大学駿河台キャンパス（東京都千代田区）
- 年月日
  2015-10-29
- 招待講演
- データソース
  KAKENHI-PROJECT-15KT0041

1. 高井利憲 (10425738)

共同の研究課題数: 3件

共同の研究成果数: 6件
2. 岡本圭史 (00308214)

共同の研究課題数: 2件

共同の研究成果数: 5件
3. 古澤仁 (00357930)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 阿部明典 (40221725)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 久代紀之 (50630886)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 新田克己 (60293073)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 中村潤 (80532994)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 高橋和子 (30330400)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 松野裕 (70534220)

共同の研究課題数: 1件

共同の研究成果数: 1件

木藤 浩之 Kido Hiroyuki

研究課題

研究成果

共同研究者

数理議論学に基づく仕様書の不整合解消支援ツールの作成

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

議論マイニングのための議論に基づくベイズ的生成モデル研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

実在・仮想データを用いた議論の論理に基づく紛争分析支援研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

議論学を応用したソフトウェアインテグリティレベルの提案

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[図書] Proc. of the 2nd International Workshop on Argument for Agreement and Assurance2017

著者名/発表者名

総ページ数

出版者

データソース

[図書] Proc. of the 19th International Conference on Principles and Practice of Multi-Agent Systems2016

著者名/発表者名

総ページ数

出版者

データソース

[雑誌論文] Generative Logic Models for Data-Based Symbolic Reasoning2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] Towards Unifying Logical Entailment and Statistical Estimation2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] Towards Unifying Logical Entailment and Statistical Estimation2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy2020

著者名/発表者名

雑誌名

データソース

[雑誌論文] Bayesian Entailment Hypothesis: How Brains Implement Monotonic and Non-monotonic Reasoning2020

著者名/発表者名

雑誌名

データソース

[雑誌論文] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] A Bayesian Approach to Direct and Inverse Abstract Argumentation Problems2019

著者名/発表者名

雑誌名

データソース

[学会発表] Generative Logic Models for Data-Based Symbolic Reasoning2022

著者名/発表者名

学会等名

データソース

[学会発表] Defining extensions with first-order logic formulas, and its computation2019

著者名/発表者名

学会等名

データソース

木藤浩之 Kido Hiroyuki