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:	Katedra informatiky a počítačů (31400)
Title:	Introduction to modelling of natural deduction based on fuzzy type theory
Citace	Telnarová, Z. a Rombová, Z. Introduction to modelling of natural deduction based on fuzzy type theory. In: ICNAAM 2014: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014 2014-09-22 Rhodos, Greece. NY, USA: AIP Publishing LLC, 2015. s. 5500009-5500012. ISBN 978-0-7354-1287-3.

Subtitle
Publication year:	2015
Obor:	Informatika
Number of pages:	4
Page from:	5500009
Page to:	5500012
Form of publication:	Tištená verze
ISBN code:	978-0-7354-1287-3
ISSN code:	0094-243X
Proceedings title:	PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014
Proceedings:	Mezinárodní
Publisher name:	AIP Publishing LLC
Place of publishing:	NY, USA
Country of Publication:	Sborník vydaný v zahraničí
Název konference:	ICNAAM 2014
Místo konání konference:	Rhodos, Greece
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celosvětová akce
WoS code:	000355339703040
EID:	2-s2.0-84939647908

Key words in English:	Fuzzy set theory, Fuzzy logic
Annotation in original language:	This paper should serve as an introduction to natural deduction modelling that is based on fuzzy type theory. First the theory for the topic is explained, one of the classical logic systems is chosen (Predicate logic) then introduction to fuzzy logic is given and then fuzzy type theory is introduced and the reasons why it was chosen for this paper are explained. In the practical part of the paper there is an example on which the suggestions of how to possibly expand Prolog language with fuzzy type theory features are explained. The practical example is demonstrated on a criminal case.
Annotation in english language:

References

Reference

R01:	RIV/61988987:17310/15:A1601ECE

Complementary Content

${loading}