From Standard Logic to Logic Programming |
|
| Editor:
| Thayse, André |
| Author:
| Gochet, Paul
Gribomont, Pascal
Grégoire, Eric
Hulin, Guy
Pirotte, Alain
Roelants, Dominique
Snyers, Dominique
Vauclair, Marc
Wolper, Pierre |
| Series title: | Logic Based Approach to Artificial Intelligence Ser. |
| ISBN: | 978-0-471-91838-7 |
| Publication Date: | Sep 1988 |
| Publisher: | John Wiley & Sons, Incorporated
|
| Book Format: | Paperback |
| List Price: | USD $54.95 |
Book Description:
|
Presents a solid base for the examination of artificial intelligence (AI) with a thorough study of the role of logic, covering the whole field from the theoretical aspects of logic to the most practical logic programming applications. Discusses classical logic; knowledge representation and valid reasoning; non-standard logics and revisable reasoning; formal grammars; automata theory and augument transition network formalism and much more. Particular emphasis is placed on Prolog as the...
More DescriptionPresents a solid base for the examination of artificial intelligence (AI) with a thorough study of the role of logic, covering the whole field from the theoretical aspects of logic to the most practical logic programming applications. Discusses classical logic; knowledge representation and valid reasoning; non-standard logics and revisable reasoning; formal grammars; automata theory and augument transition network formalism and much more. Particular emphasis is placed on Prolog as the forerunning and most popular language for logic programming.