In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

The blackboard architecture has been an essentially informal construct from its inception. This has led to diierent, though essentially similar, interpretations of the original metaphor. In a recent book, the author presented a mathematical speciication of a blackboard system shell. The exercise was successful and suggested a method for developing blackboard systems with the aid of formal metho...

In this paper, we discuss the need for a hybrid reasoning approach to handing Semantic Web data and explain why we believe that the Blackboard Architecture is particularly suitable. We describe how we have utilised it for combining ontological inference, rules and constraint based reasoning within a Semantic Web context. After describing the metaphor on which the Blackboard Architecture is base...

This exposition is a tutorial on how object-oriented programming (OOP) in Lisp can be used for programming a blackboard. Since we have used Common Lisp and the Common Lisp Object System (CLOS), the exposition demonstrates how object classes and the primary, before, and after methods associated with the classes can be used for this purpose. The reader should note that the different approaches to...

Knowledge Based Real-Time Systems for intelligent patient monitoring must present the following characteristics: (a) reactivity and opportunism compatible with goal directed control, (b) domain independent task structures, (c) heterogeneous problemsolving methods, and (d) temporal reasoning. Conventional architectures present these characteristics in a separated way. To build a system that pres...