• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2020 Fiscal Year Final Research Report

Research and Development on Multi-objective Optimization Solver based on Advanced Knowledge Representation and Reasoning Techniques

Research Project

  • PDF
Project/Area Number 18K11242
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60050:Software-related
Research InstitutionNagoya University

Principal Investigator

Banbara Mutsunori  名古屋大学, 情報学研究科, 教授 (80290774)

Co-Investigator(Kenkyū-buntansha) 宋 剛秀  神戸大学, 情報基盤センター, 准教授 (00625121)
田村 直之  神戸大学, 情報基盤センター, 教授 (60207248)
Project Period (FY) 2018-04-01 – 2021-03-31
Keywords解集合プログラミング / 最適化 / 時間割問題
Outline of Final Research Achievements

Answer Set Programming (ASP), derived from Logic Programming, is an approach to declarative problem solving. We develop an approach to solving multi-objective optimization problems based on ASP. We show the effectiveness of our approach by empirically contrasting it to more dedicated implementations, through real-world problems such as timetabling.

Free Research Field

情報学基礎

Academic Significance and Societal Importance of the Research Achievements

近年,解集合プログラミング技術は大きく進歩し,今後ますますの発展が見込まれる.本研究課題の成果は,高度な知識表現・推論・最適化を必要とするアプリケーション開発において,高性能かつ高機能な推論基盤を提供するものであり,様々な研究分野での活用が期待できる.例えば,多目的最適化は人工知能における選考 (preference) とも密接な関係があり,この研究分野への波及効果も大きく期待できる.

URL: 

Published: 2022-01-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi