Fundamentals of Artificial Intelligence : An Advanced Course

This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, France, in July 1985. Most of them were written in tutorial form; the book thus provides an extremely valuable guide to the fundamental aspects of AI. In the first part, Delgrande and Mylopoulos discuss the concept of knowledge and its representation. The second part is devoted to the processing of knowledge. The contribution by Huet shows that both computation and inference or deduction are just different aspects of the same phenomenon. The chapter written by Stickel gives a thorough and knowledgeable introduction to the most important aspects of deduction by some form of resolution. The kind of reasoning that is involved in inductive inference problem solving (or programming) from examples, and in learning, is covered by Biermann. The tutorial by Bibel covers the more important forms of knowledge processing that might play a significant role in common

主題:

Artificial Intelligence; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques

目次情報:

東工大ブックレビュー

類似資料:

1 電子ブック Algebraic and Logic Programming : International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings Grabowski, Jan., Lescanne, Pierre., Wechler, Wolfgang., SpringerLink (Online service)	7 電子ブック Mathematics of Program Construction : 375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 … Snepscheut, Jan L.A. van de., SpringerLink (Online service)
2 電子ブック Automata, Languages, and Programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings Paredaens, J., SpringerLink (Online service)	8 電子ブック Programming Languages Implementation and Logic Programming : International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings Deransart, Pierre., Lorho, Bernard., Maluszynski, Jan., SpringerLink (Online service)
3 図書 Fundamentals of artificial intelligence : an advanced course (: gw ; : us) Bibel, Wolfgang, 1938-, Jorrand, Philippe Springer-Verlag	9 電子ブック Logic Programming '88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 Furukawa, Koichi., Tanaka, Hozumi., Fujisaki, Tetsunosuke., SpringerLink (Online service)
4 電子ブック The Munich Project CIP : Volume II: The Programme Transformation System CIP-S SpringerLink (Online service)	10 電子ブック Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings Meyer, Albert R., Taitslin, Michael A., SpringerLink (Online service)
5 電子ブック Finite Representations of CCS and TCSP Programs by Automata and Petri Nets Taubner, Dirk A., SpringerLink (Online service)	11 電子ブック Mathematical Foundations of Computer Science 1986 : 12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings Gruska, Jozef., Rovan, Branislav., Wiedermann, Juraj., SpringerLink (Online service)
6 電子ブック Analogical and Inductive Inference : International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings Jantke, Klaus P., SpringerLink (Online service)	12 電子ブック Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings Shapiro, Ehud., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12