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%2F05%3A00000013" target="_blank" >RIV/61988987:17610/05:00000013 - isvavai.cz</a>
Alternative codes found
RIV/61988987:17310/05:00000017
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 without skolemization. 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 fromspecific properties of the FPL.
Czech name
Rezoluční princip ve fuzzy predikátové logice
Czech 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 without skolemization. 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 fromspecific properties of the FPL.
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
2005
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
In Acta facultatis paedagogicae universitatis tyrnaviensis (mathematics, physics, computer science)
ISBN
80-8082-050-3
ISSN
—
e-ISSN
—
Number of pages
10
Pages from-to
3-12
Publisher name
Trnavská Univerzita
Place of publication
Trnava
Event location
—
Event date
—
Type of event by nationality
—
UT code for WoS article
—