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.

1.
Habiballa
,
Hashim
. Prolog.
Ostrava: OU
,
2003
.
66
p.
2.
Habiballa
,
H.
 Resolution principle and fuzzy logic.
In Fuzzy Logic
. Vol.
3
.
In Tech
,
2012
.
3.
Lukasová
,
Alena
. Logickézákladyuměléinteligence I.
1.vyd
.
Ostrava
:
Ostravská Univerzita v Ostravě
,
2003
,
172
p. ISBN 80-7042-846-5.
4.
Lukasová
,
Alena
,
Hashim
Habiballa
,
Zdeňka
Telnarová
a
Marek
Vajgl
.
Formálníreprezentaceznalostí. 1. vyd
.
Ostrava: Repronis
,
2010
,
436
p. ISBN 978-80-7368-900-1.
5.
Novák
,
Vilém.
On Fuzzy Type Theory
.
Ostrava: OU
,
2004
.
58
p.
6.
Novák
,
V.
,
Perfilieva
,
I.
,
Močkoř
,
J.
Mathematical principles of fuzzy logic
.
Kluwer
,
1999
.
7.
Žáček
,
M.
,
Lukasová
,
A.
,
Volná
,
E.
Derivation in the extended RDF model with Fuzzy logic. Mendel 2011
.
Brno
:
Brno Univerzity of Technology
,
2011
. s.
125
132
. ISBN 978-80-214-4302-0.
This content is only available via PDF.
You do not currently have access to this content.