This paper combines two studies: a topological semantics for epistemic notions and abstract argumentation theory. In our combined setting, we use a topological semantics to represent the structure of an agent's collection of evidence, and we use argumentation theory to single out the relevant sets of evidence through which a notion of beliefs grounded on arguments is defined. We discuss the formal properties of this newly defined notion, providing also a formal language with a matching modality together with a sound and complete axiom system for it. Despite the fact that our agent can combine her evidence in a 'rational' way (captured via the topological structure), argument-based beliefs are not closed under conjunction. This illustrates the difference between an agent's reasoning abilities (i.e. the way she is able to combine her available evidence) and the closure properties of her beliefs. We use this point to argue for why the failure of closure under conjunction of belief should not bear the burden of the failure of rationality.Comment: In Proceedings TARK 2017, arXiv:1707.0825

No abstract

In this paper, we explore the relation between an agent's doxastic attitude and her arguments in support of a given claim. Our main contribution is the design of a logical setting that allows us reason about binary arguments which are either in favour or against a certain claim. This is a setting in which arguments and propositions are the basic building blocks so that the concept of argumentbased belief emerges in a straightforward way. We work against the background of Dung's abstract argumentation framework, extending it to a new setting in which we can study the formal properties of binary arguments as well as the larger structures they establish. This paper introduces a formal 'two-dimensional' language to talk about propositions and arguments, for which a sound and complete axiom system is provided.

No abstract

We report the experimental observation of photon bunching noise through shot noise measurements made on a pseudo-thermal state of light using balanced detection. A full theory describing the measurement is developed, and in agreement with theory it is found that the shot noise variance in the balanced signal reproduces the time series of the flux of the primary incoherent beam. Moreover, when the average power of the pseudo-thermal light is varied, the balanced detection is seen to track this change. A comparison of direct detection and balanced detection of the thermal field, shows that the balanced detection performs at least as well the direct detection and under some conditions appears to outperform the direct detection. There is not necessarily a contradiction with quantum field theory which predicts that at best the performance of the balanced detection should be equal to the direct detection, because the direct detection process is subject to nonlinearity that has not been excluded by measurements (even though any tests we performed suggest such effects are small). This is the first time that the bunching noise effect of high occupation number chaotic light via the shot noise of the field has successfully been measured, to the point of using it to infer the flux of the field. The findings may be relevant to radio receiver design, specifically from the viewpoint of sensitivity improvement.