User:Veritas Aeterna/Blackboard System Draft

A blackboard system is an artificial intelligence approach based on the blackboard architectural model,^[1]^[2]^[3]^[4] where a common knowledge base, the "blackboard", is iteratively updated by a diverse group of specialist knowledge sources, starting with a problem specification and ending with a solution. Each knowledge source updates the blackboard with a partial solution when its internal constraints match the blackboard state. In this way, the specialists work together to solve the problem. The blackboard model was originally designed as a way to handle complex, ill-defined problems, where the solution is the sum of its parts.

Metaphor

The following scenario provides a simple metaphor that gives some insight into how a blackboard functions:

A group of specialists are seated in a room with a large blackboard. They work as a team to brainstorm a solution to a problem, using the blackboard as the workplace for cooperatively developing the solution.
The session begins when the problem specifications are written onto the blackboard. The specialists all watch the blackboard, looking for an opportunity to apply their expertise to the developing solution. When someone writes something on the blackboard that allows another specialist to apply their expertise, the second specialist records their contribution on the blackboard, hopefully enabling other specialists to then apply their expertise. This process of adding contributions to the blackboard continues until the problem has been solved.

Components

A blackboard-system application consists of three major components

The software specialist modules, which are called knowledge sources (KSs). Like the human experts at a blackboard, each knowledge source provides specific expertise needed by the application.
The blackboard, a shared repository of problems, partial solutions, suggestions, and contributed information. The blackboard can be thought of as a dynamic "library" of contributions to the current problem that have been recently "published" by other knowledge sources.
The control shell, which controls the flow of problem-solving activity in the system. Just as the eager human specialists need a moderator to prevent them from trampling each other in a mad dash to grab the chalk, KSs need a mechanism to organize their use in the most effective and coherent fashion. In a blackboard system, this is provided by the control shell.

Learnable Task Modeling Language

A blackboard system is the central space in a multi-agent system. It's used for describing the world as a communication platform for agents. To realize a blackboard in a computer program, a machine readable notation is needed in which facts can be stored. One attempt in doing so is a SQL database, another option is the Learnable Task Modeling Language (LTML). The syntax of the LTML planning language is similar to PDDL, but adds extra features like control structures and OWL-S models.^[5]^[6] LTML was developed in 2007^[7] as part of a much larger project called POIROT (Plan Order Induction by Reasoning from One Trial),^[8] which is a Learning from demonstrations framework for process mining. In POIROT, Plan traces and hypotheses are stored in the LTML syntax for creating semantic web services.^[9]

Here is a small example: A human user is executing a workflow in a computer game. The user presses some buttons and interacts with the game engine. While the user interacts with the game, a plan trace is created. That means the user's actions are stored in a logfile. The logfile gets transformed into a machine readable notation which is enriched by semantic attributes. The result is a textfile in the LTML syntax which is put on the blackboard. Agents (software programs in the blackboard system) are able to parse the LTML syntax.

Implementations

We start by discussing two well known early blackboard systems, BB1 and GBB, below and then discuss more recent implementations and applications.

The BB1 blackboard architecture^[10] was originally inspired by studies of how humans plan to perform multiple tasks in a trip, used task-planning as a simplified example of tactical planning for the Office of Naval Research.^[11] Hayes-Roth & Hayes-Roth found that human planning was more closely modeled as an opportunistic process, in contrast to the primarily top-down planners used at the time:

While not incompatible with successive-refinement models, our view of planning is somewhat different. We share the assumption that planning processes operate in a two-dimensional planning space defined on time and abstraction dimensions. However, we assume that people's planning activity is largely opportunistic. That is, at each point in the process, the planner's current decisions and observations suggest various opportunities for plan development. The planner's subsequent decisions follow up on selected opportunities. Sometimes, these decision-sequences follow an orderly path and produce a neat top-down expansion as described above. However, some decisions and observations might also suggest less orderly opportunities for plan development. ^[12]

A key innovation of BB1 was that it applied this opportunistic planning model to its own control, using the same blackboard model of incremental, opportunistic, problem-solving that was applied to solve domain problems. Meta-level reasoning with control knowledge sources could then monitor whether planning and problem-solving were proceeding as expected or stalled. If stalled, BB1 could switch from one strategy to another as conditions – such as the goals being considered or the time remaining – changed. BB1 was applied in multiple domains: construction site planning^[13], inferring 3-D protein structures from X-ray crystallography^[14], intelligent tutoring systems^[15], and real-time patient monitoring^[16].

BB1 also allowed domain-general language frameworks to be designed for wide classes of problems. For example, the ACCORD ^[17] language framework defined a particular approach to solving configuration problems. The problem-solving approach was to incrementally assemble a solution by adding objects and constraints, one at a time. Actions in the ACCORD language framework appear as short English-like commands or sentences for specifying preferred actions, events to trigger KSes, preconditions to run a KS action, and obviation conditions to discard a KS action that is no longer relevant.

