4,025 research outputs found
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
- …