Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

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...

Record type:	stať ve sborníku (D)
Home Department:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:	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.

Subtitle
Publication year:	2007
Obor:	Obecná matematika
Number of pages:	10
Page from:	525
Page to:	534
Form of publication:
ISBN code:	80-967305-4-1
ISSN code:
Proceedings title:	Proc. of International Conference Aplimat 2007
Proceedings:
Publisher name:	Slovenská Technická Univerzita
Place of publishing:	Bratislava
Country of Publication:	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
WoS code:
EID:

Key words in English:	Fuzzy inference systems, Non-classical logics, Automated theorem proving, Non-clausal resolution.
Annotation in original language:	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.
Annotation in english language:	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.

References

Reference

R01:	RIV/61988987:17610/07:A1000KCO

Complementary Content

${loading}