Prolog-ELF incorporating fuzzy logic

Authors:
Mitsuru Ishizuka;Naoki Kanai
Affiliations:
Institute of Industrial Science, University of Tokyo, Minato-ku, Tokyo, Japan;Institute of Industrial Science, University of Tokyo, Minato-ku, Tokyo, Japan
Venue:
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Year:
1985

Citing 3
Cited 26

Fuzzy Logic and the Resolution Principle

Journal of the ACM (JACM)
Fuzzy Sets and Systems: Theory and Applications

Fuzzy Sets and Systems: Theory and Applications
Subjective bayesian methods for rule-based inference systems

AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition

Fuzzy Prolog: A Simple General Implementation Using CLP(R)

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
The Well-Founded Semantics in Normal Logic Programs with Uncertainty

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Measuring the Interpretive Cost in Fuzzy Logic Computations

WILF '07 Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
An improved reductant calculus using fuzzy partial evaluation techniques

Fuzzy Sets and Systems
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding

Electronic Notes in Theoretical Computer Science (ENTCS)
Programming with Fuzzy Logic Rules by Using the FLOPER Tool

RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
On the Declarative Semantics of Multi-Adjoint Logic Programs

IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Modeling Interpretive Steps in Fuzzy Logic Computations

WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
Thresholded Tabulation in a Fuzzy Logic Setting

Electronic Notes in Theoretical Computer Science (ENTCS)
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering

Electronic Notes in Theoretical Computer Science (ENTCS)
Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

Annals of Mathematics and Artificial Intelligence
Unfolding-based Improvements on Fuzzy Logic Programs

Electronic Notes in Theoretical Computer Science (ENTCS)
A practical management of fuzzy truth-degrees using FLOPER

RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog

Information Sciences: an International Journal
A static preprocess for improving fuzzy thresholded tabulation

IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Fuzzy computed answers collecting proof information

IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Declarative traces into fuzzy computed answers

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
A complete calculus for possibilistic logic programming with fuzzy propositional variables

UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
Aggregated Fuzzy Answer Set Programming

Annals of Mathematics and Artificial Intelligence
A core language for fuzzy answer set programming

International Journal of Approximate Reasoning
Programming with fuzzy logic and mathematical functions

WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language

Electronic Notes in Theoretical Computer Science (ENTCS)
A top-k query answering procedure for fuzzy logic programming

Fuzzy Sets and Systems
An unfolding-based preprocess for reinforcing thresholds in fuzzy tabulation

IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advances in computational intelligence - Volume Part I
A Fuzzy linguistic prolog and its applications

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a type inference method for Prolog programs. The new idea is to describe a superset of the success set by associating a type substitution (an assignment of sets of ground terms to variables) with each head of definite clause. ...