ProB is being used for teaching the B-method. In this paper, we present two new features of ProB that we have introduced while teaching B. One feature allows a student (or an expert user) to graphically visualise any predicate as a tree. The underlying algorithm can deal with undefined subformulas and tries to provide useful feedback even for existentially quantified formulas which are false. T...

Knowledge organisation plays an important role in building a knowledge-based product design blackboard system. Well-organised knowledge sources will facilitate the effectiveness and efficiency of communication and data exchange in a blackboard system. In a previous investigation, an approach for constructing blackboard systems for product design using a non-directed graph decomposition algorith...

Most of today’s business applications have to deal with automated workflows. In this paper, we argue that the blackboard pattern can be used to create an architecture for the development of such workflows. We illustrate how the fundamental building parts of a workflow are addressed in such an architecture. The development of a prototypical group calendaring application verified the proposed arc...

Despite the continued popularity of the blackboard model of problem solving, recent AI texts hardly mention it. This is probably largely due to the decision to adopt formal frameworks into which the blackboard model does not appear to fit. In this paper, we explore the relationship between blackboard-based and behef network approaches to interpretation problems. In this way we begin to reinterp...

this paper intends to find an answer to the problematic description of the difference between mulla sadra and allameh tabatabaei’s views on the ontological explanation of “predication” and also, tries to find the origin of this difference. since subject and predicate are different degrees of one existence in mulla sadra’s philosophical structure, the reality of predication is the :union: of two...