Intelligent Systems

AI engineers seek to automate mental processes. Of these processes, only some have a deliberative component based on declarative mental representations. The two commonest declarative forms are visuo-spatial images and propositions. Below introspectahle level are found the tacit skills of the highly trained expert. In real-time control tasks these tend to dominate. Since they are also largely subarticulate, the road to knowledge acquisition at first sight seems blocked. Modern machine learning tools can, howE'ver, recover symbolic models of skills from behavioural traces. The resulting data-derived "clones" show transparency and run-time dependability beyond the capacities of their human exemplars. An aerospace application is reviewed.

[1]  D'arcy W. Thompson,et al.  On Growth and Form , 1917, Nature.

[2]  Claude E. Shannon,et al.  Computers and Automata , 1953, Proceedings of the IRE.

[3]  D. C. Dashfield HER MAJESTY'S STATIONERY OFFICE , 1954 .

[4]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[5]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[6]  G. E. Alexander,et al.  Delayed response deficit by cryogenic depression of frontal cortex. , 1970, Brain research.

[7]  R. Shepard,et al.  Mental Rotation of Three-Dimensional Objects , 1971, Science.

[8]  Robert H. McKim,et al.  Experiences in Visual Thinking , 1972 .

[9]  A. Brown,et al.  Ionic Basis of the Photoresponse of Aplysia Giant Neuron: K+ Permeability Increase , 1972, Science.

[10]  H. H. Clark SPACE, TIME, SEMANTICS, AND THE CHILD , 1973 .

[11]  I. Rock The perception of disoriented figures. , 1974, Scientific American.

[12]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[13]  A. Brown,et al.  Phototransduction in aplysia neurons: calcium release from pigmented granules is essential. , 1975, Science.

[14]  Ray Jackendoff,et al.  A System of Semantic Primitives , 1975, TINLAP.

[15]  R. Keynes The ionic channels in excitable membranes. , 1975, Ciba Foundation symposium.

[16]  Ben Wegbreit,et al.  Mechanical program analysis , 1975, CACM.

[17]  M. S. Berry,et al.  Criteria for distinguishing between monosynaptic and polysynaptic transmission , 1976, Brain Research.

[18]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[19]  C. Fillmore The case for case reopened , 1977 .

[20]  Gerald Estrin Modeling for synthesis - the gap between intent and behavior , 1977, DAC 1977.

[21]  Harry G. Barrow,et al.  Experiments in Interpretation-Guided Segmentation , 1977, Artificial Intelligence.

[22]  David Marr,et al.  Representing Visual Information , 1977 .

[23]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[24]  W. N. Ross,et al.  Optical recording of neuronal activity in an invertebrate central nervous system: simultaneous monitoring of several neurons. , 1977, Journal of neurophysiology.

[25]  S. M. Udupa,et al.  Collision Detection and Avoidance in Computer Controlled Manipulators , 1977, IJCAI.

[26]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[27]  David L. Waltz,et al.  On the Interdependence of Language and Perception , 1978, TINLAP.

[28]  John R. Anderson Arguments concerning representations for mental imagery. , 1978 .

[29]  D. Marr,et al.  Representation and recognition of the spatial organization of three-dimensional shapes , 1978, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[30]  Terry Winograd,et al.  On primitives, prototypes, and other semantic anomalies , 1978, TINLAP.

[31]  Ruzena Bajcsy,et al.  The Problem of Naming Shapes: Vision-Language Interface , 1978, TINLAP.

[32]  W. M. vanCleemput Hierarchical Design for VLSI: Problems and Advantages , 1979 .

[33]  Geoffrey E. Hinton Some Demonstrations of the Effects of Structural Descriptions in Mental Imagery , 1979, Cogn. Sci..

[34]  Terrence C. Miller Type checking in an imperfect world , 1979, POPL '79.

[35]  David L. Waltz,et al.  Visual Analog Representations for Natural Languages Understanding , 1979, IJCAI.

[36]  J. Miller,et al.  Rapid killing of single neurons by irradiation of intracellularly injected dye. , 1979, Science.

