Cantitate/Preț
Produs

Vivid Logic

Autor Gerd Wagner
en Limba Engleză Paperback – 28 ian 1994
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.
Citește tot Restrânge

Preț: 31540 lei

Preț vechi: 39424 lei
-20%

Puncte Express: 473

Carte tipărită la comandă

Livrare economică 17-31 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

Specificații

ISBN-13: 9783540576044
ISBN-10: 3540576045
Pagini: 168
Ilustrații: XIII, 155 p.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.27 kg
Ediția:1994
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.