The Fuzzy Logic Programming language FASILL: Design and implementation

Julián-Iranzo, Pascual; Moreno, Ginés; Riaza, José Antonio

doi:10.1016/j.ijar.2020.06.002

International Journal of Approximate Reasoning

2020

DOI: 10.1016/j.ijar.2020.06.002

|View full text |Cite

The Fuzzy Logic Programming language FASILL: Design and implementation

Pascual Julián-Iranzo

Ginés Moreno

José Antonio Riaza

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2023

2024

Publication Types

Select...

Article6

Relationship

Self Cite0

Independent6

Authors

Journals

Cited by 9 publications

(1 citation statement)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…systems such as FASILL [12] and Bousi∼Prolog [13], [14], which has been employed in several applications such as text classification [15], [16], linguistic feedback in computer games [17], decision making [18], [19], and knowledge discovery [20]. Aït-Kaci and Pasi [21] have presented a procedure for weak unification that, besides tolerating different (but similar) functor symbols, also allows the unification of FOTs with a different number and possibly a different order of arguments.…”

mentioning

confidence: 99%

Similarity-Based Reasoning With Order-Sorted Feature Logic

Milanese,

Pasi

2024

IEEE Trans. Fuzzy Syst.

View full text Add to dashboard Cite

Order-Sorted Feature (OSF) logic is a knowledge representation and reasoning language based on sorts -symbols that denote concepts ordered in a subsumption relation -and features -symbols that denote functional attributes. Reasoning with OSF logic is based on the unification of OSF terms, recordlike structures that denote classes of objects and that are themselves ordered in a subsumption relation. OSF term unification aims to combine the constraints expressed by two terms in a consistent way, and it takes into account the subsumption relation between sort symbols, providing an efficient calculus of type subsumption. This paper presents an approach to define approximate reasoning with OSF logic by extending its language with a similarity relation on sorts. In order for the OSF term unification algorithm to take into account this similarity and its interaction with the subsumption relation, we propose to combine the two relations into a single fuzzy subsumption relation. The advantage is that the same unification rules of OSF logic can then be applied to this fuzzy setting. We conclude by discussing potential applications of OSF logic extended with a sort similarity relation.

show abstract

mentioning

confidence: 99%

Similarity-Based Reasoning With Order-Sorted Feature Logic

Milanese,

Pasi

2024

IEEE Trans. Fuzzy Syst.

View full text Add to dashboard Cite

show abstract

Computational reaching of quantified consequences from imperfect initial data

Medina,

Antonio Torné‐Zambrano

2024

Math Methods in App Sciences

View full text Add to dashboard Cite

Usually, it is not direct to translate theoretical results to practice. One of the challenges is the real computation of solutions to proposed problems, when infinite numbers (such as real numbers or the unit interval) are considered. The same is true when consequences (information) from a data set modeled by logical rules need to be obtained. In this framework, this information is obtained from the immediate consequences operator and ensuring its continuity is fundamental for making sure the computation of this information in a countable number of iterations. Recently, a versatile operator using generalized quantifiers has been introduced. This note will advance in the knowledge introducing necessary and sufficient conditions to ensure the continuity of this new flexible operator.

show abstract

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language

Julián-Iranzo

Sáenz-Pérez

2023

Expert Systems with Applications

View full text Add to dashboard Cite

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

The Fuzzy Logic Programming language FASILL: Design and implementation

Cited by 9 publications

References 30 publications

Similarity-Based Reasoning With Order-Sorted Feature Logic

Similarity-Based Reasoning With Order-Sorted Feature Logic

Computational reaching of quantified consequences from imperfect initial data

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language

Contact Info

Product

Resources

About