Publ3 search

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.

Publikační činnost

Probíhá načítání, čekejte prosím...

Typ záznamu:	prezentace (kongresy, sympózia, konference, workshopy)
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: Slovenská Technická Univerzita. Bratislava. 2007.

Podnázev
Rok vydání:	2007
Obor:	Obecná matematika
Místo konání:	Bratislava
Stát konání akce:	Neurčeno
Název akce:	Slovenská Technická Univerzita
Datum od:
Datum do:
Druh prezentace:	Přednáška
Instituce:

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:00000067

Complementary Content

${loading}