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 t ...
DETAILS
Vivid Logic
Knowledge-Based Reasoning with Two Kinds of Negation
Wagner, Gerd
Kartoniert, xiii, 155 S.
XIII, 155 p.
Sprache: Englisch
279 mm
Springer, Berlin (1994)
Gewicht: 228 g
ISBN-13: 978-3-540-57604-4
Titelnr.: 09248241