Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2019 ( 190 )

2018 ( 288 )

2017 ( 313 )

2016 ( 388 )

Custom range...

Search Results: 1 - 10 of 138746 matches for " K. Arisaka "
All listed articles are free for downloading (OA Articles)
Page 1 /138746
Display every page Item
Latent Belief Theory and Belief Dependencies: A Solution to the Recovery Problem in the Belief Set Theories
Ryuta Arisaka
Computer Science , 2015,
Abstract: The AGM recovery postulate says: assume a set of propositions X; assume that it is consistent and that it is closed under logical consequences; remove a belief P from the set minimally, but make sure that the resultant set is again some set of propositions X' which is closed under the logical consequences; now add P again and close the set under the logical consequences; and we should get a set of propositions that contains all the propositions that were in X. This postulate has since met objections; many have observed that it could bear counter-intuitive results. Nevertheless, the attempts that have been made so far to amend it either recovered the postulate in full, had to relinquish the assumption of the logical closure altogether, or else had to introduce fresh controversies of their own. We provide a solution to the recovery paradox in this work. Our theoretical basis is the recently proposed belief theory with latent beliefs (simply the latent belief theory for short). Firstly, through examples, we will illustrate that the vanilla latent belief theory can be made more expressive. We will identify that a latent belief, when it becomes visible, may remain visible only while the beliefs that triggered it into the agent's consciousness are in the agent's belief set. In order that such situations can be also handled, we will enrich the latent belief theory with belief dependencies among attributive beliefs, recording the information as to which belief is supported of its existence by which beliefs. We will show that the enriched latent belief theory does not possess the recovery property. The closure by logical consequences is maintained in the theory, however. Hence it serves as a solution to the open problem in the belief set theories.
How do you revise your belief set with %$;@*?
Ryuta Arisaka
Computer Science , 2015,
Abstract: In the classic AGM belief revision theory, beliefs are static and do not change their own shape. For instance, if p is accepted by a rational agent, it will remain p to the agent. But such rarely happens to us. Often, when we accept some information p, what is actually accepted is not the whole p, but only a portion of it; not necessarily because we select the portion but because p must be perceived. Only the perceived p is accepted; and the perception is subject to what we already believe (know). What may, however, happen to the rest of p that initially escaped our attention? In this work we argue that the invisible part is also accepted to the agent, if only unconsciously. Hence some parts of p are accepted as visible, while some other parts as latent, beliefs. The division is not static. As the set of beliefs changes, what were hidden may become visible. We present a perception-based belief theory that incorporates latent beliefs.
Gradual Classical Logic for Attributed Objects - Extended in Re-Presentation
Ryuta Arisaka
Computer Science , 2015,
Abstract: Our understanding about things is conceptual. By stating that we reason about objects, it is in fact not the objects but concepts referring to them that we manipulate. Now, so long just as we acknowledge infinitely extending notions such as space, time, size, colour, etc, - in short, any reasonable quality - into which an object is subjected, it becomes infeasible to affirm atomicity in the concept referring to the object. However, formal/symbolic logics typically presume atomic entities upon which other expressions are built. Can we reflect our intuition about the concept onto formal/symbolic logics at all? I assure that we can, but the usual perspective about the atomicity needs inspected. In this work, I present gradual logic which materialises the observation that we cannot tell apart whether a so-regarded atomic entity is atomic or is just atomic enough not to be considered non-atomic. The motivation is to capture certain phenomena that naturally occur around concepts with attributes, including presupposition and contraries. I present logical particulars of the logic, which is then mapped onto formal semantics. Two linguistically interesting semantics will be considered. Decidability is shown.
Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus
Ryuta Arisaka
Computer Science , 2014,
Abstract: Development of a contraction-free BI sequent calculus, be it in the sense of G3i or G4i, has not been successful in literature. We address the open problem by presenting such a sequent system. In fact our calculus involves no structural rules.
Gradual Classical Logic for Attributed Objects
Ryuta Arisaka
Computer Science , 2014,
Abstract: There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about objects and their attributes.' This work inspects tacit agreements on assumptions about the relation between objects and their attributes, and studies a way of expressing them, presenting as the result what we term gradual logic in which the sense of truth gradually shifts. It extends classical logic instances with a new logical connective capturing the object-attribute relation. A formal semantics is presented. Decidability is proved. Para- consistent/epistemic/conditional/intensional/description/combined logics are compared.
A New Analysis Method for WIMP searches with Dual-Phase Liquid Xe TPCs
K. Arisaka,P. Beltrame,C. Ghag,K. Lung,P. R. Scovell
Physics , 2012, DOI: 10.1016/j.astropartphys.2012.07.003
Abstract: A new data analysis method based on physical observables for WIMP dark matter searches with noble liquid Xe dual-phase TPCs is presented. Traditionally, the nuclear recoil energy from a scatter in the liquid target has been estimated by means of the initial prompt scintillation light (S1) produced at the interaction vertex. The ionization charge (C2), or its secondary scintillation (S2), is combined with the primary scintillation in Log(S2/S1) vs. S1 only as a discrimination parameter against electron recoil background. Arguments in favor of C2 as the more reliable nuclear recoil energy estimator than S1 are presented. The new phase space of Log(S1/C2) vs. C2 is introduced as more efficient for nuclear recoil acceptance and exhibiting superior energy resolution. This is achieved without compromising the discrimination power of the LXe TPC, nor its 3D event reconstruction and fiducialization capability, as is the case for analyses that exploit only the ionization channel. Finally, the concept of two independent energy estimators for background rejection is presented: E2 as the primary (based on C2) and E1 as the secondary (based on S1). Log(E1/E2) vs. E2 is shown to be the most appropriate phase space in which to evaluate WIMP signal candidates.
Expected Sensitivity to Galactic/Solar Axions and Bosonic Super-WIMPs based on the Axio-electric Effect in Liquid Xenon Dark Matter Detectors
K. Arisaka,P. Beltrame,C. Ghag,J. Kaidi,K. Lung,A. Lyashenko,R. D. Peccei,P. Smith,K. Ye
Physics , 2012, DOI: 10.1016/j.astropartphys.2012.12.009
Abstract: We present systematic case studies to investigate the sensitivity of axion searches by liquid xenon detectors, using the axio-electric effect (analogue of the photoelectric effect) on xenon atoms. Liquid xenon is widely considered to be one of the best target media for detection of WIMPs (Weakly Interacting Massive Particles which may form the galactic dark matter) using nuclear recoils. Since these detectors also provide an extremely low radioactivity environment for electron recoils, very weakly-interacting low-mass particles (< 100 keV/c^2), such as the hypothetical axion, could be detected as well - in this case using the axio-electric effect. Future ton-scale liquid Xe detectors will be limited in sensitivity only by irreducible neutrino background (pp-chain solar neutrino and the double beta decay of 136Xe) in the mass range between 1 and 100 keV/c^2. Assuming one ton-year of exposure, galactic axions (as non-relativistic dark matter) could be detected if the axio-electric coupling g_Ae is greater than 10^-14 at 1 keV/c^2 (or $10^-13 at 100 keV/c^2). Below a few keV/c^2, and independent of the mass, a solar axion search would be sensitive to a coupling g_Ae ~ 10^-12. This limit will set a stringent upper bound on axion mass for the DFSV and KSVZ models for the mass ranges m_A < 0.1 eV/c^2 and < 10 eV/c^2, respectively. Vector-boson dark matter could also be detected for a coupling constant alpha'/alpha > 10^-33 (for mass 1 keV/c^2) or > 10^-27 (for mass 100 keV/c^2).
Studies of a three-stage dark matter and neutrino observatory based on multi-ton combinations of liquid xenon and liquid argon detectors
K. Arisaka,P. Beltrame,C. W. Lam,P. F. Smith,C. Ghag,D. B. Cline,K. Lung,Y. Meng,E. Pantic,P. R. Scovell,A. Teymourian,H. Wang
Physics , 2011, DOI: 10.1016/j.astropartphys.2012.05.006
Abstract: We study a three stage dark matter and neutrino observatory based on multi-ton two-phase liquid Xe and Ar detectors with sufficiently low backgrounds to be sensitive to WIMP dark matter interaction cross sections down to 10E-47 cm^2, and to provide both identification and two independent measurements of the WIMP mass through the use of the two target elements in a 5:1 mass ratio, giving an expected similarity of event numbers. The same detection systems will also allow measurement of the pp solar neutrino spectrum, the neutrino flux and temperature from a Galactic supernova, and neutrinoless double beta decay of 136Xe to the lifetime level of 10E27 - 10E28 y corresponding to the Majorana mass predicted from current neutrino oscillation data. The proposed scheme would be operated in three stages G2, G3, G4, beginning with fiducial masses 1-ton Xe + 5-ton Ar (G2), progressing to 10-ton Xe + 50-ton Ar (G3) then, dependent on results and performance of the latter, expandable to 100-ton Xe + 500-ton Ar (G4). This method of scale-up offers the advantage of utilizing the Ar vessel and ancillary systems of one stage for the Xe detector of the succeeding stage, requiring only one new detector vessel at each stage. Simulations show the feasibility of reducing or rejecting all external and internal background levels to a level <1 events per year for each succeeding mass level, by utilizing an increasing outer thickness of target material as self-shielding. The system would, with increasing mass scale, become increasingly sensitive to annual signal modulation, the agreement of Xe and Ar results confirming the Galactic origin of the signal. Dark matter sensitivities for spin-dependent and inelastic interactions are also included, and we conclude with a discussion of possible further gains from the use of Xe/Ar mixtures.
Characterization of the Hamamatsu R11410-10 3-Inch Photomultiplier Tube for Liquid Xenon Dark Matter Direct Detection Experiments
K. Lung,K. Arisaka,A. Bargetzi,P. Beltrame,A. Cahill,T. Genma,C. Ghag,D. Gordon,J. Sainz,A. Teymourian,Y. Yoshizawa
Physics , 2012, DOI: 10.1016/j.nima.2012.08.052
Abstract: To satisfy the requirements of the next generation of dark matter detectors based on the dual phase TPC, Hamamatsu, in close collaboration with UCLA, has developed the R11410-10 photomultipler tube. In this work, we present the detailed tests performed on this device. High QE (>30%) accompanied by a low dark count rate (50 Hz at 0.3 PE) and high gain (10^7) with good single PE resolution have been observed. A comprehensive screening measurement campaign is ongoing while the manufacturer quotes a radioactivity of 20 mBq/PMT. These characteristics show the R11410-10 to be particularly suitable for the forthcoming zero background liquid xenon detectors.
On Nested Sequents for Constructive Modal Logics
Lutz Stra??burger,Anupam Das,Ryuta Arisaka
Computer Science , 2015, DOI: 10.2168/LMCS-11(3:7)2015
Abstract: We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b, 4, and 5. This includes the constructive variants of the standard modal logics K4, S4, and S5. We use for our presentation the formalism of nested sequents and give a syntactic proof of cut elimination.
Page 1 /138746
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.