An automated reasoning for diagnostic knowledge in a distributed environment.
Susumu YamasakiMariko SasakuraPublished in: ISICT (2003)
Keyphrases
- automated reasoning
- distributed environment
- diagnostic knowledge
- model based reasoning
- causal knowledge
- distributed systems
- distributed computing
- theorem proving
- knowledge representation
- probabilistic reasoning
- theorem prover
- intelligent agents
- distributed data mining
- peer to peer
- peer to peer networks
- case based reasoning
- artificial intelligence
- intelligent systems
- cooperative
- first order logic
- bayesian networks
- expert systems