Reasoning with Computer Code: a new Mathematical Logic.
Sergio PissanetzkyPublished in: J. Artif. Gen. Intell. (2012)
Keyphrases
- human reasoning
- proof theory
- automated reasoning
- deductive reasoning
- computational properties
- logical inference
- logical framework
- order of magnitude reasoning
- probabilistic logic
- intuitionistic logic
- computer algebra
- knowledge representation
- proof theoretic
- commonsense reasoning
- computer programs
- reasoning tasks
- abductive reasoning
- reasoning systems
- source code
- modal logic
- proof procedure
- predicate logic
- scientific discovery
- reasoning engine
- causal reasoning
- knowledge base
- reasoning problems
- derivation rules
- horn logic
- computer systems
- logical rules
- logical operations
- logical formulas
- linear logic
- classical logic
- computer technology
- legal reasoning
- fuzzy logic
- probabilistic knowledge