Skip to main content
SpringerLink
Log in
Book cover

Drawing Programs: The Theory and Practice of Schematic Functional Programming pp 343–379Cite as

Programming with Uncertainty: Theories, Models and Programs

  • Chapter

  • 879 Accesses

Abstract

We have seen in Chapter 7 how problem solving mechanisms can be constructed from a general problem solver (GPS). The key to this is that the problem solving activity is captured by functions that allow transformations to occur to a model of a problem domain.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Addis T. R. (1985) ‘Designing Knowledge-Based Systems’ Kogan Page, London, ISBN 0-85038-859-7, ISBN 1-85091-251-3 also Prentice-Hall, Englewood Cliffs, NJ(1986) ISBN 0-13-201823-3.

    Google Scholar 

  • Addis T. R. (1987) ‘A Framework for Knowledge Elicitation’, The First European Workshop on Knowledge Acquisition for Knowledge-Based Systems, September, Reading University.

    Google Scholar 

  • Addis T. R. (1989) ‘The Science of Knowledge: A Research Programme for Knowledge Engineering’, The Third European Workshop on Knowledge Acquisition for Knowledge-Based Systems, July, Paris.

    Google Scholar 

  • Addis T. R. (1990) ‘Knowledge for Design’, Knowledge Acquisition, Vol. 2, pp. 95–105, Academic Press.

    Article  Google Scholar 

  • Addis T. R., Addis J. T, Billinge D., Gooding D. and Visscher B-F. (2008) ‘The Abductive Loop: Tracking Irrational Sets’, Special issue of Foundations of Science, Vol. 13, No. 1, pp. 5–16, March, ISSN 1233-1821.

    Article  Google Scholar 

  • Addis, T. and Billinge, D. (2005), ‘Music to Our Ears: A Required Paradigm Shift in Computer Sciencepresented at ECAP04’, University of Pavia, Italy, in Computing, Philosophy and Cognition, ed Manani L. and Dossena R. Vol. 4 ISBN 1-904987-24-9, pp 147–162, pub College Publications.

    Google Scholar 

  • Addis, T. R. and Gooding, D. C. (1999) ‘Learning as Collective Belief-Revision: Simulating Reasoning About Disparate Phenomena’,in: Proceedings: AISB’99 Symposium on Scientific Creativity, pp. 19–28.

    Google Scholar 

  • Addis, T. R. and Gooding, D. C. (2008) ‘Simulation Methods for an Abductive System in Science.’ Special issue: Tracking Irrational Sets, Science, Technology, Ethics in Foundations of Science. ISSN 1233-182, Springer, Netherlands.

    Google Scholar 

  • Aris R. (1978) Mathematical Modelling Techniques. Research Notes in Mathematics 24, Pitman, London.

    MATH  Google Scholar 

  • Ashcroft S. and Pereira C. (2002) ‘Practical Statistics for the Biological Sciences: Simple Pathways to Statistical Analysis’Palgrave Macmillan, Basingstoke, ISBN-10: 0333960440.

    Google Scholar 

  • Billinge D. and Addis T. R. (2008) Seeking Allies: Modelling How Listeners Choose Their Musical Friends, Special issue of Foundations of Science, Vol. 13, No. 1, pp. 53–66, March, ISSN 1233-1821.

    Article  Google Scholar 

  • Charniak E. (1988) ‘Motivation Analysis, Abductive Unification and Non-Monotonic Equality’, Artificial Intelligence, 34, pp 275–296.

    Google Scholar 

  • Gonzalez R. and Wu G. (1999) On the Shape of the Probability Weighting Function, Cognitive Psychology, Vol. 38, No. 1, pp. 129–166, February.

    Article  Google Scholar 

  • Gooding D. C. and Addis T. R. (2008) Modelling Experiments as Mediating Models, Special issue of Foundations of Science, Vol. 13, No. 1, pp. 17–36, ISSN 1233-1821.

    Article  Google Scholar 

  • Gooding, D. and Addis, T. R. (1999) ‘A Simulation of Model-Based Reasoning About Disparate Phenomena’, in: Magnani et al., eds., pp. 103–124 in Model-Based Reasoning, Scientific Discovery, Kluwer Academic, NY.

    Google Scholar 

  • Gooding, D. C. (1990) ‘Experiment and the Making of Meaning’, Kluwer Academic, Dordrecht and Boston.

    Book  Google Scholar 

  • Gooding, D. C. (1996) Creative Rationality: Towards an Abductive Model of Scientific Change,in: Philosophica: Creativity, Rationality and Scientific Change, J. Meheus, ed., Vol. 58: 73–101 ISSN 0379-8402, pub Ghent University.

    Google Scholar 

  • Kuhn, T. S. (1962) The Structure of Scientific Revolutions, Chicago University Press, Chicago, IL, 2nd edition (1970).

    Google Scholar 

  • Kuhn, T. S. (1974) ‘Second Thoughts on Paradigms’, in Kuhn, ed. (1977), pp. 293–319. The Essential Tension. ed Kuhn T.S, ISBN 0-226-45806-7, The University of Chicago Press, 1977.

    Google Scholar 

  • Kuhn, T. S. (1977a) ‘Objectivity, Value Judgement and Theory Choice’, in Kuhn, ed. (1977), pp. 320–339.

    Google Scholar 

  • Kuhn, T. S. ed. (1977b) ‘The Essential Tension’, Chicago University Press, Chicago, IL.

    Google Scholar 

  • Lakatos, I. (1970) ‘Falsification and the Methodology of Scientific Research Programmes,in I. Lakatos and A. Musgrave, eds., Criticism and the Growth of Knowledge, Cambridge University Press, Cambridge, pp. 91–196.

    Google Scholar 

  • Langley P., Simon H. A., Bradshaw G. L. and Zytkow J. M. (1987) ‘Scientific Discovery: Computational Exploration of the Creative Process’,MIT Press, Cambridge, MA.

    Google Scholar 

  • Luce R. D. and Raiffa H. (1957) ‘Games and Decisions: Introduction and Critical Survey’. John Wiley & Sons Ltd, New York.

    MATH  Google Scholar 

  • Magnani, L. (2001) Abduction, Reason and Science,Kluwer Academic, Dordrecht.

    Book  Google Scholar 

  • Magnani, L., Nersessian, N. and Thagard, P., eds. (1998) ‘Model-Based Reasoning in Scientific Discovery’, Kluwer, Dordrecht / Plenum, New York.

    Google Scholar 

  • Magnani, L. (1998) ‘Model-Based Creative Abduction’, in Magnani et al., eds., pp. 219–237.

    Google Scholar 

  • Matthews, R. (2004) ‘Opposites Detract’, New Scientist, Vol. 181, No. 2438, pp. 39–43.

    Google Scholar 

  • Moroney M. J. (1963) ‘Facts from Figures’, 3rd edition, Penguin Books, Baltimore, MD.

    Google Scholar 

  • Newell A. and Simon H. A. (1956). ‘The Logic Theory Machine’.IRE Transactions on Information Theory, Sept IT-2(3), pp 61–79.

    Article  Google Scholar 

  • Newell A. and Simon H. A. (1973) ‘Human Problem Solving’.Prentice-Hall, Englewood Cliffs, NJ.

    Google Scholar 

  • Peirce C. S. (1934) ‘Scientific Method’,in Collected papers of C. S. Peirce, Vol. VII, ed A. W. Burks, Cambridge: Harvard University Press.

    Google Scholar 

  • Peirce, C. (1966) ‘The fixation of belief’, in Weiner, P. P., ed. Charles S. Peirce: Selected Writings. Dover, New York, pp. 92–260.

    Google Scholar 

  • Shannon, C. E. and Weaver W. (1964) ‘The Mathematical Theory of Communication’, University of Illinois Press, Urbana, IL (first published 1949).

    Google Scholar 

  • Tweney, R. D. (1985) ‘Faraday’s Discovery Of Induction: A Cognitive Approach, in D. Gooding and F. James, eds., Faraday Rediscovered, Macmillan, London: / APA Press, New York, pp. 189–209.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing, University of Portsmouth, P01 3HE, Portsmouth, United Kingdom

    Tom Addis

  2. Clarity Support, PO4 9QU, Southsea, United Kingdom

    Jan Addis

Authors
  1. Tom Addis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Addis
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag London Limited

About this chapter

Cite this chapter

Addis, T., Addis, J. (2010). Programming with Uncertainty: Theories, Models and Programs. In: Drawing Programs: The Theory and Practice of Schematic Functional Programming. Springer, London. https://doi.org/10.1007/978-1-84882-618-2_10

Download citation

  • DOI: https://doi.org/10.1007/978-1-84882-618-2_10

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84882-619-9

  • Online ISBN: 978-1-84882-618-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation