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 |
|
editor |
|
editor |
|
|
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. |
|