Dynamics of Knowledge Processing in Parallel Systems
Abhijit Chaundhury, Dan Cristian Marinescu, Andrew B. Whinston · Purdue e-Pubs (Purdue University System) · 1988
Inferential reasoning systems such as Prolog or expert systems are treated as computational systems in the framework: of net theol)'.Once the representation is established the collection of analysis teclutiques associated with net theory can be applied to a wide range of artificial intelligence (AI) systems.In the paper we exploit these techniques to explore issues of inconsistency and contradictions in the knowledge base, detect deadlock, and recognize redundancy.One major advantage of net theory is the possibility of analyzing parallelism in the inferential process.We specify a formal model that maps the computational model in its net representation to an appropriate parallel architecture.Net theory is also used to model extensions to hom-clause systems such as belief structures and non-hom clausal systems.It appears that the representation of inferential process in net theory is a useful tool in that many of the well developed techniques of analyses can be applied.