Počet záznamů: 1
A Logical Framework for Graded Predicates
- 1.
SYSNO ASEP 0477854 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název A Logical Framework for Graded Predicates Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Noguera, Carles (UTIA-B) RID, ORCID
Smith, N.J.J. (AU)Zdroj.dok. Logic, Rationality, and Interaction. - Berlin : Springer, 2017 / Baltag A. ; Yamada T. ; Seligman J. - ISSN 0302-9743 - ISBN 978-3-662-55664-1 Rozsah stran s. 3-16 Poč.str. 14 s. Forma vydání Tištěná - P Akce LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./ Datum konání 11.09.2017 - 14.09.2017 Místo konání Sapporo Země JP - Japonsko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova graded predicates ; vagueness ; mathematical fuzzy logic Vědní obor RIV BA - Obecná matematika Obor OECD Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) Vědní obor RIV – spolupráce Ústav teorie informace a automatizace - Obecná matematika CEP GA17-04630S GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556 UT WOS 000576961600001 EID SCOPUS 85029431866 DOI 10.1007/978-3-662-55665-8_1 Anotace In this position paper we present a logical framework for modelling reasoning with graded predicates. We distinguish several types of graded predicates and discuss their ubiquity in rational interaction and the logical challenges they pose. We present mathematical fuzzy logic as a set of logical tools that can be used to model reasoning with graded predicates, and discuss a philosophical account of vagueness that makes use of these tools. This approach is then generalized to other kinds of graded predicates. Finally, we propose a general research program towards a logic-based account of reasoning with graded predicates. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2018
Počet záznamů: 1