From Standard Logic to Logic Programming: Introducing a
ISBN: , SKU: , AUTHOR: Thayse, Andre / Gochet, Paul / Gr?goire, Eric, PUBLISHER: John Wiley & Sons, 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.