A Similarity-Based WAM for Bousi~Prolog

Authors:
Pascual Julián-Iranzo;Clemente Rubio-Manzano
Affiliations:
Department of Information Technologies and Systems, University of Castilla-La Mancha,;Department of Information Technologies and Systems, University of Castilla-La Mancha,
Venue:
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Year:
2009

Citing 4
Cited 3

Warren's abstract machine: a tutorial reconstruction

Warren's abstract machine: a tutorial reconstruction
Likelog: a logic programming language for flexible data retrieval

Proceedings of the 1999 ACM symposium on Applied computing
Proximity relations in the fuzzy relational database model

Fuzzy Sets and Systems
Approximate reasoning by similarity-based SLD resolution

Theoretical Computer Science

Fuzzy Logic, Soft Computing, and Applications

IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Classifying unlabeled short texts using a fuzzy declarative approach

Language Resources and Evaluation
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

Bousi~Prolog is an extension of the standard Prolog language with an operational semantics which is an adaptation of the SLD resolution principle where classical unification has been replaced by a fuzzy unification algorithm based on proximity relations defined on a syntactic domain. In this paper we present the structure and main features of a low level implementation for Bousi~Prolog. It consists in a compiler and an extension of the Warren Abstract Machine (WAM) able to incorporate fuzzy unification.