Logic Machine Architecture: Inference Mechanisms.
Ewing L. LuskWilliam McCuneRoss A. OverbeekPublished in: CADE (1982)
Keyphrases
- inference engine
- real time
- management system
- software architecture
- logical inference
- multiprocessor database
- belief networks
- inference mechanism
- flowshop
- deductive reasoning
- bayesian inference
- probabilistic inference
- logic synthesis
- rule engine
- epistemic logic
- abductive reasoning
- mechanism design
- predicate logic
- distributed architecture
- classical logic
- design considerations
- automated reasoning
- probabilistic reasoning
- network architecture
- probability distribution