Introduction to modelling of natural deduction based on fuzzy type theory

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Introduction to modelling of natural deduction based on fuzzy type theory
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Introduction to modelling of natural deduction based on fuzzy type theory
Popis výsledku anglicky
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.

Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
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
—
Počet stran výsledku
4
Strana od-do
5500009-5500012
Název nakladatele
AIP Publishing LLC
Místo vydání
NY, USA
Místo konání akce
Rhodos, Greece
Datum konání akce
22. 9. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000355339703040

Podobné výsledky(10)