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:	Resolution strategies for fuzzy predicate logic with evaluated syntax
Citace	Habiballa, H. Resolution strategies for fuzzy predicate logic with evaluated syntax. In: Proceedings of Znalosti 2007. Ostrava: VŠB-TUO, 2007. VŠB-TUO, 2007. s. 201-212. ISBN 978-80-248-1279-3.

Subtitle
Publication year:	2007
Obor:	Využití počítačů, robotika a její aplikace
Number of pages:	10
Page from:	201
Page to:	212
Form of publication:
ISBN code:	978-80-248-1279-3
ISSN code:
Proceedings title:	Proceedings of Znalosti 2007
Proceedings:
Publisher name:	VŠB-TUO
Place of publishing:	Ostrava
Country of Publication:	Sborník vydaný v ČR
Název konference:	ZNALOSTI 2007
Místo konání konference:	Ostrava
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Evropská akce
WoS code:
EID:

Key words in English:	Automated theorem proving, non-clausal resolution, general resolution, fuzzy logic, uncertain knowledge
Annotation in original language:	The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic based on the general (non-clausal) resolution rule. The problem of automated reasoning concerning fuzzy logic requires more complex methods in contrast to classical logic. Additionally we present several inference strategies for efficient theorem proving in fuzzy logic based on Detection of Consequent Formulas algorithm. It is possible to combine it with the standard proof search techniques like breadth-first search or linear search.
Annotation in english language:	The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic based on the general (non-clausal) resolution rule. The problem of automated reasoning concerning fuzzy logic requires more complex methods in contrast to classical logic. Additionally we present several inference strategies for efficient theorem proving in fuzzy logic based on Detection of Consequent Formulas algorithm. It is possible to combine it with the standard proof search techniques like breadth-first search or linear search.

References

Reference

R01:	RIV/61988987:17610/07:A1000J0W

Complementary Content

${loading}