Aspects of expert systems

Expert system technology has grown out of the desire to produce and support systems which are expert. The technology itself, however, is more widely applicable. It is supported by a growing number of commercial expert system shells. These shells may be viewed as providing specialized and high level software development environments. Seen in this light, the lessons of expert system development may have considerable impact when applied to general software development.

[1]  J. R Cockett.  Decision Expression Optimization , 1985 .

[2]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[3]  George Boolos,et al.  Computability and logic , 1974 .

[4]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[5]  Charles L. Forgy,et al.  OPS5 user's manual , 1981 .

[6]  Ivan Bratko,et al.  Prolog Programming for Artificial Intelligence , 1986 .

[7]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[8]  Ryszard S. Michalski,et al.  Knowledge acquisition by encoding expert rules versus computer induction from examples: a case study , 1980 .

[9]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[10]  Ryszard S. Michalski,et al.  A Theory and Methodology of Inductive Learning , 1983, Artificial Intelligence.

[11]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

[12]  Peter Jackson,et al.  Introduction to expert systems , 1986 .

[13]  Andrew Hodges,et al.  Alan Turing: The Enigma of Intelligence , 1985 .

[14]  Donald A. Waterman,et al.  A Guide to Expert Systems , 1986 .

[15]  Pamela McCorduck,et al.  Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence , 1979 .

[16]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[17]  J. Lambek,et al.  Introduction to higher order categorical logic , 1986 .

[18]  J. R.B. Cockett,et al.  Finding All the Optimal Forms of a Decision Tree , 1986 .

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

[20]  Edward A. Felgenbaum.  The art of artificial intelligence: themes and case studies of knowledge engineering , 1977, IJCAI 1977.

[21]  Adrian Walker.  Knowledge systems and PROLOG , 1987 .

[22]  Patrick Henry Winston,et al.  The commercial debut of artificial intelligence , 1987 .

[23]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[24]  Donald Michie,et al.  Current developments in expert systems , 1987 .

[25]  Douglas B. Lenat,et al.  Knowledge-based systems in artificial intelligence , 1981 .

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

[27]  W. A. Martin,et al.  The MACSYMA system , 1971, SYMSAC '71.

[28]  Philip J. Stone,et al.  Experiments in induction , 1966 .

[29]  J R B Cockett,et al.  Prime rule-based methodologies give inadequate control , 1986, ISMIS '86.

[30]  J. Robin B. Cockett,et al.  Decision tree reduction , 1990, JACM.

[31]  John Debenham.  Expert systems: an information processing perspective , 1987 .

[32]  J. R. B. Cockett.  Discrete Decision Theory: Manipulations , 1987, Theor. Comput. Sci..

[33]  Con Connell,et al.  Applications of Expert Systems , 1989 .

[34]  M. Makkai,et al.  First order categorical logic , 1977 .