How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning.
Edward Hermann HaeuslerPublished in: LANMR (2014)
Keyphrases
- horn logic
- automated reasoning
- proof theory
- order of magnitude reasoning
- intuitionistic logic
- deductive reasoning
- reasoning engine
- computational properties
- human reasoning
- classical logic
- logical framework
- proof theoretic
- propositional logic
- probabilistic logic
- abductive reasoning
- commonsense reasoning
- logical inference
- reasoning systems
- probability theory
- qualitative reasoning
- logical rules
- belief change
- reasoning about actions
- valued logic
- knowledge base
- legal reasoning
- scientific discovery
- default reasoning
- probabilistic reasoning
- power consumption
- modal logic
- compression algorithm
- data compression
- knowledge representation
- causal reasoning
- image compression
- chip design
- compression ratio
- theorem proving
- proof procedure
- multi valued
- compression scheme
- situation calculus
- probabilistic knowledge
- logic programming
- inconsistent knowledge
- knowledge representation and reasoning