Abstract
The scale and diversity of networked sources of data and computer programs is rapidly swamping human abilities to digest and even locate relevant information. The high speed of computing has compounded this problem by the generation of even larger amounts of data, derived in ways that are generally opaque to human users. The result is an increasing gulf between human and computer abilities. Society's ever more wide-scale dependence on rapidly growing networked sources of software threatens severe breakdowns if machine intelligibility issues are not given high priority.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Michie D: ‘The superarticulacy phenomenon in the context of software manufacture', Proceedings of the Royal Society of London, A40, No 5, pp 185–212 (1986).
Smith R, Callaghan J and Azvine B: ‘Development of a machine intelligence capability in BT', Internal BT report (1995).
Nwana H: 'smart software agents: an overview', Knowledge Engineering Review, 11, No 3 (1996).
Muggleton S and de Raedt L: ‘Inductive logic programming: Theory and methods', Journal of Logic Programming, 19, No 20, pp 629–679 (1994).
Hoare C A R: ‘Programs are predicates', in Proceedings of the Final Fifth Generation Conference, pp 211–218, Tokyo, Ohmsha (1992).
Spivey J M: ‘The Z notation: a reference manual', Prentice-Hall (2nd edition), New York (1992).
JIPDEC Fifth Generation Computing Committee, Preliminary report on study and research on fifth-generation computers in 1979–1980, Technical report, Japan Information Processing Development Centre, Tokyo (1981).
Michie D: ‘The Fifth Generation's unbridged gap', in Herken R (Ed): ‘The Universal Turing machine: a half-century survey', pp 467–489, Oxford University Press, Oxford (1988).
Furukawa K, Michie D, and Muggleton S: ‘Machine Intelligence 13: machine intelligence and inductive learning', Oxford University Press, Oxford (1994).
Langley P and Simon H: ‘Applications of machine learning and rule induction', Communications of the ACM, 38, No 11, pp 54–64 (1995).
Lenat D B: ‘CYC: a large-scale investment in knowledge infrastructure', Communications of the ACM, 38, No 11, pp 33–38 (1995).
Bratko I and Muggleton S: ‘Applications of inductive logic programming', Communications of the ACM, 38, No 11, pp 65–70 (1995).
Quinlan J R: ‘Learning logical definitions from relations', Machine Learning, 5, pp 239–266 (1990).
Muggleton S: ‘Inverse entailment and Progol', New Generation Computing, 13, pp 245–286 (1995).
Jaffar J and Maher M J: ‘Constraint logic programming: a survey', Journal of Logic Programming, 19/20, pp 503–582 (1994).
McCarthy J: ‘Making robots conscious', in Furukawa K, Michie D and Muggleton S (Eds): ‘Machine Intelligence 15: intelligent agents', Oxford University Press, Oxford (to be published in 1996).
Genesereth M and Ketchpel S P: ‘Software agents', Communications of the ACM, 37, No 7, pp 48–53 (1994).
Finin T, Fritzson R, McKay D, and McEntire R: ‘KQML — a language and protocol for knowledge and information exchange', Technical Report CS-94-02, Computer Science Department, University of Maryland and Valley Forge Engineering Center, Unisys Corporation, Computer Science Department, University of Maryland, UMBC Baltimore MD 21228 (1994).
Ginsberg M: ‘Knowledge interchange format: The kif of death', AI Magazine, 12, No 3, pp 57–63 (Fall 1991).
Etzioni O and Weld D: ‘A softbot-based interface to the Internet', Communications of the ACM, 37, No 7, pp 72–76 (July 1994).
Brooks R: ‘A robust layered control system for a mobile robot', IEEE Journal of Robotics and Automation, RA-2, pp 14–23 (1986).
Maes P: ‘Artificial life meets entertainment: lifelike autonomous agents', Communications of the ACM, 38, No 11, pp 108–114 (1995).
Blumberg B: ‘Lessons from ethology for autonomous agent architectures', in Furukawa K, Michie D, and Muggleton S (Eds): ‘Machine Intelligence 15: intelligent agents', Oxford University Press, Oxford (to be published in 1996).
Armstrong R, Freitag D, Joachims T, and Mitchell T: ‘Webwatcher: a learning apprentice for the World Wide Web', in AAAI Spring symposium on Information Gathering from Heterogeneous, Distributed Environments, Stanford, (1995), also at: http://www.cs.cmu.edu/afs/cs.cmu.edu/project/theo-6/web-agent/www/project-home.htm
Droms R: ‘The Knowbot information service', FTP Report, Corporation for National Research Initiatives (CNRI) (December 1989).
Michie D: ‘Consciousness as an engineering issue, Pt 1', Journal of Consciousness Studies, 1, No 2, pp 182–195 (1994).
Michie D: ‘Consciousness as an engineering issue, Pt 2', Journal of Consciousness Studies, 2, No 1, pp 52–66 (1995).
Sammut C, Hurst S, Kedzier D and Michie D: ‘Learning to fly', in Sleeman D and Edwards P (Eds): ‘Proc of the Ninth International Workshop on Machine Learning', pp 385–393, San Mateo, CA, Morgan Kaufmann (1992).
Michie D and Sammut C: ‘Behavioural clones and cognitive skill models', in Furukawa K, Michie D and Muggleton S (Eds): ‘Machine Intelligence 14: applied machine intelligence', Oxford University Press, Oxford (1995).
Allen B P: ‘Case-based reasoning: business applications, Communications of the ACM', 37, No 3, pp 40–44 (1994).
Widrow B, Rumelhart D E and Lehr M A: ‘Neural networks: applications in industry, business and science', Communications of the ACM, 37, No 3, pp 93–105 (1994).
Goldberg D E: ‘Genetic and evolutionary algorithms come of age', Communications of the ACM, 37, No 3, pp113–119 (1994).
Muggleton S, King R and Sternberg M: ‘Protein secondary structure prediction using logic-based machine learning', Protein Engineering, 5, No 7, pp 647–657 (1992).
King R, Muggleton S, Lewis R, and Sternberg M: ‘Drug design by machine learning: The use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase', Proc of the National Academy of Sciences, 89, No 23 (1992).
King R, Muggleton S, Srinivasan A, and Sternberg M: ‘Structure-activity relationships derived by machine learning: the use of atoms and their bond connectives to predict mutagenicity by inductive logic programming', Proc of the National Academy of Sciences, 93, pp 438–442 (1996).
Michie D, Spiegelhalter D J and Taylor C C: ‘Machine learning, neural and statistical classification', Ellis Horwood, London (1994).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Muggleton, S., Michie, D. (1997). Machine intelligibility and the duality principle. In: Nwana, H.S., Azarmi, N. (eds) Software Agents and Soft Computing Towards Enhancing Machine Intelligence. Lecture Notes in Computer Science, vol 1198. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62560-7_51
Download citation
DOI: https://doi.org/10.1007/3-540-62560-7_51
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62560-5
Online ISBN: 978-3-540-68079-6
eBook Packages: Springer Book Archive