bibtype C - Conference Paper (international conference)
ARLID 0477854
utime 20240103214505.1
mtime 20170913235959.9
SCOPUS 85029431866
WOS 000576961600001
DOI 10.1007/978-3-662-55665-8_1
title (primary) (eng) A Logical Framework for Graded Predicates
specification
page_count 14 s.
media_type P
serial
ARLID cav_un_epca*0477853
ISBN 978-3-662-55664-1
ISSN 0302-9743
title Logic, Rationality, and Interaction
page_num 3-16
publisher
place Berlin
name Springer
year 2017
editor
name1 Baltag
name2 A.
editor
name1 Yamada
name2 T.
editor
name1 Seligman
name2 J.
keyword graded predicates
keyword vagueness
keyword mathematical fuzzy logic
author (primary)
ARLID cav_un_auth*0100737
name1 Cintula
name2 Petr
institution UIVT-O
full_dept (cz) Oddělení teoretické informatiky
full_dept (eng) Department of Theoretical Computer Science
full_dept Department of Theoretical Computer Science
garant K
fullinstit Ústav informatiky AV ČR, v. v. i.
author
ARLID cav_un_auth*0293476
name1 Noguera
name2 Carles
institution UTIA-B
full_dept (cz) Matematická teorie rozhodování
full_dept Department of Decision Making Theory
department (cz) MTR
department MTR
full_dept Department of Decision Making Theory
fullinstit Ústav teorie informace a automatizace AV ČR, v. v. i.
author
ARLID cav_un_auth*0349493
name1 Smith
name2 N.J.J.
country AU
cas_special
project
project_id 689176
agency EC
country XE
ARLID cav_un_auth*0339025
project
project_id GA17-04630S
agency GA ČR
ARLID cav_un_auth*0349495
abstract (eng) 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.
action
ARLID cav_un_auth*0349494
name LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./
dates 20170911
url https://golori.org/lori2017/invited.html
mrcbC20-s 20170914
place Sapporo
country JP
RIV BA
FORD0 10000
FORD1 10200
FORD2 10201
reportyear 2018
mrcbC47 UTIA-B 10000 10100 10101
mrcbC52 4 A R 4a 4r 20231122142632.5
mrcbC55 UTIA-B BA
inst_support RVO:67985807
inst_support RVO:67985556
permalink http://hdl.handle.net/11104/0274074
confidential S
mrcbC86 n.a. Proceedings Paper Computer Science Theory Methods|Mathematics Applied|Logic
mrcbT16-s 0.328
mrcbT16-4 Q2
mrcbT16-E Q2
arlyear 2017
mrcbTft \nSoubory v repozitáři: 0477854 titul.pdf, a0477854.pdf
mrcbU14 85029431866 SCOPUS
mrcbU24 PUBMED
mrcbU34 000576961600001 WOS
mrcbU63 cav_un_epca*0477853 Logic, Rationality, and Interaction 978-3-662-55664-1 0302-9743 3 16 Berlin Springer 2017 Lecture Notes in Computer Science 10455
mrcbU67 340 Baltag A.
mrcbU67 340 Yamada T.
mrcbU67 340 Seligman J.