Proximity-Based Unification: An Efficient Implementation Method

Unification is a central concept in logic systems based on the resolution principle. As well, in knowledge representation, proximity relations (i.e., reflexive, symmetric, fuzzy binary relations) are useful for introducing semantics into a syntactic level by modeling the semantic closeness of differ...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on fuzzy systems Vol. 29; no. 5; pp. 1238 - 1251
Main Authors:	Julian-Iranzo, Pascual, Saenz-Perez, Fernando
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.05.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Algorithms Approximation algorithms Bousi<inline-formula xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> <tex-math notation="LaTeX"> sim</tex-math> </inline-formula>Prolog Cognition Fuzzy logic fuzzy logic programming (FLP) fuzzy prolog Knowledge representation Logic programming Prolog Proximity proximity relations Semantics Superluminescent diodes Syntactics weak SLD resolution weak unification
ISSN:	1063-6706, 1941-0034
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!