Abstract
In this chapter I will describe in some detail a formal computer model of inferential discourse based on the belief system (see Chaps. 6 and 7). The key issue is that a logical model in a computer, based on rational sets, can usefully model a human situation grounded on irrational sets (see Chap. 9). The background of this work is explained elsewhere, as is the issue of rational and irrational sets. The model is based on the Belief System and it provides a mechanism for choosing queries based on a range of belief. We explain how it provides a way to update the belief based on query results, thus modelling others’ experience by inference. We also demonstrate that for the same internal experience, different models can be built for different actors.
There is no such thing as absolute certainty, but there is assurance sufficient for the purpose of human life.
John Stuart Mill, (On Liberty, 1859)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
An evaluation, of a potentially shareable event, that is accessible only by a single actor and related to that actor’s observation and assessment of that event.
References
Addis T, Gooding D (1999) Learning as collective belief-revision: simulating reasoning about disparate phenomena, Proceedings of the AISB’99 Symposium on Scientific Creativity, ISBN 1 902 956044
Addis T, Gooding D (2008) Methods for an abductive system in science Foundations of Science, vol 13, No 1, March 2008
Addis T et al (2004) The abductive loop: Tracking irrational sets (this publication)
Billinge D (2000) An analysis of the communicability of musical predication: a feasibility study for artistic decision support systems. PhD Thesis, University of Portsmouth
Billinge D, Addis T (2003) The functioning of tropic communication: a mechanism for consistent figurative descriptions of artistic effect. AISB’03 symposium on AI and creativity in arts and science, University of Wales at Aberystwyth
Billinge D, Addis T (2004) Music to our ears: a required paradigm shift in computer science European conference on computing and philosophy. University of Pavia, Italy
Feller W (1968) An introduction to probability theory and its applications, 3rd ed, vol 1. Wiley, NY
Gooding DC, Addis TR. (2008) Foundations of Science, vol 13, No 1, March 2008.
Hewitt C (1979) Control structures as patterns of passing messages. Artificial intelligence: an MIT perspective, vol 2. MIT, Cambridge
Kuhn TS (1985) The essential tension: selected studies in scientific tradition and change. University of Chicago Press, London
Lakoff G. (1986) Women, fire, and dangerous things. University of Chicago Press, London
Lakoff G, Johnson M (1980) Metaphors we live by. University of Chicago Press, London
Moroney MJ (1963) Facts from figures. Pelican Books, A236, First published in 1951. Penguin Books, London
Popper K (1959) The logic of scientific discovery 10th Impression 1980, Hutchinson
Stepney S, Braunstein S, Clark J, Tyrrel A, Adamatzky A, Smith R, Addis T, Johnson C, Timmis J, Welch P, Milner R, Partridge D (2004) Journey: non-classical philosophy—socially sensitive computing in journeys non-classical computation: a grand challenge for computing research, 18 May 2004, http://www.cs.york.ac.uk/nature/gc7/newcastle.htm
Weiner PP (1966) Charles S. Peirce: selected writings. Dover, New York
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Addis, T. (2014). Seeking Allies. In: Natural and Artificial Reasoning. Advanced Information and Knowledge Processing. Springer, Cham. https://doi.org/10.1007/978-3-319-11286-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-11286-2_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11285-5
Online ISBN: 978-3-319-11286-2
eBook Packages: Computer ScienceComputer Science (R0)