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ženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on fuzzy systems Ročník 29; číslo 5; s. 1238 - 1251
Hlavní autoři:	Julian-Iranzo, Pascual, Saenz-Perez, Fernando
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.05.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!