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

by Gerd Wagner

On This Page

Description

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 show more 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. show less

Tags

Members

Recently Added By

Author Information

7 Works 10 Members
Gerd Wagner is Professor of Internet Technology at Brandenburg University of Technology, Germany, and Adjunct Associate Professor at Old Dominion University, Norfolk, VA, USA. He works in the areas of web engineering and modeling and simulation.

Series

Belongs to Publisher Series

Common Knowledge

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

Classifications

Genres
Nonfiction, Technology
DDC/MDS
006.3Computer science, information & general worksComputer science, knowledge & systemsSpecial computer methods (AI, barcoding, VR, web design, social media)Artificial Intelligence
LCC
QA76.76 .E95 .W33ScienceMathematicsMathematicsInstruments and machinesCalculating machinesElectronic computers. Computer scienceComputer software
BISAC

Statistics

Members
2
Popularity
6,044,829
Languages
English
Media
Paper, Ebook
ISBNs
3