[37]  Tomás Lozano-Pérez,et al.  An algorithm for planning collision-free paths among polyhedral obstacles , 1979, CACM.

[38]  Jeffrey D. Ullman,et al.  A Scheme for the Automatic Inference of Variable Types , 1980, JACM.

[39]  P. W. Foulk,et al.  Aids - an integrated design system for digital hardware , 1980 .

[40]  ARISTIDES A. G. REQUICHA,et al.  Representations for Rigid Solids: Theory, Methods, and Systems , 1980, CSUR.

[41]  James Allely Rowson Understanding hierarchical design , 1980 .

[42]  P. Nunez,et al.  Electric fields of the brain , 1981 .

[43]  Norihisa Suzuki,et al.  Inferring types in Smalltalk , 1981, POPL '81.

[44]  Tomás Lozano-Pérez,et al.  Automatic Planning of Manipulator Transfer Movements , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[45]  Alice C. Parker,et al.  A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic , 1981, 18th Design Automation Conference.

[46]  L. Jacoby,et al.  On the relationship between autobiographical memory and perceptual learning. , 1981, Journal of experimental psychology. General.

[47]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[48]  S. Kosslyn The medium and the message in mental imagery: A theory. , 1981 .

[49]  Z. Pylyshyn The imagery debate: Analogue media versus tacit knowledge. , 1981 .

[50]  Rodney A. Brooks,et al.  An optimizing compiler for lexically scoped LISP , 1982, SIGPLAN '82.

[51]  P. A. Getting,et al.  Motor organization of Tritonia swimming. I. Quantitative analysis of swim behavior and flexion neuron firing patterns. , 1982, Journal of neurophysiology.

[52]  Donald E. Thomas,et al.  Defining and Implementing a Multilevel Design Representation with Simulation Applications , 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[53]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[54]  M. Michael Cohen,et al.  Electrical Stimulation Research Techniques , 1982 .

[55]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[56]  Jonathan Rees,et al.  T: a dialect of Lisp or LAMBDA: The ultimate software tool , 1982, LFP '82.

[57]  Alan Borning,et al.  A type declaration and inference system for smalltalk , 1982, POPL '82.

[58]  H. Pinsker,et al.  Selective recording and stimulation of individual identified neurons in freely behaving Aplysia. , 1983, Science.

[59]  J. Krüger Simultaneous individual recordings from many cerebral neurons: techniques and results. , 1983, Reviews of physiology, biochemistry and pharmacology.

[60]  Rodney A. Brooks,et al.  Solving the find-path problem by good representation of free space , 1982, IEEE Transactions on Systems, Man, and Cybernetics.

[61]  A Grinvald,et al.  Identification of presynaptic neurons by laser photostimulation. , 1983, Science.

[62]  M. Raichle,et al.  Brain blood flow measured with intravenous H2(15)O. I. Theory and error analysis. , 1983, Journal of nuclear medicine : official publication, Society of Nuclear Medicine.

[63]  Matthias Jarke,et al.  How Does an Expert System Get its Data? (Extended Abstract) , 1983, VLDB.

[64]  Tomás Lozano-Pérez,et al.  Spatial Planning: A Configuration Space Approach , 1983, IEEE Transactions on Computers.

[65]  Donald E. Thomas,et al.  The VLSI Design Automation Assistant: Prototype System , 1983, 20th Design Automation Conference Proceedings.

[66]  M. Mintun,et al.  Brain blood flow measured with intravenous H2(15)O. II. Implementation and validation. , 1983, Journal of nuclear medicine : official publication, Society of Nuclear Medicine.

[67]  John J. Granacki,et al.  The Effect of Register-Transfer Design Tradeoffs on Chip Area and Performance , 1983, 20th Design Automation Conference Proceedings.

[68]  R. Brooks Planning Collision- Free Motions for Pick-and-Place Operations , 1983 .

[69]  Micha Sharir,et al.  On shortest paths in polyhedral spaces , 1986, STOC '84.

[70]  J. Lloyd Foundations of Logic Programming , 1984, Symbolic Computation.

