The paper presents a new modality extending Answer Set Programming in order to refine its capability of representing knowledge in case of possible perception failure. The aim of the proposal is mainly to present a new logical approach to deal with uncertainty arising from perception bugs, and to show its effectiveness in the context of agent reasoning representation. The basic environment of An...

Using logic for question answering (QA) promises more accurate answers and increased flexibility of querying. However, the computational effort for a deep linguistic analysis of the involved natural language (NL) expressions and the subsequent logical inferencing makes it difficult to leverage this power for real-time QA. The paper attributes this difficulty in part to the popular answer valida...

This paper presents a debugging technique for diagnosing errors in SQL views. The debugger allows the user to specify the error type, indicating if there is either a missing answer (a tuple was expected but it is not in the result) or a wrong answer (the result contains an unexpected tuple). This information is employed for slicing the associated queries, keeping only those parts that might be ...

We present nine questions related to the concept of negation and, in passing, we refer connections with essays this special issue. The were submitted one most eminent logicians who contributed theory negation, Prof. (Jon) Michael Dunn, but, unfortunately, Dunn was no longer able answer them. passed away on 5 April 2021, and issue Logical Investigations is dedicated his memory. concern (i) negat...

Research on natural language interfaces has mainly concentrated on question interpretation as well as answer computation, but not focused as much on answer presentation. In most natural language interfaces, answers are in fact provided extensionally as a list of all those instances satisfying the query description. In this paper, we aim to go beyond such a mere listing of facts and move towards...

The question now arises how the two kinds of alethic modalities relate to each other. The answer, of course, depends on how precisely we characterize the two notions. Suppose that we have a class K consisting of all Kripke models for a language of modal propositional or predicate logic with operators: Ø for metaphysical necessity, L for logical necessity, and A for actuality. Each model is asso...

A healthy 2-year-old girl presented with a rash on her shoulder of 6 months’ duration. Physical examination revealed a solitary 5 mm erythematous dome-shaped papule surrounded by numerous smaller similar lesions (Figure 1). Dermatoscopy visualized numerous central white and skincolored clods with vessels arranged radially to the clods (Figure 2). What is your diagnosis? Please send your answer ...

Two important aspects of semantic parsing for question answering are the breadth of the knowledge source and the depth of logical compositionality. While existing work trades off one aspect for another, this paper simultaneously makes progress on both fronts through a new task: answering complex questions on semi-structured tables using question-answer pairs as supervision. The central challeng...

We present a system for Question Answering which computes a prospective answer from Logical Forms produced by a full-fledged NLP for text understanding, and then maps the result onto schemata in SPARQL to be used for accessing the Semantic Web. It is just by the internal structure of the Logical Form that we are able to produce a suitable and meaningful context for concept disambiguation. Logic...