+612 9045 4394
Vivid Logic : Knowledge-Based Reasoning with Two Kinds of Negation - Gerd Wagner

Vivid Logic

Knowledge-Based Reasoning with Two Kinds of Negation

Paperback Published: 28th January 1994
ISBN: 9783540576044
Number Of Pages: 155

Share This Book:


or 4 easy payments of $26.41 with Learn more
Ships in 7 to 10 business days

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.

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.

ISBN: 9783540576044
ISBN-10: 3540576045
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 155
Published: 28th January 1994
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 0.94
Weight (kg): 0.25