Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study.
Zhenbing ZengJianlin WangZhengfeng YangPublished in: TASE (2019)
Keyphrases
- automated reasoning
- multi agent
- reasoning systems
- theorem proving
- decision procedures
- knowledge representation
- probabilistic reasoning
- theorem prover
- reasoning tasks
- automated verification
- knowledge representation and reasoning
- reinforcement learning
- case study
- multi agent systems
- propositional satisfiability
- prime implicants
- neural network
- bayesian networks
- markov random field
- artificial intelligence