[71]  L. Gouzenes Strategies for Solving Collision-free Trajectories Problems for Mobile and Manipulator Robots , 1984 .

[72]  Zenon W. Pylyshyn,et al.  Computation and Cognition: Toward a Foundation for Cognitive Science , 1984 .

[73]  Carlo Zaniolo,et al.  Prolog: A Database Query Language for All Seasons , 1984, Expert Database Workshop.

[74]  Rodney A. Brooks,et al.  A critique of common LISP , 1984, LFP '84.

[75]  Adrian Walker,et al.  PROSQL: A Prolog Programming Interface with SQL/DS , 1984, Expert Database Workshop.

[76]  Donald E. Thomas,et al.  The VLSI Design Automation Assistant: An IBM System/370 Design , 1984, IEEE Design & Test of Computers.

[77]  Alice C. Parker Automated Synthesis of Digital systems , 1984, IEEE Design & Test of Computers.

[78]  Edward Sciore,et al.  Towards an Integrated Database-Prolog System , 1984, Expert Database Workshop.

[79]  Allen I. Selverston,et al.  Neural Mechanisms for the Production of the Lobster Pyloric Motor Pattern , 1985 .

[80]  Connie U. Smith,et al.  An Architecture Design and Assessment System for Software/Hardware Codesign , 1985, 22nd ACM/IEEE Design Automation Conference.

[81]  Rodney A. Brooks,et al.  A subdivision algorithm in configuration space for findpath with rotation , 1983, IEEE Transactions on Systems, Man, and Cybernetics.

[82]  Allen I. Selverston,et al.  Model Neural Networks and Behavior , 1985, Springer US.

[83]  Ravi Manghirmalani,et al.  Representations for a rule based assistant for designing combinational circuits , 1985, CSC '85.

[84]  Donald E. Thomas Observations on comparing digital systems synthesis techniques , 1985, CSC '85.

[85]  David A. Moon,et al.  Architecture of the Symbolics 3600 , 1985, ISCA '85.

[86]  P. A. Getting,et al.  Mechanisms of pattern generation underlying swimming in Tritonia. IV. Gating of central pattern generator. , 1985, Journal of neurophysiology.

[87]  W. N. Ross,et al.  Regional distribution of calcium influx into bursting neurons detected with arsenazo III. , 1985, Proceedings of the National Academy of Sciences of the United States of America.

[88]  Gerald Estrin SARA in the design room , 1985, CSC '85.

[89]  Paul J. Drongowski A graphical engineering aid for VLSI systems , 1985 .

[90]  Matthias Jarke,et al.  Access to Specific Declarative Knowledge by Expert Systems: The Impact of Logic Programming , 1983, Decis. Support Syst..

[91]  Luc Van Gool,et al.  Automated Visual Inspection , 1990 .

[92]  Jorge B. Bocca On the evaluation strategy of EDUCE , 1986, SIGMOD '86.

[93]  Leon Sterling,et al.  An explanation shell for expert systems , 1986, Comput. Intell..

[94]  C. Cohan,et al.  Convergence in a distributed nervous system: parallel processing and self-organization. , 1986, Journal of neurobiology.

[95]  Jorge B. Bocca EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS , 1986, SLP.

[96]  Rodney A. Brooks,et al.  Design of an optimizing, dynamically retargetable compiler for common Lisp , 1986, LFP '86.

[97]  K. Sterelny The Imagery Debate , 1986, Philosophy of Science.

[98]  Tomás Lozano-Pérez,et al.  On multiple moving objects , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[99]  Hisao Tamaki,et al.  OLD Resolution with Tabulation , 1986, ICLP.

[100]  Zebo Peng Synthesis of VLSI Systems with the CAMAD Design Aid , 1986, 23rd ACM/IEEE Design Automation Conference.

[101]  H. Chiel,et al.  Activity of an identified histaminergic neuron, and its possible role in arousal of feeding behavior in semi-intact Aplysia , 1986, The Journal of neuroscience : the official journal of the Society for Neuroscience.

