Keyphrases
- decision problems
- first order logic
- knowledge representation
- influence diagrams
- theorem proving
- decision model
- utility function
- optimal policy
- inference rules
- computational complexity
- bandit problems
- decision processes
- partially observable
- multiple criteria
- pspace complete
- optimal strategy
- np hard
- bayesian decision problems
- sequential decision making
- dynamic programming
- highly expressive
- horn clauses
- theorem prover
- machine learning
- incomplete information
- special case
- expert systems
- knowledge base