Abduction for (non-ominiscient) agents

Among the non-monotonic reasoning processes, abduction is one of the most important. Usually described as the process of looking florexplantions, it has been recognized as one of the most commonly used in our daily activities. Still, the traditional definitions of an abductive problem and an abductive solution mention only theories and formulas, leaving agency out of the picture. Our work proposes a study of abductive reasoning from an epistemic and dynamic perspective, making special emphasis on non-ideal agents. We begin by exploring what an abductive problema is in terms of an agent’s information, and what an abductive solution is in terms of the actions that modify it. Then we explore the different kinds of abductive problems and abductive solutions that arise when we consider agents whose information is not closed under logical consequence, and agents whose reasoning abilities are not complete

Low scatter lens design/development

The criteria for the optimum design of optical systems are discussed along with the selection of appropriate materials. The construction details of low scatter lens systems are tabulated. Scattering analysis; total energy diffracted; and computation of delta for a scratch, bubble, and microscopic irregularities are also discussed

Argument-based Belief in Topological Structures

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

Dispersive spherical optical model of neutron scattering from Al27 up to 250 MeV

A spherical optical model potential (OMP) containing a dispersive term is used to fit the available experimental database of angular distribution and total cross section data for n + Al27 covering the energy range 0.1- 250 MeV using relativistic kinematics and a relativistic extension of the Schroedinger equation. A dispersive OMP with parameters that show a smooth energy dependence and energy independent geometry are determined from fits to the entire data set. A very good overall agreement between experimental data and predictions is achieved up to 150 MeV. Inclusion of nonlocality effects in the absorptive volume potential allows to achieve an excellent agreement up to 250 MeV.Comment: 13 figures (11 eps and 2 jpg), 3 table