A Global Workspace Framework for Combining Reasoning Systems

Charnley, John; Colton, Simon

doi:10.1007/978-3-540-85110-3_21

“…Other examples include the IsaScheme system by Montano Rivas [60], which employs a scheme-based approach to mathematical theory exploration; the IsaCosy system by Johansson et al [41] which performs inductive theory formation by synthesising conjectures from the available constants and free variables; and the MATHsAiD system by McCasland [55], which applies inference rules to user-provided axioms, and classifies the resulting proved statements as facts (results of no intrinsic mathematical interest), lemmas (statements which might be useful in the proof of subsequent theorems), or theorems (either routine or significant results). A survey of next generation automated theory formation is given in [64], including Pease's philosophically-inspired system HRL [63], which provides a computational representation of Lakatos's theory [46], and Charnley's cognitively-inspired system [22] based on Baar's theory of the Global Workspace [11].…”

Section: Mathematical Elementsmentioning

confidence: 99%

Mathematical Practice, Crowdsourcing, and Social Machines

Martin

¹

,

Pease

²

2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. Crowdsourcing pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs too long and complicated for humans to comprehend. The Study of Mathematical Practice is an emerging interdisciplinary field which draws on philosophy and social science to understand how mathematics is produced. Online mathematical activity provides a novel and rich source of data for empirical investigation of mathematical practice -for example the community question-answering system mathoverflow contains around 40,000 mathematical conversations, and polymath collaborations provide transcripts of the process of discovering proofs. Our preliminary investigations have demonstrated the importance of "soft" aspects such as analogy and creativity, alongside deduction and proof, in the production of mathematics, and have given us new ways to think about the roles of people and machines in creating new mathematical knowledge. We discuss further investigation of these resources and what it might reveal. Crowdsourced mathematical activity is an example of a "social machine", a new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity, and the subject of major international research endeavours. We outline a future research agenda for mathematics social machines, a combination of people, computers, and mathematical archives to create and apply mathematics, with the potential to change the way people do mathematics, and to transform the reach, pace, and impact of mathematics research.

show abstract

“…A second example is the Slant system for story generation [34], in which the blackboard model combines separate subsystems dealing with plot, figuration, and the narrative discourse tasks during the generation process. Yet another application of the blackboard system was described by John Charnley and Simon Colton [8] for combining reasoning systems used in discovering mathematical theorems and generating conjectures.…”

Section: Blackboard Architecturementioning

confidence: 99%

“…In this architecture, a number of independent agents interact together through a shared memory space called the blackboard to arrive at a solution to the problem. It was originally proposed for speech understanding [15] but now has been successfully applied to solve many problems in different domains [7,8,20].…”

Section: Introductionmentioning

confidence: 99%

A Blackboard System for Generating Poetry

Misztal-Radecka

¹

,

Indurkhya

²

2016

csci

7

0

View full text Add to dashboard Cite

We present a system to generate poems based on the information extracted from input text such as blog posts. Our design uses the blackboard architecture, in which independent specialized modules cooperate during the generation process by sharing a common workspace known as the blackboard. Each module is responsible for a particular task while generating poetry. Our implementation incorporates modules that retrieve information from the input text, generate new ideas, or select the best partial solutions. These distinct modules (experts) are implemented as diverse computational units that make use of lexical resources, grammar models, sentiment-analyzing tools, and languageprocessing algorithms. A control module is responsible for scheduling actions on the blackboard. We argue that the blackboard architecture is a promising way of simulating creative processes because of its flexibility and compliance with the Global Workspace Theory of mind. The main contribution of this work is the design and prototype implementation of an extensible platform for a poetry-generating system that may be further extended by incorporating new experts as well as some existing poetrygenerating systems as parts of the blackboard architecture. We claim that this design provides a powerful tool for combining many of the existing efforts in the domain of automatic poetry generation.

show abstract

“…In this architecture, a number of independent agents interact together through a shared memory space called the blackboard to arrive at a solution to the problem. It was originally proposed for speech understanding [15] but now has been successfully applied to solve many problems in different domains [7,8,20].…”

Section: Introductionmentioning

confidence: 99%

Computer Science

2005

Choice Reviews Online

0

View full text Add to dashboard Cite

We present a system to generate poems based on the information extracted from input text such as blog posts. Our design uses the blackboard architecture, in which independent specialized modules cooperate during the generation process by sharing a common workspace known as the blackboard. Each module is responsible for a particular task while generating poetry. Our implementation incorporates modules that retrieve information from the input text, generate new ideas, or select the best partial solutions. These distinct modules (experts) are implemented as diverse computational units that make use of lexical resources, grammar models, sentiment-analyzing tools, and languageprocessing algorithms. A control module is responsible for scheduling actions on the blackboard. We argue that the blackboard architecture is a promising way of simulating creative processes because of its flexibility and compliance with the Global Workspace Theory of mind. The main contribution of this work is the design and prototype implementation of an extensible platform for a poetry-generating system that may be further extended by incorporating new experts as well as some existing poetrygenerating systems as parts of the blackboard architecture. We claim that this design provides a powerful tool for combining many of the existing efforts in the domain of automatic poetry generation.

show abstract

A Global Workspace Framework for Combining Reasoning Systems

Cited by 5 publications

References 4 publications

Mathematical Practice, Crowdsourcing, and Social Machines

Mathematical Practice, Crowdsourcing, and Social Machines

A Blackboard System for Generating Poetry

Computer Science

Contact Info

Product

Resources

About