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.

Keywords

Bibliographic Information

Book Title: Vivid Logic
Book Subtitle: Knowledge-Based Reasoning with Two Kinds of Negation
Authors: Gerd Wagner
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-57604-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1994
Softcover ISBN: 978-3-540-57604-4Published: 28 January 1994
eBook ISBN: 978-3-540-48288-8Published: 05 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 155
Topics: Artificial Intelligence, Programming Techniques, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations

Publish with us

Policies and ethics

Authors:

Sections

Buy it now

Buying options

Other ways to access

Table of contents (8 chapters)

Front Matter

Back Matter

About this book