CIS: a massively concurrent rule-based system

摘要: Recently researchers have suggested several computational models in which, one programs by specifying large networks of simple devices. Such are interesting because they go to the roots concurrency - circuit level. A problem with is that it unclear how program systems and expensive implement many features taken for granted symbolic programming languages. This paper describes Concurrent Inference System (CIS), its implementation on a massively concurrent network model computation. It shows much functionality current rule-based can be implemented straightforward manner within such models. Unlike conventional implementations which inference engine rule sets clearly divided at run time. CIS compiles rules into static very In this no longer distinct. The Thinking Machines Corporation, Connection Machine 65,536 processor SIMD computer then used network. On implementation, real time user system interaction possible up 100,000 rules.