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 電子ブック Fundamentals of Artificial Intelligence Research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings Jorrand, Philippe., Kelemen, Jozef., SpringerLink (Online service)	7 電子ブック Constraint Processing : Selected Papers Meyer, Manfred., SpringerLink (Online service)
2 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings Vardi, Moshe., Voronkov, Andrei., SpringerLink (Online service)	8 電子ブック Logic Program Synthesis and Transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings Gallagher, John., SpringerLink (Online service)
3 電子ブック Algebraic and Logic Programming : International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings Grabowski, Jan., Lescanne, Pierre., Wechler, Wolfgang., SpringerLink (Online service)	9 電子ブック Principles and Practice of Constraint Programming - CP97 : Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 Smolka, Gert., SpringerLink (Online service)
4 電子ブック Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings Lloyd, John., Dahl, Veronica., Furbach, Ulrich., Kerber, Manfred., Lau, Kung-Kiu., Palamidessi, Catuscia., Pereira, Luis …	10 電子ブック Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, … Voronkov, Andrei., SpringerLink (Online service)
5 電子ブック Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings Fuchs, Norbert E., SpringerLink (Online service)	11 電子ブック Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers Pettorossi, Alberto., SpringerLink (Online service)
6 電子ブック Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings Proietti, Maurizio., SpringerLink (Online service)	12 電子ブック Principles and Practice of Constraint Programming - CP 2003 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, … Rossi, Francesca., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12