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.
REFERENCES
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.
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.
© 2015 AIP Publishing LLC.
2015
AIP Publishing LLC
You do not currently have access to this content.