[102]  R. Miles,et al.  Excitatory synaptic interactions between CA3 neurones in the guinea‐pig hippocampus. , 1986, The Journal of physiology.

[103]  R. D. Myers,et al.  Neurochemical analysis of the conscious brain: voltammetry and push-pull perfusion. , 1986, Annals of the New York Academy of Sciences.

[104]  Proffitt,et al.  Why you cannot see what holds a gyroscope up , 1986 .

[105]  Robert R. Kessler,et al.  EPIC - a retargetable, highly optimizing Lisp compiler , 1986, SIGPLAN '86.

[106]  A S Gevins,et al.  Human neuroelectric patterns predict performance accuracy. , 1987, Science.

[107]  Joxan Jaffar,et al.  Methodology and Implementation of a CLP System , 1987, ICLP.

[108]  Tomas Lozano-Perez A simple motion-planning algorithm for general robot manipulators , 1986, IEEE J. Robotics Autom..

[109]  T. J. Roper Introduction to Comparative Cognition, Herbert L. Roitblat. W. H. Freeman, Oxford (1986), xiv, +337. Price £29.95 hardback, £17.95 paperback , 1987 .

[110]  D. Zecevic,et al.  Simultaneous optical recording of activity from many neurons during feeding in Navanax , 1987, The Journal of neuroscience : the official journal of the Society for Neuroscience.

[111]  Micha Sharir,et al.  Efficient algorithms for planning purely translational collision-free motion in two and three dimensions , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[112]  Suzanne W. Dietrich,et al.  Extension Tables: Memo Relations in Logic Programming , 1987, SLP.

[113]  Randall D. Beer Preliminary report on a practical type inference system for common Lisp , 1987, LIPO.

[114]  Lisp implementations , 1987, LIPO.

[115]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[116]  I. Biederman Recognition-by-components: a theory of human image understanding. , 1987, Psychological review.

[117]  R. Lippmann,et al.  An introduction to computing with neural nets , 1987, IEEE ASSP Magazine.

[118]  Peter Steenkiste,et al.  Tags and type checking in LISP: hardware and software approaches , 1987, ASPLOS.

[119]  W. Freeman,et al.  How brains make chaos in order to make sense of the world , 1987, Behavioral and Brain Sciences.

[120]  Jean-Daniel Boissonnat,et al.  A practical exact motion planning algorithm for polygonal objects amidst polygonal obstacles , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[121]  John Canny,et al.  The complexity of robot motion planning , 1988 .

[122]  James M. Bower,et al.  Modeling Small Oscillating Biological Networks in Analog VLSI , 1988, NIPS.

[123]  D. Tank,et al.  Spatially resolved calcium dynamics of mammalian Purkinje cells in cerebellar slice. , 1988, Science.

[124]  R. Llinás The intrinsic electrophysiological properties of mammalian neurons: insights into central nervous system function. , 1988, Science.

[125]  Leon Sterling,et al.  An Integrated Interpreter for Explaining Prolog's Successes and Failures , 1989, International Workshop on Meta-Programming in Logic.

[126]  Paul J. Drongowski,et al.  A graphical hardware design language , 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..

[127]  J. Yates,et al.  Are conceptions of motion based on a naive theory or on prototypes? , 1988, Cognition.

[128]  Yannis E. Ioannidis,et al.  Bermuda - An Architectural Perspective on Interfacing Prolog to a Database Machine , 1988, Expert Database Conf..

[129]  Hiroshi Noborio,et al.  A fast path-planning algorithm by synchronizing modification and search of its path graph (mobile robots) , 1988, Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications.

[130]  G. Mpitsos,et al.  Evidence for chaos in spike trains of neurons that generate rhythmic motor patterns , 1988, Brain Research Bulletin.

[131]  RW Baughman,et al.  The pharmacology of synapses formed by identified corticocollicular neurons in primary cultures of rat visual cortex , 1988, The Journal of neuroscience : the official journal of the Society for Neuroscience.

[132]  Timothy Budd,et al.  An APL Compiler , 1987, Springer New York.

