Project/Area Number |
20K11947
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 61030:Intelligent informatics-related
|
Research Institution | National Institute of Advanced Industrial Science and Technology |
Principal Investigator |
Nicolas Schwind 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (60646397)
|
Project Period (FY) |
2020-04-01 – 2024-03-31
|
Project Status |
Granted (Fiscal Year 2022)
|
Budget Amount *help |
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2022: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2021: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2020: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
Keywords | Knowledge Representation / Robustness / Resilience / Iterated Change / Facility Location / Multiagent systems / Team Formation / Belief Change / Improvement |
Outline of Research at the Start |
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.
|
Outline of Annual Research Achievements |
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.
|
Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
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.
|
Strategy for Future Research Activity |
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.
|