文献

J-GLOBAL ID：201802212023109281   整理番号：18A1711181

満足システム,切断および再牽引に基づく任意の論理における説明関係【JST・京大機械翻訳】

Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction

著者 (4件)： Aiguier Marc (MICS, Centrale Supelec, Universite Paris-Saclay, France) ,  Atif Jamal (Universite Paris-Dauphine, PSL Research University, CNRS, UMR 7243, LAMSADE, 75016 Paris, France) ,  Bloch Isabelle (LTCI, Telecom ParisTech, Universite Paris-Saclay, Paris, France) ,  Pino Perez Ramon (Departemento de Matematicas, Facultad de Ciencias, Universidad de Los Andes, Merida 5101, Venezuela)
資料名： International Journal of Approximate Reasoning  (International Journal of Approximate Reasoning)
巻： 102  ページ： 1-20  発行年： 2018年 
JST資料番号： T0476A  ISSN： 0888-613X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 本論文の目的は,満足システムとして定義された任意の論理における後退の概念に基づいて,アブダクティブ推論演算子を定義するための新しいフレームワークを導入することである。著者らは,このフレームワークがアブダクティブ推論の特性を満足する説明関係の設計にどのように導くかを示し,いくつかの論理へのその応用について議論する。これは,後退が形態学的浸食として定義された命題論理に関する以前の研究を拡張する。ここでは,より弱い特性が収縮に必要であり,異なる論理に対するアブダクションのためのより大きなセットの適切な演算子をもたらす。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 命題論理 ,  *仮説生成 ,  モルフォロジー ,  浸食

著者キーワード (4件)： 説明関係 ,  収縮 ,  切削 ,  満足システム

分類 (2件)： 人工知能  (JE08000Z) ,  自然語処理  (JE06000L)

タイトルに関連する用語 (4件)： 満足 ,  牽引 ,  論理 ,  説明