抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本研究では,論理プログラミングと抽象議論フレームワークの両者をNelsonの建設論理N4の観点から解釈できることを示した。この論理において,ここでは,非矛盾推論と強化閉鎖世界仮定と呼ぶ2つの原理,すなわち,信念が矛盾する証拠に基づいて保持できないという2つの原理,および,後者が誤った証拠と相反する証拠の両者を誤って見なせること,という2つの原理を,そのように定式化することによって,そのように,この論理において,その2つの原理を,そのように,その矛盾する証拠に基づいて保持できるという2つの原理を,そのようにした。これらの原理を用いて,論理プログラミングと抽象的議論フレームワークを,モジュール方式とオブジェクト言語を用いて構成論理に変換した。論理プログラミング含意と抽象議論サポートは,翻訳において,非矛盾推論原理に従う新しい含意結合である。次に,攻撃は,この新含意と強い否定を結合することによって表現される。Logicプログラミング(TPLP)の理論と実践における考察。【JST・京大機械翻訳】