Introduction to modelling of natural deduction based on fuzzy type theory
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F15%3AA1601ECE" target="_blank" >RIV/61988987:17310/15:A1601ECE - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Introduction to modelling of natural deduction based on fuzzy type theory
Original language description
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 isgiven 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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014
ISBN
978-0-7354-1287-3
ISSN
0094-243X
e-ISSN
—
Number of pages
4
Pages from-to
5500009-5500012
Publisher name
AIP Publishing LLC
Place of publication
NY, USA
Event location
Rhodos, Greece
Event date
Sep 22, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000355339703040