Vivid Logic
Knowledge-Based Reasoning with Two Kinds of Negation
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
58.84 €
Produktdetails
Produktinformationen zu „Vivid Logic “
Klappentext zu „Vivid Logic “
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.
Inhaltsverzeichnis zu „Vivid Logic “
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.
Bibliographische Angaben
- Autor: Gerd Wagner
- 1994, 1994, 155 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer
- ISBN-10: 3540576045
- ISBN-13: 9783540576044
- Erscheinungsdatum: 28.01.1994
Sprache:
Englisch
Kommentar zu "Vivid Logic"
0 Gebrauchte Artikel zu „Vivid Logic“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Vivid Logic".
Kommentar verfassen