A logic-based calculus of events
New Generation Computing
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Computability and logic
Handbook of logic in artificial intelligence and logic programming (vol. 3)
The complexity of logic-based abduction
Journal of the ACM (JACM)
Tractable reasoning via approximation
Artificial Intelligence
Communications of the ACM
Ramification analysis using causal mapping
Data & Knowledge Engineering
Merging potentially inconsistent items of structured text
Data & Knowledge Engineering
A logic-based theory of deductive arguments
Artificial Intelligence
Merging structured text using temporal knowledge
Data & Knowledge Engineering
Logical fusion rules for merging structured news reports
Data & Knowledge Engineering
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Compiling Knowledge into Decomposable Negation Normal Form
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
Hybrid argumentation systems for structured news reports
The Knowledge Engineering Review
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
Knowledge compilation using theory prime implicates
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A perspective on knowledge compilation
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Evaluating violations of expectations to find exceptional information
Data & Knowledge Engineering
How to act on inconsistent news: ignore, resolve, or reject
Data & Knowledge Engineering
Hi-index | 0.00 |
Much useful information in news reports is often that which is surprising or unexpected. In other words, we harbour many expectations about the world, and when any of these expectations are violated (i.e. made inconsistent) by news, we have a strong indicator of some information that is interesting for us. In this paper we present a framework for identifying interesting information in news reports by finding interesting inconsistencies. An implemented system based on this framework (1) accepts structured news reports as inputs, (2) translates each report to a logical literal, (3) identifies the story of which the report is a part, (4) looks for inconsistencies between the report, the background knowledge, and a set of expectations, (5) classifies and evaluates those inconsistencies, and (6) outputs news reports of interest to the user together with associated explanations of why they are interesting.