Logic programming: functions, relations, and equations
Logic programming: functions, relations, and equations
Prolog-ELF incorporating fuzzy logic
New Generation Computing
Quantitative deduction and its fixpoint theory
Journal of Logic Programming
International Journal of Approximate Reasoning
Logic programming and databases
Logic programming and databases
A fuzzy Prolog database system
A fuzzy Prolog database system
Probabilistic logic programming
Information and Computation
GEFRED: a generalized model of fuzzy relational databases
Information Sciences—Informatics and Computer Science: An International Journal
Towards the implementation of a generalized fuzzy relational database model
Fuzzy Sets and Systems
A statistical approach to incomplete information in database systems
ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
A relational model of data for large shared data banks
Communications of the ACM
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Logic Programming and Soft Computing
Logic Programming and Soft Computing
The Management of Probabilistic Data
IEEE Transactions on Knowledge and Data Engineering
An Architecture for a Deductive Fuzzy Relational Database
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Hybrid probabilistic programs: algorithms and complexity
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Hi-index | 0.00 |
In this paper, we define the concept of generalized rule for making classical deduction with imprecise data, stored both data and rules in a fuzzy relational database represented in the GEFRED model. We propose a way of measuring the imprecision related to the calculation of a fact based on the matching degree of the facts in the database and the facts calculated while expanding the rules. In order to achieve this, classical algorithms for deduction are not appropriated and we propose the modifications that have to be applied on a classical tuple-oriented algorithm in order to design a new algorithm for deducing from imprecise data with generalized rules.