From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence

by André Thayse, Paul Gochet, Pascal Gribomont, et al.

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...

• Format: Paperback
• Language: English
• ISBN: 0471918385
• ISBN13: 9780471918387
• Release Date: September 1988
• Publisher: Wiley
• Length: 360 Pages
• Weight: 1.40 lbs.