OU Portal
Log In
Welcome
Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
>
Publ3 search
Error:
Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.
{}
Zavřít
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu:
stať ve sborníku (D)
Domácí pracoviště:
Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:
INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
Citace
Habiballa, H. INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE.
In:
Proc. of International Conference Aplimat 2007.
Bratislava: Slovenská Technická Univerzita, 2007. Slovenská Technická Univerzita, 2007. s. 525-534. ISBN 80-967305-4-1.
Podnázev
Rok vydání:
2007
Obor:
Obecná matematika
Počet stran:
10
Strana od:
525
Strana do:
534
Forma vydání:
Kód ISBN:
80-967305-4-1
Kód ISSN:
Název sborníku:
Proc. of International Conference Aplimat 2007
Sborník:
Název nakladatele:
Slovenská Technická Univerzita
Místo vydání:
Bratislava
Stát vydání:
Sborník vydaný v zahraničí
Název konference:
Aplimat 2007
Místo konání konference:
Bratislava
Datum zahájení konference:
Typ akce podle státní
příslušnosti účastníků:
Evropská akce
Kód UT WoS:
EID:
Klíčová slova anglicky:
Fuzzy inference systems, Non-classical logics, Automated theorem proving, Non-clausal resolution.
Popis v původním jazyce:
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 Formulas is 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.
Popis v anglickém jazyce:
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 Formulas is 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.
Seznam ohlasů
Ohlas
R01:
RIV/61988987:17610/07:A1000KCO
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules
Probíhá načítání, čekejte prosím...