OU Portal
  • Log In

  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}

Pomocí tohoto dialogu můžete vyhledat domácí autory, čili autory, kteří jsou vedeni v personálních systémech Ostravské univerzity.

Do našeptávače níže napište hledaný text a tento text bude vyhledán ve jméně nebo příjmení autora. Autoři, kteří budou hledanému textu odpovídat, Vám budou nabídnuti v seznamu. Pomocí myši nebo šipek na klávesnici vyberte požadovaného autora.

Našeptávač : 
Přidat autora k záznamu Zavřít

Pomocí tohoto dialogu můžete k záznamu přidat cizího autora, čili autora, který nemá žádný pracovní ani studijní vztah k Ostravské univerzitě. Takto přidaný autor bude do RIV vykázán jako nedomácí.

Pro přidání autora vepište jeho jméno a příjmení do určených položek.

Jméno :
Příjmení :
Přidat k záznamu Zavřít
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
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 : 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.
Typ zdroje financování výsledku : Projekty CEP/Záměry CEZ
Seznam projektů :
ID Projektu Název projektu
Seznam ohlasů : 
Ohlas
R01:

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}