The paper features MAVE (MultiNet answer verification), a system for validating results of question-answering systems which serves as a testbed for robust knowledge processing based on multi-layered extended semantic networks (MultiNet [4]). The system utilizes logical inference rather than graph matching for recognising textual entailment, which makes it easily extensible by further knowledge ...

during king abbas i era, dibil khuzāi set out to defend shia thoughts, especially the rightfulness of alavies. he has numerous argumentative poems in favor of the shia thoughts, on imamate and caliphate, and on rejection of the claimants' stances. this article intends to find answer for the following questions. first, what are the bases of dibil's argumentative approach to prove the r...

1. Automated Reasoning about Web Access Control Policies via Answer Set Programming Gail-Joon Ahn*, Joohyung Lee*, Hongxin Hu and Yunsong Meng Summary: We introduce a logic-based policy management approach for XACML (eXtensible Access Control Markup Language), which has become the defacto standard for specifying and enforcing access control policies for various applications and services in curr...

Subject Mathematical experts couldn’t find any algorithm of obtaining the exact answer for one mass NP-complete task during four decades after emergence of the concept "class NP". It is logical to assume that perfectly developed traditional and/or developed experimentally approaches to creation of algorithms and will not provide considerable progress in this question. Therefore, despite of the ...

This paper addresses the question of what sort of computation should be used to mediate between perception and action. Drawing on recent work in the area of Cognitive Robotics, the paper argues for the viability of an answer based on a rigorous, logical account of interleaved perception, planning and action. A number of common criticisms of approaches in this style are reviewed.

This paper offers a paraconsistent logical framework for analyzing collective judgments. The framework presented is useful for clarifying the extent to which various propositions (and inferences based on those propositions) are proportionally true in group-discourse settings. Formally, this task is called judgment aggregation, which attempts to answer the following question (posed by Christian ...

We consider intensional answers to be logical formulas expressing sufficient conditions for objects to belong to the usual answer to a query addressed to a knowledge base. We show that in the SLDNF-resolution framework, complete and procedurally complete sets of intensional answers can be generated by using partial evaluation. Specific treatments of recursion and negation are also presented.

This paper describes the retrieval experiments for the main task and list task of the TREC-2002 question-answering track. The question answering system described automatically finds answers to questions in a large document collection. The system uses a two-stage retrieval approach to answer finding based on matching of named entities, linguistic patterns, keywords, and the use of a new inferenc...

We present a method for finding abductive proofs in first-order Horn theories by using an answer-set solver. We illustrate our solution with examples from the domain of natural language understanding. Furthermore we describe a novel way of ranking abductive proofs of logical forms of sentences.