Skip to main content
SpringerLink
Log in

Knowledge acquisition with visual functional programming

  • Life Cycle and Methodologies
  • Conference paper
  • First Online:
Knowledge Acquisition for Knowledge-Based Systems (EKAW 1993)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 723))

  • 142 Accesses

Abstract

Visual functional programming has been developed as a knowledge acquisition tool. Design and evaluation of this method are motivated by a particular application, the representation of the experimental strategies of the 19thC physicist Michael Faraday as recorded in his laboratory diaries. However, the methods have wider application. We argue that a functional database language has the same morphology as a role taxonomy for knowledge and that this similarity of form provides a clear descriptive language. It is further argued that a graphical representation exploits one of the fundamental capacities for creative human insight. The combination of the two approaches, as realised through the CLARITY functional programming environment, provides a powerful knowledge acquisition tool.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Addis T. R., Designing Knowledge-Based Systems, Kogan Page, 1985.

    Google Scholar 

  2. Addis T. R., “The Science of Knowledge: a research programme for knowledge engineering”, Proceedings of the Third European Workshop on Knowledge Acquisition for Knowledge-Based Systems (EKAW 89), Paris, June, 1989.

    Google Scholar 

  3. Addis T. R., “Knowledge for Design”, Knowledge Acquisition, Vol 2, pp 95–105, (1990).

    Google Scholar 

  4. Addis. T., Booth, D. & Townsend, J. 'CLARITY 1.0: A reactive visual programming environment, Technical Report, 1991 [submitted Int. Jour. Man-Machine Studies 1993]

    Google Scholar 

  5. Addis T. R. & Bull S. P., A Concept Language for Knowledge Elicitation., Proceedings of the European Knowledge Acquisition Workshop—EKAW' 88, June, 1988, pp 1.1–1.8.

    Google Scholar 

  6. Addis, T, Gooding, D. & Townsend, J. 'A functional description of Faraday's discovery of the electric motor', Working Paper, Science Studies Centre, University of Bath, (1990).

    Google Scholar 

  7. Addis, T, Gooding, D. & Townsend, J., “Knowledge Design From Natural IntelIigence:An Interactive Representation Of Faraday's Experimental Researches”, Poster, Joint Councils Initiative Workshop, Imperial College [March 1992].

    Google Scholar 

  8. Addis, T., Rawlings, J. and Foster, 'A conceptual and relational database server for large biomedical knowledge-bases', Presented to British Medical Informatics Society, “Medical Informatics 88”, Nottingham, September [1988].

    Google Scholar 

  9. Addis T. R., Stender J., Spenceley S, E,. & Schultze-Kramer S., “Principle-based Engineering: Theoretical Background and Economic Applications”, The fifth European Seminar on Neural Networks and Genetic Algorithms, London (12th–13th Feb. 1992).

    Google Scholar 

  10. Collins, H. M., “The TEA Set: Tacit knowledge and scientific Networks”, Science Studies 4: pp.165–185, (1975).

    Google Scholar 

  11. Collins, H. M., Artificial Experts, Cambridge, MA.: MIT Press, 1990.

    Google Scholar 

  12. Ferguson, E. S.Engineering and the Mind's Eye, Cambridge, Ma. and London: MIT Press, 1992.

    Google Scholar 

  13. Giere, R. N., Explaining Science: a Cognitive Approach, Chicago: Chicago University Press, 1988.

    Google Scholar 

  14. Gooding, D., 'In nature's school: Faraday as a natural philosopher', in D. Gooding and F. James, eds., Faraday Rediscovered (Macmillan/American Institute of Physics), 1985, pp. 105–35.

    Google Scholar 

  15. Gooding, D., “History in the Laboratory: can we tell what really went on?”, in F. James, ed., The Place of Experiment, London: Macmillan, 1989, pp. 63–82.

    Google Scholar 

  16. Gooding, D., 'Mapping experiment as a learning process', Science, Technology and Human Values, 15, pp. 165–201 (1990).

    Google Scholar 

  17. Gooding, D. Experiment and the Making of Meaning, Dordrecht: Kluwer Academic, (1990).

    Google Scholar 

  18. Gooding, D. Bath 3: Rediscovering Skill in Science, Technology and Medicine, Bath: Science Studies Centre, 1990.

    Google Scholar 

  19. Gooding, D. “Putting Agency back into Experiment”, in A. Pickering, ed., Science as Practice and Culture, Chicago: Chicago University Press, 1992, pp. 65–112.

    Google Scholar 

  20. Gooding, D. “Simulating Real Experiment”, International Workshop on The Replication of Historical Experiments, Oldenburg, August 1992.

    Google Scholar 

  21. Gooding, D., “Mathematics and method in Faraday's experiments”, Physis., XXIX, pp. 121–47 (1992).

    Google Scholar 

  22. Gooding, D. “What is experimental about thought experiments?, in Hull, Forbes and Okruhlik eds. PSA 1992, vol.2., 1993, in press.

    Google Scholar 

  23. Gooding, D., “Visualisation in and of science”, Joint HSS-BSHS-SHOT Conference, Toronto, July 1992 and Princeton University Workshop on Visualisation in Science, February 1993.

    Google Scholar 

  24. Gooding, D. & Addis, T. R., “Towards a Dynamical Representation of Experimental Procedures”, in Bath 3: Rediscovering Skill, Science Studies Centre, University of Bath, 1990, pp. 61–68.

    Google Scholar 

  25. Gooding, D. & Addis, T. R., “Simulating Real Experiments”, Working Paper, Science Studies Centre, University of Bath, 1993.

    Google Scholar 

  26. Griesemer, J. R., “Must scientific diagrams be eliminable? The case of path analysis”, Biology and Philosophy, 6: 155–180, (1991).

    Google Scholar 

  27. Gruber, H. E., Darwin on Man. A Psychological Study of Scientific Creativity. London: Wildwood House, 1974.

    Google Scholar 

  28. Hartley, B., “The Living Academies of Nature”, Joint HSS-BSHS-SHOT Conference, Toronto, July 1992.

    Google Scholar 

  29. Henderson, K., “The Political Career of a Prototype: how visual representations socially organize work, workers, their collective thought and their collective product”, paper for Princeton History of Science Workshop Series on Visualization in the Sciences, October 1992

    Google Scholar 

  30. Holmes, L., Hans Krebs: Oxford University Press, 1991.

    Google Scholar 

  31. Latour, B., “Drawing things Together”, in Lynch & Woolgar, eds. 1990, pp. 19–68.

    Google Scholar 

  32. LeGrand, H. E., “Is a Picture worth a Thousand Experiments?”, in H. E. LeGrand, ed., Experimental Inquiries, Dordrecht: Kluwer Academic, 1990, pp. 241–70.

    Google Scholar 

  33. Lynch, M. & Woolgar, S. eds., Representation in Scientific Practice, Cambridge, MA.: MIT Press, 1990.

    Google Scholar 

  34. Martin, T., Faraday's Diary, 7 vols., London: Bell, 1932-36.

    Google Scholar 

  35. Michie D., 'Problems of the ‘Human Window'. Presented at the AISB Summer School on Expert Systems, Edinburgh, July 1979.

    Google Scholar 

  36. Miller, A. I., Imagery in Scientific Thought, Cambridge, MA: MIT Press, 1986.

    Google Scholar 

  37. Nersessian, N. J., Faraday to Einstein: Constructing Meaning in Scientific Theories, Dordrecht: Nijhoff, 1984.

    Google Scholar 

  38. Nersessian, N. J., “How do scientists think? Capturing the dynamics of conceptual change in science”, in R. Giere, ed., Cognitive Models of Science, Minneapolis: University of Minnesota Press, 1992, pp. 3–44.

    Google Scholar 

  39. O'Hara, R. J., “Telling the Tree: narrative representation and the study of evolutionary history”, Biology and Philosophy, 7: 135–160, (1992).

    Google Scholar 

  40. Peirce C. S., Science and Philosophy: collected papers of Charles S. Peirce, v.7, Harvard University Press, 1958.

    Google Scholar 

  41. Peirce, C. S., Charles Peirce: Selected Writings, edited by P. P. Wiener, New York: Dover, 1966.

    Google Scholar 

  42. Pickering, A. ‘Living in the material world', in Gooding, Pinch and Schaffer, eds. (1989), pp. 275–297.

    Google Scholar 

  43. Polanyi, M., Personal Knowledge: Towards a Post-Critical Philosophy, New York: Harper & Row, 1958.

    Google Scholar 

  44. Quinlan J. R., Discovering Rules by Induction from Large Collections of Examples. Expert Systems in the Micro Electronic Age, Ed D. Michie, pub Edinburgh University Press, 1979, pp. 168–201.

    Google Scholar 

  45. Rawlings C. J., Large Knowledge Bases:an example from molecular biology, SIGKME 1, Reading University, 1987.

    Google Scholar 

  46. Reade C., Elements of Functional Programming, Addison Weseley, 1989.

    Google Scholar 

  47. Rogers, Y., Rutherford, A., & Bibby, P., eds., Models in the Mind: Theory, Perspective and Applications, London: Academic Press, 1992.

    Google Scholar 

  48. Rudwick, M. J. S., The Great Devonian Controversy. Chicago: Chicago University Press, 1985.

    Google Scholar 

  49. Shapin, S., “The invisible Technician”, Science, 77:554–63, (1989).

    Google Scholar 

  50. Shaw L. G. & Woodward J. B., “Modeling Expert Knowledge”, Knowledge Acquisition, vol 2, pp179–206 (1990).

    Google Scholar 

  51. Thagard H. & Hardy S., “Visual Thinking in the Development of Dalton's Atomic Theory”, Proc' 9th Canadian Conference on AI, Vancouver 1992.

    Google Scholar 

  52. Trumpler, M., “Converging Images: Techniques of Intervention and Forms of Representation of Sodium Channel Proteins in Nerve Cell Membranes”, paper for Princeton History of Science Workshop Series on Visualisation in the Sciences, October 1992.

    Google Scholar 

  53. Tweney, R.D., “Faraday's discovery of induction: a cognitive approach”, in Gooding and James, eds. 1985, pp. 189–209.

    Google Scholar 

  54. Tweney, R. D. & Gooding, D., “Introduction”, Michael Faraday's ‘Chemical Notes, Hints, Suggestions and Objects of Pursuit' of 1822, London: IEE, 1992.

    Google Scholar 

  55. Wise, M. N., ‘The mutual embrace of electricity and magnetism', Science, 203: 1310–18, (1979).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Reading, Whiteknights, RG6 2AX, Reading

    Tom R. Addis

  2. Science Studies Centre, University of Bath, Claverton Down, BA2 7AY, Bath

    David C. Gooding & Jan J. Townsend

Authors
  1. Tom R. Addis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David C. Gooding
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan J. Townsend
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

N. Aussenac G. Boy B. Gaines M. Linster J. -G. Ganascia Y. Kodratoff

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Addis, T.R., Gooding, D.C., Townsend, J.J. (1993). Knowledge acquisition with visual functional programming. In: Aussenac, N., Boy, G., Gaines, B., Linster, M., Ganascia, J.G., Kodratoff, Y. (eds) Knowledge Acquisition for Knowledge-Based Systems. EKAW 1993. Lecture Notes in Computer Science, vol 723. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57253-8_64

Download citation

  • DOI: https://doi.org/10.1007/3-540-57253-8_64

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57253-4

  • Online ISBN: 978-3-540-47996-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation