Architectures for Second Generation Knowledge Based Systems

This chapter deals with the concept and examples of structured knowledge based systems. First, an evaluation of the first generation knowledge representations is summarized. Second, the role of deep knowledge is commented together with the knowledge structuring approaches based on the knowledge level specification of an agent and the task based approach for symbolic representation.

[1]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[2]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[3]  David C. Brown,et al.  Design Problem Solving: A Research Agenda , 1989 .

[4]  José Cuena,et al.  The Use of Simulation Models and Human Advice to Build an Expert System for the Defense and Control of River Floods , 1983, IJCAI.

[5]  Kenneth D. Forbus.  The qualitative process engine , 1989 .

[6]  Bob J. Wielinga,et al.  Knowledge Acquisition for Expert Systems , 1987, Advanced Topics in Artificial Intelligence.

[7]  B. Chandrasekaran,et al.  Towards a Taxonomy of Problem Solving Types , 1983, AI Mag..

[8]  Luc Steels,et al.  The Deepening of Expert Systems , 1989, AI Commun..

[9]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[10]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[11]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

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

[13]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

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

[15]  Donald W. Loveland,et al.  Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.

[16]  D. Luckham.  Refinement Theorems in Resolution Theory , 1970 .

[17]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[18]  M. W. Curtis,et al.  A Turing Machine Simulator , 1965, JACM.

[19]  José Cuena,et al.  SIRAH: An Architecture for a Professional Intelligence , 1990, ECAI.

[20]  B. Chandrasekaran.  Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks , 1987, IJCAI.

[21]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[22]  E. Feigenbaum,et al.  Computers and Thought , 1963 .

[23]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[24]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[25]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[26]  Olga Štěpánková,et al.  Advanced Topics in Artificial Intelligence , 1992, Lecture Notes in Computer Science.