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

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

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Gochet Paul Grgoire Eric Gribomont Pascal Hulin Gu

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.