抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
仮説は,仮説を用いて仮説推論を行うのに対し,仮説を用いて,仮説推論(ABA)における非単調推論を実行する必要がある。しかし,ABAフレームワークにおいてそれらを表現する場合には仮定としばしば混乱するだけでなく,その言語が明示的否定[数式:原文を参照]を含むABAフレームワークにおける拡張アブダクションを実行するための研究は行われていない。したがって,最初に,ABAフレームワークの一貫性を定義した。[数式:原文を参照]。それに基づいて,著者らは,フレームワークにおける仮説に沿った仮説を扱いながら,ABAにおける拡張アブダクションを実行するためのフレームワークを提示する。理論的には,SakamaとInoueの拡張されたアブダクションを示した。古典的な否定を含むアブダクティブ論理プログラム(ALP)は,ALPにより瞬時化されたABAにおける拡張アブダクションにより捕捉できる。最後に,著者らは,応答セットプログラミングに基づくABAにおける拡張アブダクションを計算する方法を提供した。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】