Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language

We present a natural language question/answering system to interface the University of Évora databases that uses clarification dialogs in order to clarify user questions. It was developed in an integrated logic programming framework, based on constraint logic programming using the GnuProlog(-cx) language [2,11] and the ISCO framework [1]. The use of this LP framework allows the integration of Prolog-like inference mechanisms with classes and inheritance, constraint solving algorithms and provides the connection with relational databases, such as PostgreSQL. This system focus on the questions’ pragmatic analysis, to handle ambiguity, and on an efficient dialogue mechanism, which is able to place relevant questions to clarify the user intentions in a straightforward manner. Proper Nouns resolution and the pp-attachment problem are also handled. This paper briefly presents this innovative system focusing on its ability to correctly determine the user intention through its dialogue capability

Central Schemes for Porous Media Flows

We are concerned with central differencing schemes for solving scalar hyperbolic conservation laws arising in the simulation of multiphase flows in heterogeneous porous media. We compare the Kurganov-Tadmor, 2000 semi-discrete central scheme with the Nessyahu-Tadmor, 1990 central scheme. The KT scheme uses more precise information about the local speeds of propagation together with integration over nonuniform control volumes, which contain the Riemann fans. These methods can accurately resolve sharp fronts in the fluid saturations without introducing spurious oscillations or excessive numerical diffusion. We first discuss the coupling of these methods with velocity fields approximated by mixed finite elements. Then, numerical simulations are presented for two-phase, two-dimensional flow problems in multi-scale heterogeneous petroleum reservoirs. We find the KT scheme to be considerably less diffusive, particularly in the presence of high permeability flow channels, which lead to strong restrictions on the time step selection; however, the KT scheme may produce incorrect boundary behavior

Tests of hard and soft QCD with e+e- Annihilation Data

Experimental tests of QCD predictions for event shape distributions combining contributions from hard and soft processes are discussed. The hard processes are predicted by perturbative QCD calculations. The soft processes cannot be calculated directly using perturbative QCD, they are treated by a power correction model based on the analysis of infrared renormalons. Furthermore, an analysis of the gauge structure of QCD is presented using fits of the colour factors within the same combined QCD predictions.Comment: 6 pages, 7 figures, contribution to Siena 2001, Seventh Topical Seminar on The legacy of LEP and SLC, Siena, Italy, 8 to 11 October 2001, proceedings to appear in Nucl. Phys. B (Proc. Suppl.

Symmetry restoration of the soft pion corrections for the light sea quark distributions in the small xx region

The soft pion correction at high energy may play a crucial role in non-perturbative parts of sea quark distributions. In this paper, we show that, while the soft pion correction for the strange sea qaurk distribution is suppressed in the large and the medium $x$ region compared with that for the up and the down sea quark one, it can become large and SU(3) flavor symmetric in the very small $x$ region. This gives us a good reason for the symmetry restoration of light sea quark distributions required by the mean charge sum rule for the light sea quarks. Then, by estimating this sum rule with the help of the results obtained by the soft pion correction, it is argued that there is a large symmetry restoration of the strange sea quark in the region from $x=10^{-2}$ to $10^{-6}$ at $Q^2\sim 1$ GeV.Comment: 22 pages including 4 eps figures, ReVTeX, to appear in Phys. Rev.

Efficiency of a Brownian information machine

A Brownian information machine extracts work from a heat bath through a feedback process that exploits the information acquired in a measurement. For the paradigmatic case of a particle trapped in a harmonic potential, we determine how power and efficiency for two variants of such a machine operating cyclically depend on the cycle time and the precision of the positional measurements. Controlling only the center of the trap leads to a machine that has zero efficiency at maximum power whereas additional optimal control of the stiffness of the trap leads to an efficiency bounded between 1/2, which holds for maximum power, and 1 reached even for finite cycle time in the limit of perfect measurements.Comment: 9 pages, 2 figure