Global parallel unification for large question-answering systems

An efficient means of storing data in a first-order predicate calculus theorem-proving system is described. The data structure is oriented for large scale question-answering (QA) systems. An algorithm is outlined which uses the data structure to unify a given literal in parallel against all literals in all clauses in the data base. The data structure permits a compact representation of data within a QA system. Some suggestions are made for heuristics which can be used to speed-up the unification algorithm in systems

An analysis of some graph theoretical cluster techniques

Graph theoretic cluster techniques for automatic generation of information retrieval systems thesaur

Outline bibliography, and KWIC index on mechanical theorem proving and its applications

Bibliography and KWIC index on mechanical theorem proving and its application

Bringing Statistical Methodologies for Enterprise Integration of Conversational Agents

Proceedings of: 9th International Conference on Practical Applications of Agents and Multiagent Systems (PAAMS 11). Salamanca, 6-8 April, 2011In this paper we present a methodology to develop commercial conversational agents that avoids the effort of manually defining the dialog strategy for the dialog management module. Our corpus-based methodology is based on selecting the next system answer by means of a classification process in which the complete dialog history is considered. This way, system developers can employ standards like VoiceXML to simply define system prompts and the associated grammars to recognize the users responses to the prompt, and the statistical dialog model automatically selects the next system prompt.We have applied this methodology for the development of an academic conversational agent.Funded by projects CICYT TIN2008-06742-C02-02/TSI, CICYT TEC 2008-06732-C02-02/TEC, CAM CONTEXTS (S2009/TIC-1485), and DPS2008-07029- C02-02.Publicad

Towards a multimedia knowledge-based agent with social competence and human interaction capabilities

We present work in progress on an intelligent embodied conversation agent in the basic care and healthcare domain. In contrast to most of the existing agents, the presented agent is aimed to have linguistic cultural, social and emotional competence needed to interact with elderly and migrants. It is composed of an ontology-based and reasoning-driven dialogue manager, multimodal communication analysis and generation modules and a search engine for the retrieval of multimedia background content from the web needed for conducting a conversation on a given topic.The presented work is funded by the European Commission under the contract number H2020-645012-RIA

Is spoken language all-or-nothing? Implications for future speech-based human-machine interaction

Recent years have seen significant market penetration for voice-based personal assistants such as Apple’s Siri. However, despite this success, user take-up is frustratingly low. This article argues that there is a habitability gap caused by the inevitablemismatch between the capabilities and expectations of human users and the features and benefits provided by contemporary technology. Suggestions aremade as to how such problems might be mitigated, but a more worrisome question emerges: “is spoken language all-or-nothing”? The answer, based on contemporary views on the special nature of (spoken) language, is that there may indeed be a fundamental limit to the interaction that can take place between mismatched interlocutors (such as humans and machines). However, it is concluded that interactions between native and non-native speakers, or between adults and children, or even between humans and dogs, might provide critical inspiration for the design of future speech-based human-machine interaction

Answering Non-Monotonic Queries in Relational Data Exchange

Relational data exchange is the problem of translating relational data from a source schema into a target schema, according to a specification of the relationship between the source data and the target data. One of the basic issues is how to answer queries that are posed against target data. While consensus has been reached on the definitive semantics for monotonic queries, this issue turned out to be considerably more difficult for non-monotonic queries. Several semantics for non-monotonic queries have been proposed in the past few years. This article proposes a new semantics for non-monotonic queries, called the GCWA*-semantics. It is inspired by semantics from the area of deductive databases. We show that the GCWA*-semantics coincides with the standard open world semantics on monotonic queries, and we further explore the (data) complexity of evaluating non-monotonic queries under the GCWA*-semantics. In particular, we introduce a class of schema mappings for which universal queries can be evaluated under the GCWA*-semantics in polynomial time (data complexity) on the core of the universal solutions.Comment: 55 pages, 3 figure

Aronia melanocarpa juice induces a redox-sensitive p73-related caspase 3-dependent apoptosis in human leukemia cells

Polyphenols are natural compounds widely present in fruits and vegetables, which have antimutagenic and anticancer properties. The aim of the present study was to determine the anticancer effect of a polyphenol-rich Aronia melanocarpa juice (AMJ) containing 7.15 g/L of polyphenols in the acute lymphoblastic leukemia Jurkat cell line, and, if so, to clarify the underlying mechanism and to identify the active polyphenols involved. AMJ inhibited cell proliferation, which was associated with cell cycle arrest in G(2)/M phase, and caused the induction of apoptosis. These effects were associated with an upregulation of the expression of tumor suppressor p73 and active caspase 3, and a downregulation of the expression of cyclin B1 and the epigenetic integrator UHRF1. AMJ significantly increased the formation of reactive oxygen species (ROS), decreased the mitochondrial membrane potential and caused the release of cytochrome c into the cytoplasm. Treatment with intracellular ROS scavengers prevented the AMJ-induced apoptosis and upregulation of the expression of p73 and active caspase 3. The fractionation of the AMJ and the use of identified isolated compounds indicated that the anticancer activity was associated predominantly with chlorogenic acids, some cyanidin glycosides, and derivatives of quercetin. AMJ treatment also induced apoptosis of different human lymphoblastic leukemia cells (HSB-2, Molt-4 and CCRF-CEM). In addition, AMJ exerted a strong pro-apoptotic effect in human primary lymphoblastic leukemia cells but not in human normal primary T-lymphocytes. Thus, the present findings indicate that AMJ exhibits strong anticancer activity through a redox-sensitive mechanism in the p53-deficient Jurkat cells and that this effect involves several types of polyphenols. They further suggest that AMJ has chemotherapeutic properties against acute lymphoblastic leukemia by selectively targeting lymphoblast-derived tumor cells