文献

J-GLOBAL ID：201702210763750691   整理番号：17A1630208

完全統合ファジィ論理型言語のためのしきい値意味論的フレームワーク【Powered by NICT】

Thresholded semantic framework for a fully integrated fuzzy logic language

著者 (3件)： Julian-Iranzo Pascual (Dept. of Technologies and Information Systems, UCLM, 13071 Ciudad Real, Spain) ,  Moreno Gines (Dept. of Computing Systems, UCLM, 02071 Albacete, Spain) ,  Penabad Jaime (Dept. of Mathematics, UCLM, 02071 Albacete, Spain)
資料名： Journal of Logical and Algebraic Methods in Programming  (Journal of Logical and Algebraic Methods in Programming)
巻： 93  ページ： 42-67  発行年： 2017年 
JST資料番号： W1593A  ISSN： 2352-2208  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 本研究は最近,陰的/陽的真理度アノテーションに対処するための設計・実装を行い,いわゆるFASILLプログラミング言語(「ファジィアグリゲータと類似性への論理型言語」の頭字語)のための最小H erbrandモデルの古典的概念,多様な結合子のと類似性による統一のファジィ変異体に基づく宣言的意味論を提案した。また,FASILLプログラムのための最小H erbrandモデルの不動点特性化を与えることを可能にする即時結果演算子を定義した。著者らの宣言的意味論と不動点意味論の顕著な様相を,そのような構成物を管理するための基本的なファジィ言語の自然な能力のおかげで,しきい値の使用によって強化されたという事実である。さらに,操作一つであり,効率的な方法で閾値を管理も意味論の両者を連結させ,その結果全意味的フレームワークの正当性を証明した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 不動点 ,  プログラミング言語 ,  *言語 ,  アノテーション ,  キャラクタリゼーション ,  *曖昧さ ,  操作的意味論 ,  *意味論 ,  *論理型言語 ,  類似性
準シソーラス用語： 宣言的意味論 , 【Automatic Indexing@JST】

著者キーワード (6件)： ファジィ論理プログラミング ,  類似性関係 ,  宣言的意味論 ,  不動点意味論 ,  操作的意味論 ,  正当性

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (6件)： 統合 ,  ファジィ ,  論理型言語 ,  しきい値 ,  意味論 ,  フレームワーク