A First-Order Logic Framework of Major Choosing Decision Making With an Uncertain Reasoning Function.
Fang YuQing ZhouXiaoshan LuSen ZhaoPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2018)
Keyphrases
- first order logic
- uncertain reasoning
- expressive power
- decision making
- representation language
- propositional logic
- theorem proving
- transitive closure
- theorem prover
- inductive logic programming
- inference rules
- decision makers
- probabilistic reasoning
- probabilistic graphical models
- logical rules
- probability distribution
- natural language
- bayesian framework
- artificial intelligence