Mechanical inference problems in continuous speech understanding
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A universal modular ACTOR formalism for artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A distributed approach for multiple model diagnosis of physical systems
Information Sciences: an International Journal
Proof systems and transformation games
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Proof systems and transformation games
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
Knowledge may be organized as a community of intfiacting modules Each module is granted a complex stiucture, to simulate a particular expert in some small domain An extended analogy is drawn to a group of cooperating human specialists Based on this, an internal constraint is imposed on the modules. Then structure must be standard over the entire community Some advantages of a uniform formalism are thereby preserved. An experimental community was implemented for the task domain of automatic programming. It has managed to synthesize a few inductive inference LISP programs, nonformally. from specific restricted dialogues with a human user.