Výsledky vyhledávání - "Fuzzy Logic Programming"

Seeking a safe and efficient similarity-based unfolding rule Autor Julián-Iranzo, Pascual, Moreno, Ginés, Riaza, José Antonio

“…The unfolding transformation has been widely used in many declarative frameworks for improving the efficiency of programs. Inspired by our previous experiences…”
Získat plný text

An intelligent data-driven model for sustainable-resilient supplier scrutiny and selection in sustainable reconfigurable manufacturing systems Autor Gholami, Hamed, Delorme, Xavier, Dolgui, Alexandre

“…In the research stream of sustainable reconfigurable manufacturing systems, sustainable and resilient supplier scrutiny and selection emerges as a key…”
Získat plný text

Some properties of substitutions in the framework of similarity relations Autor Julián-Iranzo, Pascual, Moreno, Ginés, Riaza, José Antonio

“…A substitution is a mapping from variables to terms. There is a consensus in the Logic Programming community that the work with substitutions is a source of…”
Získat plný text

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language Autor Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

“…The fuzzy logic programming language Bousi∼Prolog extends Prolog with a weak unification algorithm based on proximity relations and truth degree annotations…”
Získat plný text

On reductants in the framework of multi-adjoint logic programming Autor Julián-Iranzo, Pascual, Medina, Jesús, Ojeda-Aciego, Manuel

“…Reductants are a special kind of fuzzy rules which constitute an essential theoretical tool for proving correctness properties. As it has been reported, when…”
Získat plný text

MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations Autor LANZINGER, MATTHIAS, SFERRAZZA, STEFANO, GOTTLOB, GEORG

“…Modern applications combine information from a great variety of sources. Oftentimes, some of these sources, like machine-learning systems, are not strictly…”
Získat plný text

A sound and complete semantics for a similarity-based logic programming language Autor Julián-Iranzo, Pascual, Rubio-Manzano, Clemente

“…Similarity-based Logic Programming replaces the syntactic unification algorithm of classical SLD-resolution by a fuzzy one, leading to an operational mechanism…”
Získat plný text

Extending Fuzzy Linguistic Logic Programming with Negation xref rid="fn1-mathematics-1837411" ref-type="fn">† /xref Autor Van Hung Le

“…Fuzzy linguistic logic programming (FLLP) is a framework for representation and reasoning with linguistically expressed human knowledge. In this paper, we…”
Získat plný text

Proximity-Based Unification: An Efficient Implementation Method Autor Julian-Iranzo, Pascual, Saenz-Perez, Fernando

“…Unification is a central concept in logic systems based on the resolution principle. As well, in knowledge representation, proximity relations (i.e.,…”
Získat plný text

Proximity-based unification theory Autor Julián-Iranzo, Pascual, Rubio-Manzano, Clemente

“…Similarity-based Logic Programming has been proposed to enhance the Logic Programming paradigm with similarity relations, in order to represent and manage…”
Získat plný text

An Autonomic Approach to Risk-Aware Data Center Overbooking Autor Tomas, Luis, Tordsson, Johan

“…Elasticity is a key characteristic of cloud computing that increases the flexibility for cloud consumers, allowing them to adapt the amount of physical…”
Získat plný text

Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System Autor JULIÁN-IRANZO, PASCUAL, SÁENZ-PÉREZ, FERNANDO

“…This paper introduces techniques to integrate WordNet into a Fuzzy Logic Programming system. Since WordNet relates words but does not give graded information…”
Získat plný text

Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog Autor JULIÁN-IRANZO, PASCUAL, SÁENZ-PÉREZ, FERNANDO

“…This paper explores the integration of hypothetical reasoning into an efficient implementation of the fuzzy logic language Bousi∼Prolog. To this end, we first…”
Získat plný text

A Fuzzy Datalog Deductive Database System Autor Julian-Iranzo, Pascual, Saenz-Perez, Fernando

“…This paper describes a proposal for a deductive database system with fuzzy <inline-formula> <tex-math notation="LaTeX">{{\small…”
Získat plný text

Extending Fuzzy Linguistic Logic Programming with Negation Autor Le, Van Hung

“…Fuzzy linguistic logic programming (FLLP) is a framework for representation and reasoning with linguistically expressed human knowledge. In this paper, we…”
Získat plný text

Tabulation proof procedures for fuzzy linguistic logic programming Autor Le, Van Hung, Liu, Fei

“…•The non-deterministic procedure is goal-oriented, sound, and complete and terminates.•The deterministic procedure is more efficient than the non-deterministic…”
Získat plný text

Fuzzy logic programming Autor Vojtáš, Peter

“…In this paper we consider the theory of fuzzy logic programming without negation. Our results cover logical systems with a wide variety of connectives ranging…”
Získat plný text

Thresholded semantic framework for a fully integrated fuzzy logic language Autor Julián-Iranzo, Pascual, Moreno, Ginés, Penabad, Jaime

Získat plný text

Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs Autor Riaza, Jose A., Moreno, Gines

“…During the last years we have developed advanced tools for tuning fuzzy logic programs devoted to facilitate the selection of the more appropriate set of…”
Získat plný text

Fuzzy matchmaking in e-marketplaces of peer entities using Datalog Autor Ragone, Azzurra, Straccia, Umberto, Di Noia, Tommaso, Di Sciascio, Eugenio, Donini, Francesco M.

“…We present an approach to matchmaking in electronic marketplaces of peer entities, which mixes in a formal and principled way Datalog, fuzzy sets and utility…”
Získat plný text