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) Springer Berlin Heidelberg	7 電子ブック 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) Springer Berlin Heidelberg
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) Springer Berlin Heidelberg	8 電子ブック Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings Fuchs, Norbert E., SpringerLink (Online service) Springer Berlin Heidelberg
3 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings Baader, Franz., Voronkov, Andrei., SpringerLink (Online service) Springer Berlin Heidelberg	9 電子ブック Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings Proietti, Maurizio., SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings Sutcliffe, Geoff., Voronkov, Andrei., SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Constraint Processing : Selected Papers Meyer, Manfred., SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック Algebraic and Logic Programming : International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings Grabowski, Jan., Lescanne, Pierre., Wechler, Wolfgang., SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Logic Program Synthesis and Transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings Gallagher, John., SpringerLink (Online service) Springer Berlin Heidelberg
6 電子ブック 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 … Springer Berlin Heidelberg	12 電子ブック Principles and Practice of Constraint Programming - CP97 : Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 Smolka, Gert., SpringerLink (Online service) Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12