GBB ^[18] focused on efficiency, in contrast to BB1, which focused more on sophisticated reasoning and opportunistic planning. GBB improves efficiency by allowing blackboards to be multi-dimensional, where dimensions can be either ordered or not, and then by increasing the efficiency of pattern matching. GBB1^[19], one of GBB's control shells implements BB1's style of control while adding efficiency improvements.

Other well-known examples of early academic blackboard systems are the Hearsay II speech recognition system and Douglas Hofstadter's Copycat and Numbo projects.

Some more recent examples of deployed real-world applications include:

The PLAN component of the Mission Control System for RADARSAT-1,^[20] an Earth observation satellite developed by Canada to monitor environmental changes and Earth's natural resources.

The GTXImage CAD software by GTX Corporation, developed in the early 1990s using a set of rule bases and neural networks as specialists operating on a blackboard system.

Adobe Acrobat Capture (now discontinued), as it used a blackboard system to decompose and recognize image pages to understand the objects, text, and fonts on the page. This function is currently built into the retail version of Adobe Acrobat as "OCR Text Recognition". Details of a similar OCR blackboard for Farsi text are in the public domain.^[21]

Blackboard systems are used routinely in many military C4ISTAR systems for detecting and tracking objects. Another example of current use is in Game AI, where they are considered a standard AI tool to help with adding AI to video games.^[22]^[23]

Recent developments

Blackboard-like systems have been constructed within modern Bayesian machine learning settings, using agents to add and remove Bayesian network nodes. In these 'Bayesian Blackboard' systems, the heuristics can acquire more rigorous probabilistic meanings as proposal and acceptances in Metropolis Hastings sampling though the space of possible structures.^[24]^[25]^[26] Conversely, using these mappings, existing Metropolis-Hastings samplers over structural spaces may now thus be viewed as forms of blackboard systems even when not named as such by the authors. Such samplers are commonly found in musical transcription algorithms for example.^[27]

Blackboard systems have also been used to build large-scale intelligent systems for the annotation of media content, automating parts of traditional social science research. In this domain, the problem of integrating various AI algorithms into a single intelligent system arises spontaneously, with blackboards providing a way for a collection of distributed, modular natural language processing algorithms to each annotate the data in a central space, without needing to coordinate their behavior.^[28]

Blackboard systems represent a promising solution for very difficult diagnosis problems solving. Intelligent Medical Hybrid System is a blackboard system proposed to offer a solution for cooperative diagnosis problems-solving by human specialists and intelligent knowledge source agents.^[29]

References

