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:	Modelling And Reasoning With Fuzzy Logic Redundant Knowledge Bases
Citace	Habiballa, H., Volná, E., Janošek, M. a Kotyrba, M. Modelling And Reasoning With Fuzzy Logic Redundant Knowledge Bases. In: PROCEEDINGS 27th European Conference on Modelling and Simulation ECMS 2013. Sbr.-Dudweiler, Germany: European Council for Modelling and Simulation, 2013. European Council for Modelling and Simulation, 2013. s. 361-366. ISBN 978-0-9564944-6-7.

Subtitle
Publication year:	2013
Obor:	Informatika
Number of pages:	918
Page from:	361
Page to:	366
Form of publication:	Tištená verze
ISBN code:	978-0-9564944-6-7
ISSN code:
Proceedings title:	PROCEEDINGS 27th European Conference on Modelling and Simulation ECMS 2013
Proceedings:	Mezinárodní
Publisher name:	European Council for Modelling and Simulation
Place of publishing:	Sbr.-Dudweiler, Germany
Country of Publication:	Sborník vydaný v zahraničí
Název konference:	ECMS 2013
Místo konání konference:	Aalesund, Norway
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celosvětová akce
WoS code:
EID:

Key words in English:	Fuzzy logic; Knowledge base; Resolution reasoning
Annotation in original language:	Fuzzy Predicate Logic with evaluated syntax together with resolution principle is presented. The paper focuses mainly on modelling and treating redudancy in knowledge bases. It presents original resolution rule together with algorithm DCF - Detection of Consequent Formulas developed especially for fuzzy logic with evaluated syntax.
Annotation in english language:

References

Reference

R01:	RIV/61988987:17610/13:A14017TL

Complementary Content

${loading}