Abstract
Stand-alone Artificial Intelligence systems for performing specific types of reasoning - such as automated theorem proving and symbolic manipulation in computer algebra systems - are numerous, highly capable and constantly improving. Moreover, systems which combine various forms of reasoning have repeatedly been shown to be more effective than stand-alone systems. For example, the ICARUS system for reformulating constraint satisfaction problems [1] and the HOMER system for conjecture making in number theory [2]. However, in general, such combinations have been ad-hoc in nature and designedwith a specific task in mind. With little general design consideration or a suitable framework for combining reasoning, in general every new combination has to be built from scratch and the resulting system is often inflexible and difficult to manage. We believe it is imperative that generic frameworks are developed if the field of combining reasoning systems is to progress. Such generic frameworkswould provide standardised rule sets and toolkits to simplify the development of combined systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Charnley, J., Colton, S., Miguel, I.: Automatic generation of implied constraints. In: Proceedings of ECAI (2006)
Colton, S.: Automated conjecture making in number theory using HR, Otter and Maple. Journal of Symbolic Computation 39(5), 593–615 (2004)
Baars, B.: A cognitive theory of consciousness. Cambridge University Press, Cambridge (1988)
McCune, W.: Prover9, http://www.cs.unm.edu/mccune/prover9/
Waterloo Maple. Maple Manual, http://www.maplesoft.on.ca
Colton, S.: Automated Theory Formation in Pure Mathematics. Springer, Heidelberg (2002)
Colton, S., Pease, A.: The TM system for repairing non-theorems. In: Proceedings of the IJCAR 2004 Disproving workshop (2004)
Colton, S., Meier, A., Sorge, V., McCasland, R.: Automatic generation of classification theorems for finite algebras. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol. 3097, pp. 400–414. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Charnley, J., Colton, S. (2008). A Global Workspace Framework for Combining Reasoning Systems. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds) Intelligent Computer Mathematics. CICM 2008. Lecture Notes in Computer Science(), vol 5144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85110-3_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-85110-3_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85109-7
Online ISBN: 978-3-540-85110-3
eBook Packages: Computer ScienceComputer Science (R0)