A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees
复制标题
用于管理相似度和真实度的模糊逻辑编程环境
DOI：
10.4204/eptcs.173.6
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
C. Vázquez
中科院分区：
文献类型：
--
作者：
Pascual Julián Iranzo;Ginés Moreno;J. Penabad;C. Vázquez
FASILL（“模糊聚合器与相似性融入一种逻辑语言”的首字母缩写）是一种具有隐式/显式真值度标注、多种连接词以及基于相似性的合一的模糊逻辑编程语言。FASILL整合并扩展了来自MALP（多伴随逻辑编程，一种具有显式标注规则的模糊逻辑语言）和Bousi~Prolog（它使用一种弱合一算法，非常适合灵活的查询回答）的特性。因此，它在一个单一框架中恰当地处理相似性和真值度，结合了这两种语言在表达上的优势。本文介绍了FASILL的主要特性和实现细节。在文中我们描述了它的语法和操作语义，并给出了格模块和相似性模块实现的线索，这两个模块是新编程环境的主要构建块，丰富了我们研究小组开发的FLOPER系统。
FASILL (acronym of "Fuzzy Aggregators and Similarity Into a Logic Language") is a fuzzy logic programming language with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity. FASILL integrates and extends features coming from MALP (Multi-Adjoint Logic Programming, a fuzzy logic language with explicitly annotated rules) and Bousi~Prolog (which uses a weak unification algorithm and is well suited for flexible query answering). Hence, it properly manages similarity and truth degrees in a single framework combining the expressive benefits of both languages. This paper presents the main features and implementations details of FASILL. Along the paper we describe its syntax and operational semantics and we give clues of the implementation of the lattice module and the similarity module, two of the main building blocks of the new programming environment which enriches the FLOPER system developed in our research group.