Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference.
Nik SwobodaGerard AllweinPublished in: Softw. Syst. Model. (2004)
Keyphrases
- inference engine
- differential equations
- knowledge representation
- production rules
- first order logic
- association rules
- backward chaining
- rule sets
- certainty factor
- knowledge base
- rewrite rules
- transformation rules
- directed acyclic graph
- classification rules
- expert systems
- rule extraction
- inference process
- belief networks
- inference mechanism
- decision rules
- stochastic differential equations
- laplace transform