| 研究課題/領域番号 |
20K11947
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分61030:知能情報学関連
|
|---|
| 研究機関 | 国立研究開発法人産業技術総合研究所 |
|---|
研究代表者 |
Nicolas Schwind 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (60646397)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2024-03-31
|
| 研究課題ステータス |
交付 (2022年度)
|
| 配分額 *注記 |
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2022年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2021年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2020年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | Knowledge Representation / Robustness / Resilience / Iterated Change / Facility Location / Multiagent systems / Team Formation / Belief Change / Improvement |
|---|
| 研究開始時の研究の概要 |
We will provide a solution to deploy a set of facilities on a populated map that is robust to natural disasters, that is, to ensure a certain quality of service in all phases of a disaster scenario. In particular, we will formalize the new resilience notion in the popular Coalition Formation framework, introduce algorithms, and design benchmarks based on real-world data. By the end of the project, we will make publicly available a software which, given a chosen populated map, finds a resilient facility deployment according to our notion and in efficient time.
|
| 研究実績の概要 |
We have made significant progress in researching partial robustness in team formation and facility location. Our investigation involved comparing our findings with relevant works in coalition structure generation, set cover, and facility location. The research paper underwent two rounds of reviews and was successfully published in the journal of Autonomous Agents and Multi-Agent Systems.
Furthermore, we developed software that generates artificial facility location instances, offering users flexibility in generating diverse instances with various parameters. The software includes solving algorithms and a visualization tool. Additionally, we created a benchmark set using the software, which will be utilized by the SAT competition community. The detailed generation protocol for this benchmark set was published in the proceedings of SAT Competition 2022: Solver and Benchmark Descriptions.
We also conducted research on the theoretical and fundamental aspects of exogenous change and resilience, focusing on knowledge representation. Our findings were presented in a paper at KR'22, a prestigious international conference specializing in knowledge representation.
Overall, we have achieved significant milestones, including publishing in a reputable journal, releasing comprehensive software, contributing to benchmark sets, and presenting research at a top-tier conference.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
Our project is nearing its final stage, with significant progress achieved in various areas. Firstly, we have successfully published our innovative notion and framework in a prestigious high-level journal, ensuring its widespread dissemination and recognition.
Secondly, we have made our software publicly available, allowing users to access and utilize its features. By releasing this software, we have provided a valuable resource that contributes to the practical implementation of our project.
Furthermore, we have integrated a set of benchmarks specifically tailored for the SAT community. These benchmarks serve as standardized measures to evaluate and compare different approaches within the field.
As we approach the conclusion of our project, we are currently engaged in an exploration of the theoretical aspects surrounding change and resilience. This endeavor aims to establish a strong foundation for future research perspectives, ensuring a robust framework for further investigations.
In summary, our project is in its final stages, marked by the publication of our research, the release of our software, and the incorporation of benchmarks for the SAT community. Additionally, we are actively delving into theoretical aspects to solidify the groundwork for future research endeavors.
|
| 今後の研究の推進方策 |
In FY2023, we will focus on investigating additional theoretical aspects of change and resilience. Our goal is to enhance previous works on iterated change by incorporating new principles and characterization results. This will provide a roadmap for integrating exogenous change in dynamic systems and finding appropriate resilience solutions.
|
