• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation

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

Paperback

FictionGeneral ComputersProgramming

ISBN10: 3540576045
ISBN13: 9783540576044
Publisher: Springer
Published: Jan 28 1994
Pages: 155
Weight: 0.55
Height: 0.37 Width: 6.14 Depth: 9.21
Language: English
Knowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a practically relevant body of cognitive faculties employed by humans and capitalizes on its technical strength to extend human knowledge representation and reasoning capabilities. In this monograph, the author develops formalisms for his own notion of a vivid knowledge representation and reasoning system, characterized by the presence of two kinds of negation (weak and strong) and the requirements of restricted reflexivity, constructivity, and non-explosiveness. The book is based on work carried out within an interdisciplinary research project at the Free University of Berlin.

Also in

Fiction