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

Subject:

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

Table of Contents:

Tokyo Tech Book Review

Similar Items:

1 eBook Fundamentals of Artificial Intelligence Research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings Jorrand, Philippe., Kelemen, Jozef., SpringerLink (Online service)	7 eBook Constraint Processing : Selected Papers Meyer, Manfred., SpringerLink (Online service)
2 eBook 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 eBook Logic Program Synthesis and Transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings Gallagher, John., SpringerLink (Online service)
3 eBook Algebraic and Logic Programming : International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings Grabowski, Jan., Lescanne, Pierre., Wechler, Wolfgang., SpringerLink (Online service)	9 eBook Principles and Practice of Constraint Programming - CP97 : Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 Smolka, Gert., SpringerLink (Online service)
4 eBook 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 eBook 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 eBook Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings Fuchs, Norbert E., SpringerLink (Online service)	11 eBook 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 eBook Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings Proietti, Maurizio., SpringerLink (Online service)	12 eBook 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