^ Erman, L. D.; Hayes-Roth, F.; Lesser, V. R.; Reddy, D. R. (1980). "The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty". ACM Computing Surveys. 12 (2): 213. doi:10.1145/356810.356816. S2CID 118556.
^ Corkill, Daniel D. (September 1991). "Blackboard Systems" (PDF). AI Expert. 6 (9): 40–47.
^ * Nii, H. Penny (1986). Blackboard Systems (PDF) (Technical report). Department of Computer Science, Stanford University. STAN-CS-86-1123. Retrieved 2013-04-12.
^ Hayes-Roth, B. (1985). "A blackboard architecture for control". Artificial Intelligence. 26 (3): 251–321. doi:10.1016/0004-3702(85)90063-3.
^ Goldman, Robert P and Maraist, John (2010). Shopper: A System for Executing and Simulating Expressive Plans. ICAPS. pp. 230–233.{{cite conference}}: CS1 maint: multiple names: authors list (link)
^ Pechoucek, Michal (2010). Agent-Based Computing in Distributed Adversarial Planning (Technical report). Czech Technical Univ Prague.
^ Burstein, Mark and Brinn, Marshall and Cox, Mike and Hussain, Talib and Laddaga, Robert and McDermott, Drew and McDonald, David and Tomlinson, Ray (2007). An architecture and language for the integrated learning of demonstrations. AAAI Workshop Acquiring Planning Knowledge via Demonstration. pp. 6–11.{{cite conference}}: CS1 maint: multiple names: authors list (link)
^ Morrison, Clayton T and Cohen, Paul R (2007). Designing experiments to test planning knowledge about plan-step order constraints. ICAPS workshop on Intelligent Planning and Learning.{{cite conference}}: CS1 maint: multiple names: authors list (link)
^ Burstein, Mark and Bobrow, Robert and Ferguson, William and Laddaga, Robert and Robertson, Paul (2010). Learning from Observing: Vision and POIROT-Using Metareasoning for Self Adaptation. Self-Adaptive and Self-Organizing Systems Workshop (SASOW), 2010 Fourth IEEE International Conference on. pp. 300–307.{{cite conference}}: CS1 maint: multiple names: authors list (link)
^ Hayes-Roth, Barbara (1985). "A blackboard architecture for control". Artificial Intelligence. 26 (3): 251–321. doi:10.1016/0004-3702(85)90063-3.
^ Hayes-Roth, Barbara (1980). Human Planning Processes. RAND.
^ Hayes-Roth, Barbara; Hayes-Roth, Frederick (1979). "A Cognitive Model of Planning". Cognitive Science. 3: 275–310.
^ Tommelein, Iris D.; Levitt, Raymond E.; Hayes-Roth, Barbara (1989). "Sightplan: An Artificial Intelligence Tool to Assist Construction Managers with Site Layout". Proceedings of the International Symposium on Automation and Robotics in Construction (IAARC). ISSN 2413-5844. Retrieved 2023-03-17., inferring 3D
^ Hayes-Roth, Barbara; Buchanan, Bruce G.; Lichtarge, Olivier; Hewitt, Mike; Altman, Russ B.; Brinkley, James F.; Cornelius, Craig; Duncan, Bruce S.; Jardetzky, Oleg (1986). PROTEAN: Deriving Protein Structure from Constraints. AAAI. pp. 904–909. Retrieved 2012-08-11.
^ Murray, William R. (1989). "Control for Intelligent Tutoring Systems: A Blackboard-based Dynamic Instructional Planner". Proceedings of the 4th International Conference on Artificial Intelligence and Education. 4th International Conference of AI and Education. Amsterdam, Holland: IOS. pp. 150–168.
^ Hayes-Roth, Barbara (1995-01-01). "An architecture for adaptive intelligent systems". Artificial Intelligence. 72 (1): 329–365. doi:10.1016/0004-3702(94)00004-K. ISSN 0004-3702. Retrieved 2023-02-09.
^ Hayes-Roth, Barbara; Vaughan Johnson, M.; Garvey, Alan; Hewett, Michael (1986-10-01). "Application of the BB1 blackboard control architecture to arrangement-assembly tasks". Artificial Intelligence in Engineering. 1 (2): 85–94. doi:10.1016/0954-1810(86)90052-X. ISSN 0954-1810. Retrieved 2018-12-21.
^ Corkill, Daniel; Gallagher, Kevin; Murray, Kelly (1986). GBB: A Generic Blackboard Development System. Proceedings of the Fifth National Conference on Artificial Intelligence. pp. 1008–1014.
^ Corkill, Dan (1987). Integrating BB1-Style Control into the Generic Blackboard System. Workshop on Blackboard Systems. Coins Technical Report 87-59. Seattle, Washington.
^ Corkill, Daniel D. "Countdown to success: Dynamic objects, GBB, and RADARSAT-1." Communications of the ACM 40.5 (1997): 48-58.
^ Khosravi, H., & Kabir, E. (2009). A blackboard approach towards integrated Farsi OCR system. International Journal of Document Analysis and Recognition (IJDAR), 12(1), 21-32.
^ Millington, Ian (2019-03-26). AI for Games, Third Edition (3rd ed.). Boca Raton: CRC Press. ISBN 978-1-138-48397-2.
^ Dill, Kevin (2023). "Structural Architecture— Common Tricks of the Trade". In Steve Rabin (ed.). Game AI Pro: Collected Wisdom of Game AI Professionals. Vol. 1 (1st ed.). A K Peters/CRC Press. pp. 61–71. ISBN 978-1-03-247745-9.
^ Fox C, Evans M, Pearson M, Prescott T (2011). "Towards hierarchical blackboard mapping on a whiskered robot" (PDF). Robotics and Autonomous Systems. 60 (11): 1356–66. doi:10.1016/j.robot.2012.03.005.
^ Sutton C. A Bayesian Blackboard for Information Fusion, Proc. Int. Conf. Information Fusion, 2004
^ Carver, Norman (May 1997). "A Revisionist View of Blackboard Systems". Proceedings of the 1997 Midwest Artificial Intelligence and Cognitive Science Society Conference.
^ Godsill, Simon, and Manuel Davy. "Bayesian harmonic models for musical pitch estimation and analysis." Acoustics, Speech, and Signal Processing (ICASSP), 2002 IEEE International Conference on. Vol. 2. IEEE, 2002.
^ Flaounas, Ilias; Lansdall-Welfare, Thomas; Antonakaki, Panagiota; Cristianini, Nello (2014-02-25). "The Anatomy of a Modular System for Media Content Analysis". arXiv:1402.6208 [cs.MA].
^ Arik, Sabri; Iantovics, Laszlo Barna (2017). "Next Generation Hybrid Intelligent Medical Diagnosis Systems". Neural Information Processing. 10636. Cham: Springer International Publishing: 903–912. doi:10.1007/978-3-319-70090-8_92. ISBN 978-3-319-70090-8.

External links

Open Blackboard System An open source framework for developing blackboard systems.
GBBopen An open source blackboard system framework for Common Lisp.
Blackboard Event Processor An open source blackboard implementation that runs on the JVM but supports plan scripting in JavaScript and JRuby.
KOGMO-RTDB A real-time open source blackboard for C/C++, used by some DARPA Urban Challenge autonomous vehicles.
HarTech Technologies A company that provides both Simulation and Command and Control solutions which are all based on a unique Blackboard architecture. The Blackboard development framework can be utilized to develop custom applications.
The BB1 Blackboard Control architecture An older Blackboard system, available for Common Lisp and C++.
Macsy A modular blackboard architecture for Python built on top of MongoDB for the annotation of media content.