A Verification Framework for Agent Knowledge.
Jin Song DongYuzhang FengHo-fung LeungPublished in: ICFEM (2007)
Keyphrases
- expert systems
- reasoning engine
- main contribution
- knowledge representation
- knowledge management
- domain knowledge
- multi agent systems
- reasoning mechanism
- knowledge acquisition
- knowledge base
- data sets
- multi agent
- probabilistic model
- bayesian networks
- state space
- prior knowledge
- decision making
- intelligent agents
- domain experts
- theoretical framework
- representation language
- goal driven
- cooperative
- neural network