Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

> Publ3 search

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.

Publikační činnost

Probíhá načítání, čekejte prosím...

Typ záznamu:	prezentace (kongresy, sympózia, konference, workshopy)
Domácí pracoviště:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:	Semantic interpretation of intermediate quantifiers-II
Citace	Murinová, P. Semantic interpretation of intermediate quantifiers-II. In: FSTA 2014. Liptovský Ján. 2014.

Podnázev
Rok vydání:	2014
Obor:	Obecná matematika
Místo konání:	Liptovský Ján
Stát konání akce:	Slovenská republika
Název akce:	FSTA 2014
Datum od:
Datum do:
Druh prezentace:	Přednáška
Instituce:

Klíčová slova anglicky:	intermediate syllogisms, intermediate quantifiers, fuzzy type theory
Popis v původním jazyce:	The first systematic system to syllogistic reasoning was developed by Aristotle. The future approaches which can be found in the literature try extend syllogistic reasoning by adding new quantifiers. This contribution is a report to the formal theory of intermediate quantifiers (linguistic expressions such as most, few, almost all, a lot of, many, a great deal of, a large part of, a small part of). The main goal of this contribution is to demonstrate how our theory works in an intended model. We will also show, how validity of generalized intermediate syllogisms can be semantically verified.
Popis v anglickém jazyce:	The first systematic system to syllogistic reasoning was developed by Aristotle. The future approaches which can be found in the literature try extend syllogistic reasoning by adding new quantifiers. This contribution is a report to the formal theory of intermediate quantifiers (linguistic expressions such as most, few, almost all, a lot of, many, a great deal of, a large part of, a small part of). The main goal of this contribution is to demonstrate how our theory works in an intended model. We will also show, how validity of generalized intermediate syllogisms can be semantically verified.

Seznam ohlasů

Ohlas

R01:

Complementary Content

${loading}