Prolegomena to a Theory of Mechanized Formal Reasoning.
Richard W. WeyhrauchPublished in: Artif. Intell. (1980)
Keyphrases
- formal models
- reasoning processes
- formal model
- cognitive maps
- mathematical foundations
- plausible reasoning
- logical framework
- knowledge base
- deductive reasoning
- causal reasoning
- artificial intelligence
- logical reasoning
- commonsense reasoning
- mathematical theory
- argumentation schemes
- bayesian networks
- hypothetical reasoning
- proof theory
- theoretical framework
- formal theory
- formal methods
- model based reasoning
- analogical reasoning
- default reasoning
- general theory
- uncertain information
- automated reasoning