A logic-based calculus of events
New Generation Computing
A visualization tool for interactive learning of large decision trees
ICTAI '00 Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence
| Hi-index | 0.00 |
Digital circuits have been studied, which can support the decisionmaking process. The circuits allow realizing two types of inference rules: modus ponens and modus tollens. Inference process uses knowledge that comes from a description of situations, and axioms, which comes from the experts.