Page
%P
43 Result(s)
within
Anthony Hunter
Mathematical Logic and Formal Languages
-
Chapter and Conference Paper
Execution of defeasible temporal clauses for building preferred models
Important forms of reasoning such as planning and scheduling can be both temporal and non-monotonic in nature. For a logic-based solution, such reasoning requires (1) the specification of components of a plan,...
-
Chapter and Conference Paper
Making inconsistency respectable: A logical framework for inconsistency in reasoning, part I — A position paper
We claim there is a fundamental difference between the way humans handle inconsistency and the way it is currently handled in formal logical systems: To a human, resolving inconsistencies is not necessarily done ...
-
Chapter and Conference Paper
A conceptualization of preferences in non-monotonic proof theory
Formalizing non-monotonic reasoning is a significant problem within artificial intelligence. A number of approaches have been proposed, but a clear understanding of the problem remains elusive. Given the diver...
-
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...
-
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 ...
-
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...
-
Book and Conference Proceedings
-
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...
-
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...
-
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
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...
