Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases

There is extensive theoretical work on measures of inconsistency for arbitrary formulae in knowledge bases. Many of these are defined in terms of the set of minimal inconsistent subsets (MISes) of the base. However, few have been implemented or experimentally evaluated to support their viability, since computing all MISes is intractable in the worst case. Fortunately, recent work on a related problem of minimal unsatisfiable sets of clauses (MUSes) offers a viable solution in many cases. In this paper, we begin by drawing connections between MISes and MUSes through algorithms based on a MUS generalization approach and a new optimized MUS transformation approach to finding MISes. We implement these algorithms, along with a selection of existing measures for flat and stratified knowledge bases, in a tool called mimus. We then carry out an extensive experimental evaluation of mimus using randomly generated arbitrary knowledge bases. We conclude that these measures are viable for many large and complex random instances. Moreover, they represent a practical and intuitive tool for inconsistency handling.

CALCULATION OF SLOW MODE SURFACE-PLASMON POLARITON PROPERTIES RELATED TO EXPERIMENTAL-OBSERVATIONS

Recent experimental results definitively showed, for the first time, optical radiation mediated by the slow mode surface plasmon polariton of metal-oxide-metal tunnel junctions. Here, dispersion curves for this mode are calculated. They are consistent with first-order grating coupling to light at the energies of the experimental emission peaks. The curves are then used to analyze second-order and high-energy (> 2.35 eV) grating coupling of the polaritons to radiation. Finally, variation of slow mode damping as a function of energy is used to explain qualitatively the relative experimental peak emission intensities and the absence of radiation peaks above 2.35 eV.

The radiated energy budget of Chromospheric Plasma in a major solar flare deduced from multi-wavelength observations

This paper presents measurements of the energy radiated by the lower solar atmosphere, at optical, UV, and EUV wavelengths, during an X-class solar flare (SOL2011-02-15T01:56) in response to an injection of energy assumed to be in the form of nonthermal electrons. Hard X-ray observations from RHESSI were used to track the evolution of the parameters of the nonthermal electron distribution to reveal the total power contained in flare accelerated electrons. By integrating over the duration of the impulsive phase, the total energy contained in the nonthermal electrons was found to be >2 × 1031 erg. The response of the lower solar atmosphere was measured in the free–bound EUV continua of H i (Lyman), He i, and He ii, plus the emission lines of He ii at 304 Å and H i (Lyα) at 1216 Å by SDO/EVE, the UV continua at 1600 Å and 1700 Å by SDO/AIA, and the white light continuum at 4504 Å, 5550 Å, and 6684 Å, along with the Ca ii H line at 3968 Å using Hinode/SOT. The summed energy detected by these instruments amounted to ~3 × 1030 erg; about 15% of the total nonthermal energy. The Lyα line was found to dominate the measured radiative losses. Parameters of both the driving electron distribution and the resulting chromospheric response are presented in detail to encourage the numerical modeling of flare heating for this event, to determine the depth of the solar atmosphere at which these line and continuum processes originate, and the mechanism(s) responsible for their generation.

Hα and EUV observations of a partial CME

We have obtained H$\alpha$ high spatial and time resolution observations of the upper solar chromosphere and supplemented these with multi-wavelength observations from the Solar Dynamic Observatory (SDO) and the {\it Hinode} ExtremeUltraviolet Imaging Spectrometer (EIS). The H$\alpha$ observations were conducted on 11 February 2012 with the Hydrogen-Alpha Rapid Dynamics Camera (HARDcam) instrument at the National Solar Observatory's Dunn Solar Telescope. Our H$\alpha$ observations found large downflows of chromospheric material returning from coronal heights following a failed prominence eruption. We have detected several large condensations ("blobs") returning to the solar surface at velocities of $\approx$200 km s$^{-1}$ in both H$\alpha$ and several SDO AIA band passes. The average derived size of these "blobs" in H$\alpha$ is 500 by 3000 km$^2$ in the directions perpendicular and parallel to the direction of travel, respectively. A comparison of our "blob" widths to those found from coronal rain, indicate there are additional smaller, unresolved "blobs" in agreement with previous studies and recent numerical simulations. Our observed velocities and decelerations of the "blobs" in both H$\alpha$ and SDO bands are less than those expected for gravitational free-fall and imply additional magnetic or gas pressure impeding the flow. We derived a kinetic energy $\approx$2 orders of magnitude lower for the main eruption than a typical CME, which may explain its partial nature.

A Characteristic Function Approach to Inconsistency Measures for Knowledge Bases.

Knowledge is an important component in many intelligent systems.
Since items of knowledge in a knowledge base can be conflicting, especially if
there are multiple sources contributing to the knowledge in this base, significant
research efforts have been made on developing inconsistency measures for
knowledge bases and on developing merging approaches. Most of these efforts
start with flat knowledge bases. However, in many real-world applications, items
of knowledge are not perceived with equal importance, rather, weights (which
can be used to indicate the importance or priority) are associated with items of
knowledge. Therefore, measuring the inconsistency of a knowledge base with
weighted formulae as well as their merging is an important but difficult task. In
this paper, we derive a numerical characteristic function from each knowledge
base with weighted formulae, based on the Dempster-Shafer theory of evidence.
Using these functions, we are able to measure the inconsistency of the knowledge
base in a convenient and rational way, and are able to merge multiple knowledge
bases with weighted formulae, even if knowledge in these bases may be
inconsistent. Furthermore, by examining whether multiple knowledge bases are
dependent or independent, they can be combined in different ways using their
characteristic functions, which cannot be handled (or at least have never been
considered) in classic knowledge based merging approaches in the literature.

Visible-wavelength Observations of Jupiter-family Comet Nuclei as Part of Seppcon.

We present the latest analysis and results from SEPPCoN (Survey of Ensemble Physical Properties of Cometary Nuclei). This on-going survey involves studying 100 JFCs - about 25% of the known population - at both mid-infrared and visible wave-lengths to constrain the distributions of sizes, shapes, spins, and albedos of this population. Having earlier reported results from measuring thermal emissions of our sample nuclei [1,2,3,4], we report here progress on the visible-wavelength observations that we have obtained at many ground-based facilities in Chile, Spain, and the United States. To date we have attempted observations of 91% of our sample of 100 JFCs, and at least 64 of those were successfully detected. In most cases the comets were at heliocentric distances between 3.0 and 6.5 AU so as to decrease the odds of a comet having a coma. Of the 64 detected comets, 48 were apparently bare, having no extended emission. Our datasets are further augmented by archival data and photometry from the NEAT program [5]. An important goal of SEPPCoN is to accumulate a large comprehensive set of high quality physical data on cometary nuclei in order to make accurate statistical comparisons with other minor-body populations such as Trojans, Centaurs, and Kuiper-belt objects. Information on the size, shape, spin-rate, albedo and color distributions is critical for understanding their origins and evolutionary processes affecting them.

Spitzer observations of the asteroid-comet transition object and potential spacecraft target 107P (4015) Wilson-Harrington

Context: Near-Earth asteroid-comet transition object 107P/ (4015) Wilson-Harrington is a possible target of the joint European Space Agency (ESA) and Japanese Aerospace Exploration Agency (JAXA) Marco Polo sample return mission. Physical studies of this object are relevant to this mission, and also to understanding its asteroidal or cometary nature. Aims: Our aim is to obtain significant new constraints on the surface thermal properties of this object. Methods: We present mid-infrared photometry in two filters (16 and 22 μm) obtained with NASA's Spitzer Space Telescope on February 12, 2007, and results from the application of the Near Earth Asteroid Thermal Model (NEATM). We obtained high S/N in two mid-IR bands allowing accurate measurements of its thermal emission. Results: We obtain a well constrained beaming parameter (η = 1.39±0.26) and obtain a diameter and geometric albedo of D = 3.46±0.32 km, and pV = 0.059±0.011. We also obtain similar results when we apply this best-fitting thermal model to single-band mid-IR photometry reported by Campins et al. (1995, P&SS, 43, 733), Kraemer et al. (2005, AJ, 130, 2363) and Reach et al. (2007, Icarus, 191, 298). Conclusions: The albedo of 4015 Wilson-Harrington is low, consistent with those of comet nuclei and primitive C-, P-, D-type asteorids. We establish a rough lower limit for the thermal inertia of W-H of 60 Jm-2s-0.5 K-1 when it is at r = 1 AU, which is slightly over the limit of 30 Jm-2 s-0.5 K-1 derived by Groussin et al. (2009, Icarus, 199, 568) for the thermal inertia of the nucleus of comet 22P/Kopff.

A Hundred Comets: The Visual-Wavelength Observations of the Survey of Ensemble Physical Properties of Cometary Nuclei (SEPPCoN)

We present new results from SEPPCoN, a Survey of Ensemble Physical Properties of Cometary Nuclei. This project is currently surveying 100 Jupiter-family comets (JFCs) to measure the mid-infrared thermal emission and visible reflected sunlight of the nuclei. The scientific goal is to determine the distributions of radius, geometric albedo, thermal inertia, axial ratio, and color among the JFC nuclei. In the past we have presented results from the completed mid-IR observations of our sample [1]; here we present preliminary results from ongoing, broadband visible-wavelength observations of nuclei obtained from a variety of ground-based facilities (Mauna Kea, Cerro Pachon, La Silla, La Palma, Apache Point, Table Mtn., and Palomar Mtn.), including contributions from the Near Earth Asteroid Telescope project (NEAT) archive. The nuclei were observed at high heliocentric distance (usually over 4 AU) and so many comets show either no or little contamination from dust coma. While several nuclei have been observed as snapshots, we have multiepoch photometry for many of our targets. With our datasets we are building a large database of photometry, and such a database is essential to the derivation of albedo and shape of a large number of nuclei, and to the understanding of biases in the survey. Support for this work was provided by NSF and the NASA Planetary Astronomy program. Reference: [1] Fernandez, Y.R., et al. 2007, BAAS 39, 827.