Issues in parallel execution of non-monotonic reasoning systems

✍ Scribed by Marcello Balduccini; Enrico Pontelli; Omar Elkhatib; Hung Le

• Publisher: Elsevier Science
• Year: 2005
• Tongue: English
• Weight: 463 KB
• Volume: 31
• Category: Article
• ISSN: 0167-8191
• DOI: 10.1016/j.parco.2005.03.004

✦ Synopsis

We explore the major issues involved in the automatic exploitation of parallelism from the execution models of logic-based non-monotonic reasoning systems. We describe orthogonal techniques to parallelize the computation of models of non-monotonic logic theories, and demonstrate the effectiveness of the proposed techniques in prototypical implementation.