05月23日(Tue) 13:50〜15:30 M会場(ウインクあいち-10F 1005会議室)
| 演題番号 | 1M1-OS-02a-1 |
|---|---|
| 題目 | (OS招待講演)SAT から解集合プログラミングへ |
| 著者 | 番原 睦則(神戸大学 情報基盤センター) |
| 時間 | 05月23日(Tue) 13:50〜14:30 |
| 概要 | 解集合プログラミング (ASP) 言語は一階論理に基づく表現力の高い知識表現言語の一種である．ASP ソルバーは安定モデル意味論に基づく解集合を計算するシステムである．近年，SAT 技術を応用した高速 ASP ソルバーが実現され，人工知能分野への実用的応用が急速に拡大している．本発表では，ASP の最近の動向を踏まえつつ，ASP の基礎から応用事例までを分かりやすく紹介することを目指す． |