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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on fuzzy systems Ročník 29; číslo 5; s. 1238 - 1251
Hlavní autori:	Julian-Iranzo, Pascual, Saenz-Perez, Fernando
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.05.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!