{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:31Z","timestamp":1725664951257},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625605"},{"type":"electronic","value":"9783540680796"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62560-7_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:42:12Z","timestamp":1330296132000},"page":"276-291","source":"Crossref","is-referenced-by-count":1,"title":["Machine intelligibility and the duality principle"],"prefix":"10.1007","author":[{"given":"S.","family":"Muggleton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Michie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"No5","key":"17_CR1","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1098\/rspa.1986.0049","volume":"A40","author":"D Michie","year":"1986","unstructured":"Michie D: \u2018The superarticulacy phenomenon in the context of software manufacture', Proceedings of the Royal Society of London, A40, No 5, pp 185\u2013212 (1986).","journal-title":"Proceedings of the Royal Society of London"},{"key":"17_CR2","unstructured":"Smith R, Callaghan J and Azvine B: \u2018Development of a machine intelligence capability in BT', Internal BT report (1995)."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Nwana H: 'smart software agents: an overview', Knowledge Engineering Review, 11, No 3 (1996).","DOI":"10.1017\/S026988890000789X"},{"issue":"No20","key":"17_CR4","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S Muggleton","year":"1994","unstructured":"Muggleton S and de Raedt L: \u2018Inductive logic programming: Theory and methods', Journal of Logic Programming, 19, No 20, pp 629\u2013679 (1994).","journal-title":"Journal of Logic Programming"},{"key":"17_CR5","unstructured":"Hoare C A R: \u2018Programs are predicates', in Proceedings of the Final Fifth Generation Conference, pp 211\u2013218, Tokyo, Ohmsha (1992)."},{"key":"17_CR6","volume-title":"The Z notation: a reference manual","author":"J. M. Spivey","year":"1992","unstructured":"Spivey J M: \u2018The Z notation: a reference manual', Prentice-Hall (2nd edition), New York (1992).","edition":"2nd edition"},{"key":"17_CR7","volume-title":"Technical report","author":"JIPDEC Fifth Generation Computing Committee","year":"1981","unstructured":"JIPDEC Fifth Generation Computing Committee, Preliminary report on study and research on fifth-generation computers in 1979\u20131980, Technical report, Japan Information Processing Development Centre, Tokyo (1981)."},{"key":"17_CR8","first-page":"467","volume-title":"The Universal Turing machine: a half-century survey","author":"D Michie","year":"1988","unstructured":"Michie D: \u2018The Fifth Generation's unbridged gap', in Herken R (Ed): \u2018The Universal Turing machine: a half-century survey', pp 467\u2013489, Oxford University Press, Oxford (1988)."},{"key":"17_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538509.001.0001","volume-title":"Machine Intelligence 13: machine intelligence and inductive learning","author":"K Furukawa","year":"1994","unstructured":"Furukawa K, Michie D, and Muggleton S: \u2018Machine Intelligence 13: machine intelligence and inductive learning', Oxford University Press, Oxford (1994)."},{"issue":"No11","key":"17_CR10","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/219717.219768","volume":"38","author":"P Langley","year":"1995","unstructured":"Langley P and Simon H: \u2018Applications of machine learning and rule induction', Communications of the ACM, 38, No 11, pp 54\u201364 (1995).","journal-title":"Communications of the ACM"},{"issue":"No11","key":"17_CR11","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/219717.219745","volume":"38","author":"D. B. Lenat","year":"1995","unstructured":"Lenat D B: \u2018CYC: a large-scale investment in knowledge infrastructure', Communications of the ACM, 38, No 11, pp 33\u201338 (1995).","journal-title":"Communications of the ACM"},{"issue":"No11","key":"17_CR12","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/219717.219771","volume":"38","author":"I Bratko","year":"1995","unstructured":"Bratko I and Muggleton S: \u2018Applications of inductive logic programming', Communications of the ACM, 38, No 11, pp 65\u201370 (1995).","journal-title":"Communications of the ACM"},{"key":"17_CR13","first-page":"239","volume":"5","author":"J. R. Quinlan","year":"1990","unstructured":"Quinlan J R: \u2018Learning logical definitions from relations', Machine Learning, 5, pp 239\u2013266 (1990).","journal-title":"Machine Learning"},{"key":"17_CR14","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S Muggleton","year":"1995","unstructured":"Muggleton S: \u2018Inverse entailment and Progol', New Generation Computing, 13, pp 245\u2013286 (1995).","journal-title":"New Generation Computing"},{"key":"17_CR15","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J Jaffar","year":"1994","unstructured":"Jaffar J and Maher M J: \u2018Constraint logic programming: a survey', Journal of Logic Programming, 19\/20, pp 503\u2013582 (1994).","journal-title":"Journal of Logic Programming"},{"key":"17_CR16","volume-title":"Machine Intelligence 15: intelligent agents","author":"J McCarthy","year":"1996","unstructured":"McCarthy J: \u2018Making robots conscious', in Furukawa K, Michie D and Muggleton S (Eds): \u2018Machine Intelligence 15: intelligent agents', Oxford University Press, Oxford (to be published in 1996)."},{"issue":"No7","key":"17_CR17","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/176789.176794","volume":"37","author":"M Genesereth","year":"1994","unstructured":"Genesereth M and Ketchpel S P: \u2018Software agents', Communications of the ACM, 37, No 7, pp 48\u201353 (1994).","journal-title":"Communications of the ACM"},{"key":"17_CR18","volume-title":"Technical Report CS-94-02","author":"T Finin","year":"1994","unstructured":"Finin T, Fritzson R, McKay D, and McEntire R: \u2018KQML \u2014 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)."},{"issue":"No3","key":"17_CR19","first-page":"57","volume":"12","author":"M Ginsberg","year":"1991","unstructured":"Ginsberg M: \u2018Knowledge interchange format: The kif of death', AI Magazine, 12, No 3, pp 57\u201363 (Fall 1991).","journal-title":"AI Magazine"},{"issue":"No7","key":"17_CR20","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/176789.176797","volume":"37","author":"O Etzioni","year":"1994","unstructured":"Etzioni O and Weld D: \u2018A softbot-based interface to the Internet', Communications of the ACM, 37, No 7, pp 72\u201376 (July 1994).","journal-title":"Communications of the ACM"},{"key":"17_CR21","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/JRA.1986.1087032","volume":"RA-2","author":"R Brooks","year":"1986","unstructured":"Brooks R: \u2018A robust layered control system for a mobile robot', IEEE Journal of Robotics and Automation, RA-2, pp 14\u201323 (1986).","journal-title":"IEEE Journal of Robotics and Automation"},{"issue":"No11","key":"17_CR22","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/219717.219808","volume":"38","author":"P Maes","year":"1995","unstructured":"Maes P: \u2018Artificial life meets entertainment: lifelike autonomous agents', Communications of the ACM, 38, No 11, pp 108\u2013114 (1995).","journal-title":"Communications of the ACM"},{"key":"17_CR23","volume-title":"Machine Intelligence 15: intelligent agents","author":"B Blumberg","year":"1996","unstructured":"Blumberg B: \u2018Lessons from ethology for autonomous agent architectures', in Furukawa K, Michie D, and Muggleton S (Eds): \u2018Machine Intelligence 15: intelligent agents', Oxford University Press, Oxford (to be published in 1996)."},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Armstrong R, Freitag D, Joachims T, and Mitchell T: \u2018Webwatcher: 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","DOI":"10.21236\/ADA640219"},{"key":"17_CR25","unstructured":"Droms R: \u2018The Knowbot information service', FTP Report, Corporation for National Research Initiatives (CNRI) (December 1989)."},{"issue":"No2","key":"17_CR26","first-page":"182","volume":"1","author":"D Michie","year":"1994","unstructured":"Michie D: \u2018Consciousness as an engineering issue, Pt 1', Journal of Consciousness Studies, 1, No 2, pp 182\u2013195 (1994).","journal-title":"Journal of Consciousness Studies"},{"issue":"No1","key":"17_CR27","first-page":"52","volume":"2","author":"D Michie","year":"1995","unstructured":"Michie D: \u2018Consciousness as an engineering issue, Pt 2', Journal of Consciousness Studies, 2, No 1, pp 52\u201366 (1995).","journal-title":"Journal of Consciousness Studies"},{"key":"17_CR28","first-page":"385","volume-title":"Learning to fly","author":"C Sammut","year":"1992","unstructured":"Sammut C, Hurst S, Kedzier D and Michie D: \u2018Learning to fly', in Sleeman D and Edwards P (Eds): \u2018Proc of the Ninth International Workshop on Machine Learning', pp 385\u2013393, San Mateo, CA, Morgan Kaufmann (1992)."},{"key":"17_CR29","volume-title":"Machine Intelligence 14: applied machine intelligence","author":"D Michie","year":"1995","unstructured":"Michie D and Sammut C: \u2018Behavioural clones and cognitive skill models', in Furukawa K, Michie D and Muggleton S (Eds): \u2018Machine Intelligence 14: applied machine intelligence', Oxford University Press, Oxford (1995)."},{"issue":"No3","key":"17_CR30","first-page":"40","volume":"37","author":"B. P. Allen","year":"1994","unstructured":"Allen B P: \u2018Case-based reasoning: business applications, Communications of the ACM', 37, No 3, pp 40\u201344 (1994).","journal-title":"Case-based reasoning: business applications, Communications of the ACM"},{"issue":"No3","key":"17_CR31","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/175247.175257","volume":"37","author":"B Widrow","year":"1994","unstructured":"Widrow B, Rumelhart D E and Lehr M A: \u2018Neural networks: applications in industry, business and science', Communications of the ACM, 37, No 3, pp 93\u2013105 (1994).","journal-title":"Communications of the ACM"},{"issue":"No3","key":"17_CR32","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/175247.175259","volume":"37","author":"D. E. Goldberg","year":"1994","unstructured":"Goldberg D E: \u2018Genetic and evolutionary algorithms come of age', Communications of the ACM, 37, No 3, pp113\u2013119 (1994).","journal-title":"Communications of the ACM"},{"issue":"No7","key":"17_CR33","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1093\/protein\/5.7.647","volume":"5","author":"S Muggleton","year":"1992","unstructured":"Muggleton S, King R and Sternberg M: \u2018Protein secondary structure prediction using logic-based machine learning', Protein Engineering, 5, No 7, pp 647\u2013657 (1992).","journal-title":"Protein Engineering"},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"King R, Muggleton S, Lewis R, and Sternberg M: \u2018Drug 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).","DOI":"10.1073\/pnas.89.23.11322"},{"key":"17_CR35","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1073\/pnas.93.1.438","volume":"93","author":"R King","year":"1996","unstructured":"King R, Muggleton S, Srinivasan A, and Sternberg M: \u2018Structure-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\u2013442 (1996).","journal-title":"Proc of the National Academy of Sciences"},{"key":"17_CR36","volume-title":"Machine learning, neural and statistical classification","author":"D Michie","year":"1994","unstructured":"Michie D, Spiegelhalter D J and Taylor C C: \u2018Machine learning, neural and statistical classification', Ellis Horwood, London (1994)."}],"container-title":["Lecture Notes in Computer Science","Software Agents and Soft Computing Towards Enhancing Machine Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62560-7_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:53:50Z","timestamp":1713635630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62560-7_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625605","9783540680796"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-62560-7_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}