Options
Introspection, Normality and Agglomeration
Klein, Dominik; Gratzl, Norbert; Roy, Olivier (2015): Introspection, Normality and Agglomeration, in: Wiebe van der Hoek, Wesley Holliday, und Wen-fang Wang (Hrsg.), Logic, rationality, and interaction : 5th international Workshop, LORI 2015, Taipei, Taiwan, October 28-30 2015 ; proceedings, Berlin ; Heidelberg: Springer, S. 195–206, doi: 10.1007/978-3-662-48561-3_16.
Faculty/Chair:
Author:
Editor:
Title of the compilation:
Logic, rationality, and interaction : 5th international Workshop, LORI 2015, Taipei, Taiwan, October 28-30 2015 ; proceedings
Corporate Body:
LORI (5. : 2015 : Taipeh)
Publisher Information:
Year of publication:
2015
Pages:
ISBN:
978-3-662-48560-6
Series ; Volume:
Lecture notes in computer science ; 9394
Language:
English
Abstract:
This paper explores a non-normal logic of beliefs for boundedly rational agents. The logic we study is the result of dropping positive introspection for knowledge in the system developed by Stalnaker [1]. In that system beliefs are not closed under conjunction, but they are required to be pairwise consistent, a requirement that has been called agglomerativity elsewhere. While bounded agglomerativity requirements, i.e., joint consistency for every n-tuple of beliefs up to a fixed n, are expressible in that logic, unbounded agglomerativity is not. We study an extension of this logic of beliefs with such an unbounded agglomerativity operator, provide a sound and complete axiomatization for it, show that it has a sequent calculus that enjoys the admissibility of cut, that it has the finite model property, and that it is decidable.
Keywords: ; 
logic of knowledge
bounded rationality
Type:
Conferenceobject
Activation date:
April 12, 2017
Permalink
https://fis.uni-bamberg.de/handle/uniba/41840