FASILL: Fuzzy Correct Answers and Soundness⋆
| Autor: | Jaime Penabad, Pascual Julián-Iranzo, Ginés Moreno |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Soundness
Theoretical computer science Unification Semantics (computer science) 0102 computer and information sciences 02 engineering and technology 01 natural sciences Fuzzy logic Operational semantics 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Acronym Logic programming Truth function |
| Zdroj: | FUZZ-IEEE |
| DOI: | 10.1109/fuzz-ieee.2018.8491504 |
| Popis: | The FASILL programming language (acronym of "Fuzzy Aggregators and Similarity Into a Logic Language") combines a weak unification algorithm, based on similarity relations, along with a rich repertoire of fuzzy connectives and aggregators, whose truth functions can be defined on a complete lattice. In this paper, after recalling the operational semantics of this language, we provide a notion of fuzzy correct answer for a program and a goal and we prove the soundness of FASILL for this operational semantics and the notion of correct answer introduced. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|