FO(.)とIDP-Z3による対話型コンフィギュレータ【JST・京大機械翻訳】

Carbonnelle Pierre; Vandevelde Simon; Vennekens Joost; Denecker Marc

プレプリント

J-GLOBAL ID：202202210565844422 整理番号：22P0282955

FO(.)とIDP-Z3による対話型コンフィギュレータ【JST・京大機械翻訳】

Interactive configurator with FO(.) and IDP-Z3

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2022年02月01日プレプリントサーバーでの情報更新日： 2023年03月20日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

インタラクティブ構成問題,即ち,コンピュータの支援により人によって対話的に解決された制約解決問題,の産業アバウンド。コンフィギュレータと呼ばれるコンピュータプログラムは,ユーザが提供する(しばしば不完全な)情報で様々な推論タスクを行う必要がある。障害プログラミング手法はそのようなシステムを実装し,維持するのを困難にする。技術者がそのような問題を解決するのを助けるために,知識ベースの構成員が提案されているが,多くの課題が残っている。FO(.)KR言語の新しい推論エンジンであるIDP-Z3を提示し,知識ベースから自動的に建築構成者への利用について報告した。【JST・京大機械翻訳】

, , , , , ,
, , 【Automatic Indexing@JST】

人工知能

, ,

前のページに戻る