LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Craig, Iain D.
Publisher: University of Warwick. Department of Computer Science
Languages: English
Types: Other
Subjects: QA76
The blackboard architecture is a complex, though powerful, model of problem-solving, and opinions vary as to its interpretation. The use of formal specifications for blackboard systems appears warranted by their complexity, their application in real-time and safety critical domains, and because of the informality of the construct itself. This paper describes the Z specification of a blackboard framework, the aims, and the methods by which it was executed. At present, the specification is only a top-level one (and occupies over 100 A4 pages, including proofs and explanatory text): this has allowed concentration on the interpretation of the architecture, and has allowed the formal proof of a number of properties which have, hitherto, had 'folklore' status. The specification exercise revealed a number of areas in which further work was required. The blackboard specification is one of a number of Z specifications of AI architectures that we have undertaken: the problem areas first identified in the blackboard specification have reappeared in the others, and we suggest ways of solving the problems which are, perhaps, of general utility.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • Craig, I.D., The BB-SR System, Department of Computer Science, , University of Warwick, Research Report No. 94, 1987a.
    • Craig, I.D., The Blackboard Architecture: A Definition and Its Implications, Department of Computer Science, University of Warwick, Research Report No. 98, 1987b.
    • Craig, I.D., The CASSANDRA Architecture, Ellis Horwood, Chichester, England, 1989.
    • Craig, I.D., Blackboard Systems, Ablex Publishing Corp., Norwood, NJ, in press, 1991a.
    • Craig, I.D., The Formal Specification of AI Architectures, Ellis Horwood, Chichester, England, in press, 1991b.
    • Craig, I.D., The Formal Specification of ELEKTRA, Department of Computer Science, University of Warwick, Research Report, in prep., 1991c.
    • Craig, I.D., ELEKTRA: A Reflective Production System, Department of Computer Science, University of Warwick, Research Report, in prep., 1991d.
    • Craig, I.D., Rule Interpreters in ELEKTRA, Department of Computer Science, University of Warwick, Research Report, in prep., 1991e.
    • Craig, I.D., Formal Specification of AI Systems: Four Case Studies, Department of Computer Science, University of Warwick, in prep.,1991f.
    • Erman, L.D. and Lesser, V.R., A Multi-level Organization for Problem-Solving Using Many Diverse Cooperating Sources of Knowledge, Proc. IJCAI-75, 1975.
    • Erman, L.D., Hayes-Roth, F., Lesser, V.R. and Reddy, D.R., The HEARSAY-II SpeechUnderstanding System: Integrating Knowledge to Resolve Uncertainty, ACM Computing Surveys, 12, No. 2, pp. 213-53, 1980.
    • Feigenbaum, E., Nii, H.P., Anton, J.J. and Rockmore, A.J., Signal-to-signal Transformation: hasp/siap Case Study, AI Magazine, 3, pp. 23-35, 1982.
    • Hayes-Roth, B., The Blackboard Architecture: A General Framework for Problem Solving? Report No. HPP-83-30, Heuristis Programming Project, Computer Science Department, Stanford University, 1983.
    • Hayes-Roth, B., A Blackboard Model for Control, AI Journal, Vol. 26, pp. 251-322, 1985.
    • Hayes-Roth, B., Garvey, A., Johnson, M.V. and Hewett, M., BB*: A Layered Environment for Reasoning about Action, Technical Report No. KSL 86-38, Knowledge Systems Laboratory, Stanford University, 1986.
    • Hayes-Roth, F. and Lesser, V.R., Focus of Attention in the HEARSAY-II Speech Understanding System, Proc. IJCAI-77, pp. 27-35, 1977.
    • Lesser, V.R. and Erman, L.D., A Retrospective View of the HEARSAY-II Architecture, Proc. IJCAI-77, pp. 790-800, 1977.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article