On Modeling of Fuzzy Peterson's syllogisms using Peterson's rules
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F22%3AA2302EZA" target="_blank" >RIV/61988987:17610/22:A2302EZA - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/chapter/10.1007/978-3-031-08971-8_53" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-031-08971-8_53</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-08971-8_53" target="_blank" >10.1007/978-3-031-08971-8_53</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On Modeling of Fuzzy Peterson's syllogisms using Peterson's rules
Popis výsledku v původním jazyce
In real world, interpretation, understanding and deriving information from natural data using natural language is very common. One of the theories that deals with this modern topic is the theory of syllogistic reasoning. There are several methods to verify the validity and invalidity of classical Aristotle’s syllogisms as well as fuzzy syllogisms. In previous publications, we have focused on the mathematical construction of syntactic proofs of fuzzy Peterson's syllogisms. The main goal of this publication is to explain Peterson's rules of distributivy, quality and quantity for verifying the validity of syllogisms and to demonstrate them on selected examples of syllogisms.
Název v anglickém jazyce
On Modeling of Fuzzy Peterson's syllogisms using Peterson's rules
Popis výsledku anglicky
In real world, interpretation, understanding and deriving information from natural data using natural language is very common. One of the theories that deals with this modern topic is the theory of syllogistic reasoning. There are several methods to verify the validity and invalidity of classical Aristotle’s syllogisms as well as fuzzy syllogisms. In previous publications, we have focused on the mathematical construction of syntactic proofs of fuzzy Peterson's syllogisms. The main goal of this publication is to explain Peterson's rules of distributivy, quality and quantity for verifying the validity of syllogisms and to demonstrate them on selected examples of syllogisms.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/EF17_049%2F0008414" target="_blank" >EF17_049/0008414: Centrum pro výzkum a vývoj metod umělé intelligence v automobilovém průmyslu regionu</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2022
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Information Processing and Management of Uncertainty in Knowledge-Based Systems (Communications in Computer and Information Science series
ISBN
978-3-030-50152-5
ISSN
—
e-ISSN
—
Počet stran výsledku
13
Strana od-do
647-659
Název nakladatele
Springer
Místo vydání
Cham
Místo konání akce
Miláno, Italy
Datum konání akce
11. 7. 2022
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—