Reasoning with Logic Programming: 1111 - Brossura

Alferes, José Júlio

 
9783540614883: Reasoning with Logic Programming: 1111
Brossura
ISBN 10: 3540614885 ISBN 13: 9783540614883
Casa editrice: Springer, 2009

Sinossi

As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.
The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.

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

Contenuti

Normal logic programs.- Extended logic programs.- Why a new semantics for extended programs?.- WFSX — A well founded semantics for extended logic programs.- WFSX, LP semantics with two negations, and autoepistemic logics.- WFSX and default logic.- WFSX and hypotheses abduction.- Dealing with contradiction.- Further properties and comparisons.- Top-down derivation procedures for WFSX.- Application to classical nonmonotonic reasoning problems.- Application to diagnosis and debugging.

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

Editore
Springer
Data di pubblicazione
2009
Lingua
Inglese
ISBN 10 
3540614885
ISBN 13 
9783540614883
Rilegatura
Copertina flessibile
Numero di pagine
360
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania