The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence

Intelligent systems based on first-order logic on the one hand, and on artificial neural networks (also called connectionist systems) on the other, differ substantially. It would be very desirable to combine the robust neural networking machinery with symbolic knowledge representation and reasoning paradigms like logic programming in such a way that the strengths of either paradigm will be retained. Current state-of-the-art research, however, fails by far to achieve this ultimate goal. As one of the main obstacles to be overcome we perceive the question how symbolic knowledge can be encoded by means of connectionist systems: Satisfactory answers to this will naturally lead the way to knowledge extraction algorithms and to integrated neural-symbolic systems.Comment: In Proceedings of INFORMATION'2004, Tokyo, Japan, to appear. 12 page

Novel approaches to spectral properties of correlated electron materials: From generalized Kohn-Sham theory to screened exchange dynamical mean field theory

The most intriguing properties of emergent materials are typically consequences of highly correlated quantum states of their electronic degrees of freedom. Describing those materials from first principles remains a challenge for modern condensed matter theory. Here, we review, apply and discuss novel approaches to spectral properties of correlated electron materials, assessing current day predictive capabilities of electronic structure calculations. In particular, we focus on the recent Screened Exchange Dynamical Mean-Field Theory scheme and its relation to generalized Kohn-Sham theory. These concepts are illustrated on the transition metal pnictide BaCo$_2$As$_2$ and elemental zinc and cadmium.Comment: Accepted for publication in the Journal of the Physical Society of Japa

Logic Programs and Connectionist Networks

Graphs of the single-step operator for first-order logic programs—displayed in the real plane—exhibit self-similar structures known from topological dynamics, i.e., they appear to be fractals, or more precisely, attractors of iterated function systems. We show that this observation can be made mathematically precise. In particular, we give conditions which ensure that those graphs coincide with attractors of suitably chosen iterated function systems, and conditions which allow the approximation of such graphs by iterated function systems or by fractal interpolation. Since iterated function systems can easily be encoded using recurrent radial basis function networks, we eventually obtain connectionist systems which approximate logic programs in the presence of function symbols

Transmission Spectroscopy with the ACE-FTS Infrared Spectral Atlas of Earth: A Model Validation and Feasibility Study

Infrared solar occultation measurements are well established for remote sensing of Earth's atmosphere, and the corresponding primary transit spectroscopy has turned out to be valuable for characterization of extrasolar planets. Our objective is an assessment of the detectability of molecular signatures in Earth's transit spectra. To this end, we take a limb sequence of representative cloud-free transmission spectra recorded by the space-borne ACE-FTS Earth observation mission (Hughes et al., ACE infrared spectral atlases of the Earth's atmosphere, JQSRT 2014) and combine these spectra to the effective height of the atmosphere. These data are compared to spectra modeled with an atmospheric radiative transfer line-by-line infrared code to study the impact of individual molecules, spectral resolution, the choice of auxiliary data, and numerical approximations. Moreover, the study serves as a validation of our infrared radiative transfer code. The largest impact is due to water, carbon dioxide, ozone, methane, nitrous oxide, nitrogen, nitric acid, oxygen, and some chlorofluorocarbons (CFC11 and CFC12). The effect of further molecules considered in the modeling is either marginal or absent. The best matching model has a mean residuum of 0.4 km and a maximum difference of 2 km to the measured effective height. For a quantitative estimate of visibility and detectability we consider the maximum change of the residual spectrum, the relative change of the residual norm, the additional transit depth, and signal-to-noise ratios for a JWST setup. In conclusion, our study provides a list of molecules that are relevant for modeling transmission spectra of Earth-like exoplanets and discusses the feasibility of retrieval.Comment: 25 pages, 15 figures, 3 table

RaDON - Repair and Diagnosis in Ontology Networks

One of the major challenges in managing networked and dynamic ontologies is to handle inconsistencies in single ontologies, and inconsistencies introduced by integrating multiple distributed ontologies. Our RaDON system provides functionalities to repair and diagnose ontology networks by extending the capabilities of existing reasoners. The system integrates several new debugging and repairing algorithms, such as a relevance-directed algorithm to meet the various needs of the users

3D-Printed Microfluidic Perfusion System for Parallel Monitoring of Hydrogel-Embedded Cell Cultures

The use of three-dimensional (3D) cell cultures has become increasingly popular in the contexts of drug discovery, disease modelling, and tissue engineering, as they aim to replicate in vivo-like conditions. To achieve this, new hydrogels are being developed to mimic the extracellular matrix. Testing the ability of these hydrogels is crucial, and the presented 3D-printed microfluidic perfusion system offers a novel solution for the parallel cultivation and evaluation of four separate 3D cell cultures. This system enables easy microscopic monitoring of the hydrogel-embedded cells and significantly reduces the required volumes of hydrogel and cell suspension. This cultivation device is comprised of two 3D-printed parts, which provide four cell-containing hydrogel chambers and the associated perfusion medium chambers. An interfacing porous membrane ensures a defined hydrogel thickness and prevents flow-induced hydrogel detachment. Integrated microfluidic channels connect the perfusion chambers to the overall perfusion system, which can be operated in a standard CO2-incubator. A 3D-printed adapter ensures the compatibility of the cultivation device with standard imaging systems. Cultivation and cell staining experiments with hydrogel-embedded murine fibroblasts confirmed that cell morphology, viability, and growth inside this cultivation device are comparable with those observed within standard 96-well plates. Due to the high degree of customization offered by additive manufacturing, this system has great potential to be used as a customizable platform for 3D cell culture applications

3D-printed microfluidic perfusion system for parallel monitoring of hydrogel-embedded cell cultures

The use of three-dimensional (3D) cell cultures has become increasingly popular in the contexts of drug discovery, disease modelling, and tissue engineering, as they aim to replicate in vivo-like conditions. To achieve this, new hydrogels are being developed to mimic the extracellular matrix. Testing the ability of these hydrogels is crucial, and the presented 3D-printed microfluidic perfusion system offers a novel solution for the parallel cultivation and evaluation of four separate 3D cell cultures. This system enables easy microscopic monitoring of the hydrogel-embedded cells and significantly reduces the required volumes of hydrogel and cell suspension. This cultivation device is comprised of two 3D-printed parts, which provide four cell-containing hydrogel chambers and the associated perfusion medium chambers. An interfacing porous membrane ensures a defined hydrogel thickness and prevents flow-induced hydrogel detachment. Integrated microfluidic channels connect the perfusion chambers to the overall perfusion system, which can be operated in a standard CO2-incubator. A 3D-printed adapter ensures the compatibility of the cultivation device with standard imaging systems. Cultivation and cell staining experiments with hydrogel-embedded murine fibroblasts confirmed that cell morphology, viability, and growth inside this cultivation device are comparable with those observed within standard 96-well plates. Due to the high degree of customization offered by additive manufacturing, this system has great potential to be used as a customizable platform for 3D cell culture applications

Computer work and self-reported variables on anthropometrics, computer usage, work ability, productivity, pain, and physical activity

BACKGROUND: Computer users often report musculoskeletal complaints and pain in the upper extremities and the neck-shoulder region. However, recent epidemiological studies do not report a relationship between the extent of computer use and work-related musculoskeletal disorders (WMSD). The aim of this study was to conduct an explorative analysis on short and long-term pain complaints and work-related variables in a cohort of Danish computer users. METHODS: A structured web-based questionnaire including questions related to musculoskeletal pain, anthropometrics, work-related variables, work ability, productivity, health-related parameters, lifestyle variables as well as physical activity during leisure time was designed. Six hundred and ninety office workers completed the questionnaire responding to an announcement posted in a union magazine. The questionnaire outcomes, i.e., pain intensity, duration and locations as well as anthropometrics, work-related variables, work ability, productivity, and level of physical activity, were stratified by gender and correlations were obtained. RESULTS: Women reported higher pain intensity, longer pain duration as well as more locations with pain than men (P < 0.05). In parallel, women scored poorer work ability and ability to fulfil the requirements on productivity than men (P < 0.05). Strong positive correlations were found between pain intensity and pain duration for the forearm, elbow, neck and shoulder (P < 0.001). Moderate negative correlations were seen between pain intensity and work ability/productivity (P < 0.001). CONCLUSIONS: The present results provide new key information on pain characteristics in office workers. The differences in pain characteristics, i.e., higher intensity, longer duration and more pain locations as well as poorer work ability reported by women workers relate to their higher risk of contracting WMSD. Overall, this investigation confirmed the complex interplay between anthropometrics, work ability, productivity, and pain perception among computer users