From Standard Logic to Logic Programming: Introducing a Logic-based Approach to Artificial Intelligence

Paul Gochet; Eric Grégoire; Pascal Gribomont; Guy Hulin; Alain Pirotte; Dominique Roelants; Dominique Snyers; André Thayse; Marc Vauclair; Pierre Wolper

ISBN 10: 0471918385 / ISBN 13: 9780471918387

Published by Wiley-Blackwell, 1988

About this Item

Type: Book Small plain label inside cover.

Seller Inventory # 052041

Bibliographic Details

• Title: From Standard Logic to Logic Programming: Introducing a Logic-based Approach to Artificial Intelligence
• Publisher: Wiley-Blackwell
• Publication Date: 1988
• Language: English
• ISBN 10: 0471918385
• ISBN 13: 9780471918387
• Binding: Paperback
• Condition: Good
• Dust Jacket Condition: No d/j as Published
• Seller catalogs:
  • MATHEMATICS

About this title

Synopsis

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 forerunning and most popular language for logic programming.