Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming

Moreno, Ginés; Penabad, Jaime; Vázquez, Carlos

doi:10.1007/978-3-319-08644-6_7

Cited by 2 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…On the other hand, in [11,10,22] we provided some advances in the design of declarative semantics and/or correctness properties regarding the development of fuzzy logic languages dealing with similarity/proximity relations (Bousi∼Prolog) or highly expressive lattices modeling truth degrees (MALP). As a matter of future work we want to establish that analogous -but reinforced-formal properties also hold in the language FASILL.…”

Section: Discussionmentioning

confidence: 99%

“…3 Operational Semantics of FASILL Rules in a FASILL program have the same role than clauses in PROLOG (or MALP [19,10,22]) programs, that is, stating that a certain predicate relates some terms (the head) if some conditions (the body) hold. As a logic language, FASILL inherits the concepts of substitution, unifier and most general unifier (mgu).…”

Section: Definition 24 (Program) a Program P Is A Tuple π R L Whementioning

confidence: 99%

See 1 more Smart Citation

A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees

Julián-Iranzo

Moreno

Penabad

et al. 2015

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Definition 24 (Program) a Program P Is A Tuple π R L Whementioning

confidence: 99%