INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F07%3A00000068" target="_blank" >RIV/61988987:17610/07:00000068 - isvavai.cz</a>
Alternative codes found
RIV/61988987:17310/07:00000068 RIV/61988987:17610/07:A1000KCO
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Original language description
The article presents time and space efficiency results for resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. The original technique of Detection of Consequent Formulasis presented in combination with linear and breadth-first search. The main intent is to show interesting results concerning limitations and advantages of time and space complexity of the family of linear strategies.
Czech name
INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Czech description
The article presents time and space efficiency results for resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. The original technique of Detection of Consequent Formulasis presented in combination with linear and breadth-first search. The main intent is to show interesting results concerning limitations and advantages of time and space complexity of the family of linear strategies.
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
2007
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 International Conference Aplimat 2007
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, 2007
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—