Extending the μLog Framework with Local and Conditional Blackboard Operations

✍ Scribed by KOEN DE BOSSCHERE; JEAN-MARIE JACQUET

• Publisher: Elsevier Science
• Year: 1996
• Tongue: English
• Weight: 834 KB
• Volume: 21
• Category: Article
• ISSN: 0747-7171
• DOI: 10.1006/jsco.1996.0036

✦ Synopsis

This paper discusses two extensions of the kernel µLog framework presented by Jacquet and De Bosschere (1994): local blackboards and conditional access primitives. The former are needed to alleviate the blackboard communication bottleneck and to solve message naming conflicts whereas the latter improve the message selection power of pattern matching or unification. We propose a syntax for both extensions, give their operational semantics, provide a declarative semantics and prove the soundness and completeness properties in our setting. Moreover, we discuss a specialization of this framework using Prolog as target language. An implementation is presented and the applicability of the proposed framework and language is argued through the coding of a reactive system.