Resolution Principle in Fuzzy Predicate Logic.
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F06%3A00000106" target="_blank" >RIV/61988987:17610/06:00000106 - isvavai.cz</a>
Alternative codes found
RIV/61988987:17310/06:00000091
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Resolution Principle in Fuzzy Predicate Logic.
Original language description
. The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. There is also presented an unification algorithm handling existentiality withoutskolemization. Its idea follows from the general resolution with existentiality for the first-order logic. When the prover is constructed it provides the deductive system, where existing resolution strategies may be used with some limitations arising from specific properties of the FPL.
Czech name
Rezoluční princip ve fuzzy predikátové logice
Czech description
Rezoluční princip pro fuzzy predikátovou logiku
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proc. of 5th International Conference Aplimat 2006
ISBN
80-967305-4-1
ISSN
—
e-ISSN
—
Number of pages
10
Pages from-to
525-534
Publisher name
Slovenská Technická Univerzita
Place of publication
Bratislava
Event location
Bratislava
Event date
Jan 1, 2006
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—