Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation: 764 - Brossura

Wagner, Gerd

Brossura

ISBN 10: 3540576045 ISBN 13: 9783540576044

Casa editrice: Springer, 2008

Riassunto

Knowledge representation research is not only formal, it isalso descriptiveand normative. Its aim is to implement aformal system which captures a practically relevant body ofcognitive faculties employed by humans and capitalizes onits technical strength to extend human knowledgerepresentation and reasoning capabilities.In this monograph, the author develops formalisms for hisown notion of a vivid knowledge representation and reasoningsystem, characterized by the presence of two kinds ofnegation (weak and strong) and the requirements ofrestricted reflexivity, constructivity, andnon-explosiveness. The book is based on work carried outwithin an interdisciplinary research project at the FreeUniversity of Berlin.

Su questo libro

Contenuti

General introduction.- Vivid knowledge representation and reasoning.- Partiality, paraconsistency and constructivity.- Vivid reasoning on the basis of facts.- Lindenbaum-algebraic semantics of logic programs.- Logic programming with strong negation and inexact predicates.- Vivid reasoning on the basis of rules.- Further topics, open problems.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 3540576045
• ISBN 13: 9783540576044
• Rilegatura: Copertina flessibile
• Numero di pagine: 168
• 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