OU Portal
Log In
Welcome
Applicants
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.
{}
Zavřít
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu
*
:
stať ve sborníku (D)
Domácí pracoviště
*
:
Katedra informatiky a počítačů (31400)
Název
*
:
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.
Podnázev :
Rok
*
:
2015
Obor
*
:
Informatika
Počet stran
*
:
4
Strana od
*
:
5500009
Strana do
*
:
5500012
Forma vydání
*
:
Tištená verze
Kód ISBN
*
:
978-0-7354-1287-3
Kód ISSN :
0094-243X
Název sborníku
*
:
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014
Sborník :
Mezinárodní
Název nakladatele
*
:
AIP Publishing LLC
Místo vydání
*
:
NY, USA
Stát vydání :
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ů akce
*
:
Celosvětová akce
Kód UT WoS :
000355339703040
EID :
2-s2.0-84939647908
Klíčová slova anglicky
*
:
Fuzzy set theory, Fuzzy logic
Popis 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 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.
Popis v anglickém jazyce
*
:
Typ zdroje financování výsledku
*
:
Specifický výzkum
Seznam projektů :
ID Projektu
Název projektu
Seznam ohlasů :
Ohlas
R01:
RIV/61988987:17310/15:A1601ECE
Complementary Content
${title}
${badge}
${loading}
Probíhá načítání, čekejte prosím...