In this paper we present a graph-based approach to question answering. The method assumes a graph representation of question sentences and text sentences. Question answering rules are automatically learnt from a training corpus of questions and answer sentences with the answer annotated. The method is independent from the graph representation formalism chosen. A particular example is presented ...

This paper presents SOCLP (Set Oriented Calculus for Logic Programming), a proof calculus for pure Prolog programs with negation. The main difference of this calculus w.r.t. other related approaches is that it deals with the answer set of a goal as a whole, instead of considering each single answer separately. We prove that SOCLP is well defined, in the sense that, at most, one answer set can b...

1 ANSWERS TO EXAMPLE ASSIGNMENT (For illustration only) In the following answer to the Example Assignment, it should be emphasized that often there may be no “right” answer to a given question. Data are usually subject to more than one interpretation. The important point to keep in mind is that you should always try to make a convincing argument for your conclusions. Note also that the followin...

In the article of 1965 Are logical truths analytic? Hintikka deals with the problem of establishing whether the logical truths of first-order logic are analytic or synthetic. In order to provide an answer to this issue, Hintikka firstly distinguishes two different notions of analyticity, and then he shows that the sentences of first-order logic are analytic in one sense, but synthetic in anothe...

There is a long history of using logic to model the interpretation of indirect speech acts. Classical logical inference, however, is unable to deal with the combinations of disparate, conflicting, uncertain evidence that shape such speech acts in discourse. We propose to address this by combining logical inference with probabilistic methods. We focus on responses to polar questions with the fol...

This article provides a comprehensive and comparative overview of question answering technology. It presents the question answering task from an information retrieval perspective and emphasises the importance of retrieval models, i.e., representations of queries and information documents, and retrieval functions which are used for estimating the relevance between a query and an answer candidate...

A 64-year-old man presented with a non-pigmented lesion on the leg (Figure 1). What is your diagnosis based on the clinical and dermatoscopic presentation (Figure 2)? Please send your answer to [email protected]. The first correct answer will receive a complimentary copy of the book, Dermatoscopy: An Algorithmic Method Based on Pattern Analysis [Facultas Verlag, 2011]. The case and the answer to ...

This article constitutes an opening to think of the modeling and the analysis of Arabic texts within a question-answering system. It is a question of exceeding the traditional investigations focused on morpho-syntactic approaches. We present a new approach that analyzes a text, transforms it to logical predicates and extracts the accurate answer. In addition, we represent different levels of in...

In August 2012, the Houston Department of Health contacted CDC regarding the rare transmission of human immunodeficiency virus (HIV) likely by sexual contact between two women. The case was investigated, and laboratory testing confirmed that the woman with newly diagnosed HIV infection had a virus virtually identical to that of her female partner, who was diagnosed previously with HIV and who h...

Ordered disjunctions have recently been introduced as a simple, yet expressive approach for representing preferential knowledge by means of logic programs. The semantics for the resulting language is based on the answer-set semantics, but comes in different flavors, depending on the particular notion of preference associated to the disjunction connective. While in standard answer-set programmin...