[133]  Leon Sterling,et al.  Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter , 1989, IJCAI.

[134]  Mark E. Nelson,et al.  Simulating neurons and networks on parallel computers , 1989 .

[135]  A Grinvald,et al.  Optical imaging of cortical activity: real-time imaging using extrinsic dye-signals and high resolution imaging based on slow intrinsic-signals. , 1989, Annual review of physiology.

[136]  Micha Sharir,et al.  Algorithmic motion planning in robotics , 1991, Computer.

[137]  Aysin Yeltekin A Minimum Path Algorithm Among 3D-Polyhedral Objects , 1989, Other Conferences.

[138]  James R. Slagle,et al.  An explanation facility for today's expert systems , 1989, IEEE Expert.

[139]  C. Fowler Non-invasive Stimulation of Brain and Spinal Cord: Fundamentals and clinical applications , 1989 .

[140]  A. Distante,et al.  An Algorithm For Planning An Optimum Collision-Free Path In Structured Environment , 1989, Other Conferences.

[141]  E. Kandel,et al.  Genes, nerve cells, and the remembrance of things past. , 1989, The Journal of neuropsychiatry and clinical neurosciences.

[142]  I Kupfermann,et al.  The role of a modulatory neuron in feeding and satiation in Aplysia: effects of lesioning of the serotonergic metacerebral cells , 1989, The Journal of neuroscience : the official journal of the Society for Neuroscience.

[143]  G. Blasdel,et al.  Visualization of neuronal activity in monkey striate cortex. , 1989, Annual review of physiology.

[144]  Jeffrey D. Uuman Principles of database and knowledge- base systems , 1989 .

[145]  D. Regan Human brain electrophysiology: Evoked potentials and evoked magnetic fields in science and medicine , 1989 .

[146]  Matthew A. Wilson,et al.  The simulation of large-scale neural networks , 1989 .

[147]  Tomás Lozano-Pérez,et al.  Task-level planning of pick-and-place robot motions , 1989, Computer.

[148]  George W. Ernst,et al.  An Expert System which Intelligently Accesses an External Database , 1989, NACLP.

[149]  N. Hari Narayanan,et al.  Towards a Theory of Commonsense Visual Reasoning , 1990, FSTTCS.

[150]  Daryl H. Graf,et al.  An introduction to speech and speaker recognition , 1990, Computer.

[151]  Olin Shivers,et al.  Data-flow analysis and type recovery in Scheme , 1990 .

[152]  D. Olton,et al.  Neurobiology of Comparative Cognition , 1990 .

[153]  William T. Newsome,et al.  Cortical microstimulation influences perceptual judgements of motion direction , 1990, Nature.

[154]  M. Segal,et al.  Epileptiform activity in microcultures containing small numbers of hippocampal neurons. , 1990, Journal of neurophysiology.

[155]  B. Connors,et al.  Intrinsic firing patterns of diverse neocortical neurons , 1990, Trends in Neurosciences.

[156]  Francis L. Merat,et al.  The integration of inspection into the CIM environment , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[157]  L. Cohen,et al.  One neuron, many units? , 1990, Nature.

[158]  Stephen Muggleton,et al.  Efficient Induction of Logic Programs , 1990, ALT.

[159]  D. Cohen,et al.  MEG versus EEG localization test using implanted sources in the human brain , 1990, Annals of neurology.

[160]  J. Searle,et al.  Is the brain's mind a computer program? , 1990, Scientific American.

[161]  L. F. Pau,et al.  Neural signal understanding for instrumentation , 1990 .

[162]  Jack C. Wileden,et al.  Type flow analysis for exploratory software development , 1990 .

[163]  A. Hodgkin,et al.  A quantitative description of membrane current and its application to conduction and excitation in nerve , 1990 .

[164]  John R. Anderson,et al.  Abstract Planning and Perceptual Chunks: Elements of Expertise in Geometry , 1990, Cogn. Sci..

[165]  S. Petersen,et al.  Activation of extrastriate and frontal cortical areas by visual words and word-like stimuli. , 1990, Science.

