The Relevance of Proofs of the Rationality of Probability Theory to Automated Reasoning and Cognitive Models.
Ernest DavisPublished in: CoRR (2013)
Keyphrases
- automated reasoning
- probability theory
- cognitive models
- theorem proving
- theorem prover
- inference rules
- cognitive processes
- cognitive model
- possibility theory
- cognitive modeling
- first order logic
- cognitive architecture
- reasoning tasks
- cognitive science
- decision theory
- belief change
- conditional independence
- knowledge representation
- probabilistic reasoning
- probabilistic logic
- stochastic logic programs
- belief functions
- computational models
- multi agent
- fuzzy sets
- bayesian networks
- artificial intelligence
- game theory
- data mining
- conditional probabilities
- constraint satisfaction
- abductive reasoning
- neural network