Openproof - A Flexible Framework for Heterogeneous Reasoning.
Dave Barker-PlummerJohn EtchemendyAlbert LiuMichael D. MurrayNik SwobodaPublished in: Diagrams (2008)
Keyphrases
- knowledge representation
- reasoning systems
- knowledge base
- conflicting information
- reasoning engine
- case study
- qualitative reasoning
- heterogeneous systems
- meta level
- decision making
- fuzzy logic
- heterogeneous networks
- data sets
- automated reasoning
- logical framework
- uncertain information
- knowledge representation and reasoning
- causal reasoning
- model based reasoning
- reasoning about actions
- artificial intelligence
- real world
- neural network