[166]  R. McClelland,et al.  The self and its brain. , 1990, The Ulster medical journal.

[167]  J A Frank,et al.  Functional magnetic resonance imaging in medicine and physiology. , 1990, Science.

[168]  V. Mountcastle,et al.  Adaptation of the Reitboeck method of multiple microelectrode recording to the neocortex of the waking monkey , 1991, Journal of Neuroscience Methods.

[169]  U. Ungerstedt,et al.  In vivo characterisation of extracellular dopamine, GABA and acetylcholine from the dorsolateral striatum of awake freely moving rats by chronic microdialysis , 1991, Journal of Neuroscience Methods.

[170]  B. Rosen,et al.  Functional mapping of the human visual cortex by magnetic resonance imaging. , 1991, Science.

[171]  N. Hari Narayanan,et al.  Reasoning Visually about Spatial Interactions , 1991, IJCAI.

[172]  D. Kleinfeld,et al.  Long-term optical recording of patterns of electrical activity in ensembles of cultured Aplysia neurons. , 1991, Journal of neurophysiology.

[173]  D. Kleinfeld,et al.  Noninvasive detection of changes in membrane potential in cultured neurons by light scattering. , 1991, Proceedings of the National Academy of Sciences of the United States of America.

[174]  Constance M. Pechura,et al.  Mapping the brain and its functions: integrating enabling technologies into neuroscience research , 1991 .

[175]  Chi-Bin Chien,et al.  An apparatus for recording synaptic potentials from neuronal cultures using voltage-sensitive fluorescent dyes , 1991, Journal of Neuroscience Methods.

[176]  R. Douglas,et al.  A silicon neuron , 1991, Nature.

[177]  Kazutomo Yunokuchi,et al.  Tests of EEG localization accuracy using implanted sources in the human brain , 1991, Annals of neurology.

[178]  John Alan Robinson Formal and Informal Proofs , 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.

[179]  Hillel J. Chiel,et al.  Optical methods can be utilized to map the location and activity of putative motor neurons and interneurons during rhythmic patterns of activity in the buccal ganglion of Aplysia , 1991, Brain Research.

[180]  Lluis Jofre,et al.  Active microwave computed brain tomography: The response to a challenge , 1991, Journal of Neuroscience Methods.

[181]  Roland H. C. Yap,et al.  The CLP( R ) language and system , 1992, TOPL.

[182]  Rui Camacho,et al.  Building symbolic representations of intuitive real-time skills from performance data , 1994, Machine Intelligence 13.

[183]  Roland H. C. Yap,et al.  The CLP(R) Programmer's Manual Version 1.2 , 1992 .

[184]  J R Duhamel,et al.  The updating of the representation of visual space in parietal cortex by intended eye movements. , 1992, Science.

[185]  Francis L. Merat,et al.  Automatic inspection planning within a feature-based CAD system , 1992 .

[186]  Richard A. Lewis,et al.  Drug design by machine learning: the use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase. , 1992, Proceedings of the National Academy of Sciences of the United States of America.

[187]  A. S. Ferguson,et al.  Effect of surface boundary on neuronal magnetic stimulation , 1992, IEEE Transactions on Biomedical Engineering.

[188]  Paul J. Drongowski Agent: A Modelling and Analytical Tool for VLSI System Architects , 1993 .

[189]  Generating Polytope Intersection Configurations from a Symbolic Description Using CLP(ℜ) , 1993 .

[190]  Donald Michie,et al.  Methodologies from Machine Learning in Data Analysis and Software , 1991, Informatica.

[191]  Donald Michie,et al.  Turing's Test and Conscious Thought , 1993, Artif. Intell..

[192]  George W. Ernst,et al.  Methods for an Expert System to Access an External Database , 1993 .

[193]  Gerald M. Radack,et al.  Reasoning about symbolic descriptions of mechanical parts , 1994 .

[194]  H. Penny Nii,et al.  Blackboard systems: the blackboard model of problem solving and the evolution of blackboard architectures , 1995 .