Interactive configurator with FO(.) and IDP-Z3

要約

産業界には、インタラクティブな構成問題、つまり、コンピュータの助けを借りて人間がインタラクティブに解決する制約解決問題がたくさんあります。
コンフィギュレーターと呼ばれるコンピューター プログラムは、ユーザーが提供する (多くの場合不完全な) 情報を使用して、さまざまな推論タスクを実行する必要があります。
命令型プログラミング アプローチでは、このようなシステムの実装と保守が困難になります。
エンジニアがこのような問題を解決するのに役立つ知識ベースのコンフィギュレーターが提案されていますが、多くの課題が残っています。
FO(.) KR 言語用の新しい推論エンジンである IDP-Z3 を紹介し、ナレッジ ベースからコンフィギュレーターを自動的に構築するためのその使用について報告します。

要約(オリジナル)

Industry abounds with interactive configuration problems, i.e., constraint solving problems interactively solved by persons with the assistance of a computer. The computer program, called a configurator, needs to perform a variety of reasoning tasks with the (often incomplete) information that the user provides. Imperative programming approaches make such systems difficult to implement and maintain. Knowledge-based configurators have been proposed to help engineers solve such problems, but many challenges remain. We present IDP-Z3, a new reasoning engine for the FO(.) KR language, and we report on its use for building configurators automatically from a knowledge base.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google