TY - GEN
T1 - Introducing revision theory
AU - Gabbay, Dov M.
AU - Rodrigues, Odinaldo T.
AU - Russo, Alessandra
PY - 2010
Y1 - 2010
N2 - The investigation of how humans reach conclusions from given premises has long been the subject of research in the literature. It was the basis of the development of classical logic, for instance. The investigation of how humans change their minds in the face of new contradictory information is however somewhat more recent. Early accounts include the work of Ramsey [40, 41] in his insights into conditional statements, for instance, and subsequently the work on conditionals by Stalnaker [47] and by Lewis [32], among others. More recent work on the formalisation of commonsense reasoning, sometimes also called non-monotonic reasoning include [34, 5, 33, 42].
AB - The investigation of how humans reach conclusions from given premises has long been the subject of research in the literature. It was the basis of the development of classical logic, for instance. The investigation of how humans change their minds in the face of new contradictory information is however somewhat more recent. Early accounts include the work of Ramsey [40, 41] in his insights into conditional statements, for instance, and subsequently the work on conditionals by Stalnaker [47] and by Lewis [32], among others. More recent work on the formalisation of commonsense reasoning, sometimes also called non-monotonic reasoning include [34, 5, 33, 42].
UR - http://www.scopus.com/inward/record.url?scp=77956335755&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-14159-1_2
DO - 10.1007/978-3-642-14159-1_2
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:77956335755
SN - 9783642141584
T3 - Cognitive Technologies
SP - 13
EP - 54
BT - Revision, Acceptability and Context - Theoretical and Algorithmic Aspects
PB - Springer Verlag
ER -