Page
%P
43 Result(s)
within
Anthony Hunter
Mathematical Logic and Formal Languages
-
Chapter and Conference Paper
The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases
In this paper, a new algebraic representation by the non-Archimedean fields is proposed to model stratified/ranked knowledge bases. The non-Archimedean representation is in the form of the non-Archimedean poly...
-
Chapter and Conference Paper
Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs
In probabilistic logic programming, given a query, either a probability interval or a precise probability obtained by using the maximum entropy principle is returned for the query. The former can be noninforma...
-
Chapter and Conference Paper
Elements of Argumentation
Logic-based formalizations of argumentation, that take pros and cons for some claim into account, have been extensively studied, and some basic principles have been established (for reviews see [1-3]). These f...
-
Chapter and Conference Paper
Approaches to Constructing a Stratified Merged Knowledge Base
Many merging operators have been proposed to merge either flat or stratified knowledge bases. The result of merging by such an operator is a flat base (or a set of models of the merged base) irrespective of wh...
-
Chapter and Conference Paper
Incomplete Statistical Information Fusion and Its Application to Clinical Trials Data
In medical clinical trials, overall trial results are highlighted in the abstracts of papers/reports. These results are summaries of underlying statistical analysis where most of the time normal distributions are...
-
Book
-
Chapter and Conference Paper
Measuring the Quality of Uncertain Information Using Possibilistic Logic
In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and necessity measures [HL04,HL05a,HL05b]. In ...
-
Chapter
Introduction to Inconsistency Tolerance
Inconsistency arises in many areas in advanced computing. Examples include: Merging information from heterogeneous sources; Negotiation in multi-agent systems; Understanding natural language dialogues; and Com...
-
Chapter
Approaches to Measuring Inconsistent Information
Measures of quantity of information have been studied extensively for more than fifty years. The seminal work on information theory is by Shannon [67]. This work, based on probability theory, can be used in a ...
-
Chapter and Conference Paper
Propositional Fusion Rules
In previous papers, we have presented a logic-based framework for merging structured news reports [14,16,15]. Structured news reports are XML documents, where the text entries are restricted to individual word...
-
Chapter and Conference Paper
Probable Consistency Checking for Sets of Propositional Clauses
Inconsistencies inevitably arise in knowledge during practical reasoning. In a logic-based approach, this gives rise to the need for consistency checking. Unfortunately, this can be difficult. In classical pro...
-
Chapter and Conference Paper
A Semantic Tableau Version of First-Order Quasi-Classical Logic
Quasi-classical logic (QC logic) allows the derivation of non-trivial classical inferences from inconsistent information. A paraconsis-ent, or non-trivializable, logic is, by necessity, a compromise, or weaken...
-
Book and Conference Proceedings
-
Book
-
Chapter
Introduction to uncertainty formalisms
The heterogeneity of uncertainty in the real-world has driven the development of a wide variety of formal approaches to representing and reasoning with uncertainty in knowledge. There is now a shift to analysi...
-
Chapter
A Review of Uncertainty Handling Formalisms
Many different formal techniques, both numerical and symbolic, have been developed over the past two decades for dealing with incomplete and uncertain information. In this paper we review some of the most impo...
-
Chapter and Conference Paper
Information fusion in logic: A brief overview
Information fusion is the process of deriving a single consistent knowledgebase from multiple knowledgebases. This process is important in many cognitive tasks such as decision-making, planning, design, and sp...
-
Chapter and Conference Paper
Using default logic for lexical knowledge
Lexical knowledge is knowledge about the morphology, grammar, and semantics of words. This knowledge is increasingly important in language engineering, and more generally in information retrieval, information ...
-
Chapter and Conference Paper
Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information
Here we present a new paraconsistent logic, called quasi-classical logic (or QC logic) that allows the derivation of non-trivializable classical inferences. For this it is necessary that queries are in conjunc...
-
Chapter and Conference Paper
Using default logic in information retrieval
Information retrieval involves uncertainty. In an information system, the user is not certain about the contents of the information system, and the system is not certain about the users needs. Information retr...
