Knowledge acquisition with visual functional programming

Life Cycle and Methodologies Elicitation Techniques
Part of the Lecture Notes in Computer Science book series (LNCS, volume 723)


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.


Knowledge Representation Tacit Knowledge Knowledge Acquisition Declarative Knowledge Graphic Output 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Addis T. R., Designing Knowledge-Based Systems, Kogan Page, 1985.Google Scholar
  2. [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. [3]
    Addis T. R., “Knowledge for Design”, Knowledge Acquisition, Vol 2, pp 95–105, (1990).Google Scholar
  4. [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. [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. [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. [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. [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. [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. [10]
    Collins, H. M., “The TEA Set: Tacit knowledge and scientific Networks”, Science Studies 4: pp.165–185, (1975).Google Scholar
  11. [11]
    Collins, H. M., Artificial Experts, Cambridge, MA.: MIT Press, 1990.Google Scholar
  12. [12]
    Ferguson, E. S.Engineering and the Mind's Eye, Cambridge, Ma. and London: MIT Press, 1992.Google Scholar
  13. [13]
    Giere, R. N., Explaining Science: a Cognitive Approach, Chicago: Chicago University Press, 1988.Google Scholar
  14. [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. [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. [16]
    Gooding, D., 'Mapping experiment as a learning process', Science, Technology and Human Values, 15, pp. 165–201 (1990).Google Scholar
  17. [17]
    Gooding, D. Experiment and the Making of Meaning, Dordrecht: Kluwer Academic, (1990).Google Scholar
  18. [18]
    Gooding, D. Bath 3: Rediscovering Skill in Science, Technology and Medicine, Bath: Science Studies Centre, 1990.Google Scholar
  19. [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. [20]
    Gooding, D. “Simulating Real Experiment”, International Workshop on The Replication of Historical Experiments, Oldenburg, August 1992.Google Scholar
  21. [21]
    Gooding, D., “Mathematics and method in Faraday's experiments”, Physis., XXIX, pp. 121–47 (1992).Google Scholar
  22. [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. [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. [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. [25]
    Gooding, D. & Addis, T. R., “Simulating Real Experiments”, Working Paper, Science Studies Centre, University of Bath, 1993.Google Scholar
  26. [26]
    Griesemer, J. R., “Must scientific diagrams be eliminable? The case of path analysis”, Biology and Philosophy, 6: 155–180, (1991).Google Scholar
  27. [27]
    Gruber, H. E., Darwin on Man. A Psychological Study of Scientific Creativity. London: Wildwood House, 1974.Google Scholar
  28. [28]
    Hartley, B., “The Living Academies of Nature”, Joint HSS-BSHS-SHOT Conference, Toronto, July 1992.Google Scholar
  29. [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 1992Google Scholar
  30. [30]
    Holmes, L., Hans Krebs: Oxford University Press, 1991.Google Scholar
  31. [31]
    Latour, B., “Drawing things Together”, in Lynch & Woolgar, eds. 1990, pp. 19–68.Google Scholar
  32. [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. [33]
    Lynch, M. & Woolgar, S. eds., Representation in Scientific Practice, Cambridge, MA.: MIT Press, 1990.Google Scholar
  34. [34]
    Martin, T., Faraday's Diary, 7 vols., London: Bell, 1932-36.Google Scholar
  35. [35]
    Michie D., 'Problems of the ‘Human Window'. Presented at the AISB Summer School on Expert Systems, Edinburgh, July 1979.Google Scholar
  36. [36]
    Miller, A. I., Imagery in Scientific Thought, Cambridge, MA: MIT Press, 1986.Google Scholar
  37. [37]
    Nersessian, N. J., Faraday to Einstein: Constructing Meaning in Scientific Theories, Dordrecht: Nijhoff, 1984.Google Scholar
  38. [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. [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. [40]
    Peirce C. S., Science and Philosophy: collected papers of Charles S. Peirce, v.7, Harvard University Press, 1958.Google Scholar
  41. [41]
    Peirce, C. S., Charles Peirce: Selected Writings, edited by P. P. Wiener, New York: Dover, 1966.Google Scholar
  42. [42]
    Pickering, A. ‘Living in the material world', in Gooding, Pinch and Schaffer, eds. (1989), pp. 275–297.Google Scholar
  43. [43]
    Polanyi, M., Personal Knowledge: Towards a Post-Critical Philosophy, New York: Harper & Row, 1958.Google Scholar
  44. [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. [45]
    Rawlings C. J., Large Knowledge Bases:an example from molecular biology, SIGKME 1, Reading University, 1987.Google Scholar
  46. [46]
    Reade C., Elements of Functional Programming, Addison Weseley, 1989.Google Scholar
  47. [47]
    Rogers, Y., Rutherford, A., & Bibby, P., eds., Models in the Mind: Theory, Perspective and Applications, London: Academic Press, 1992.Google Scholar
  48. [48]
    Rudwick, M. J. S., The Great Devonian Controversy. Chicago: Chicago University Press, 1985.Google Scholar
  49. [49]
    Shapin, S., “The invisible Technician”, Science, 77:554–63, (1989).Google Scholar
  50. [50]
    Shaw L. G. & Woodward J. B., “Modeling Expert Knowledge”, Knowledge Acquisition, vol 2, pp179–206 (1990).Google Scholar
  51. [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. [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. [53]
    Tweney, R.D., “Faraday's discovery of induction: a cognitive approach”, in Gooding and James, eds. 1985, pp. 189–209.Google Scholar
  54. [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. [55]
    Wise, M. N., ‘The mutual embrace of electricity and magnetism', Science, 203: 1310–18, (1979).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of ReadingReading
  2. 2.Science Studies CentreUniversity of BathBath

Personalised recommendations