Andere Kunden interessierten sich auch für
![Logic Programming and Nonmonotonic Reasoning]( "Logic Programming and Nonmonotonic Reasoning")
Logic Programming and Nonmonotonic Reasoning42,99 €![Logics in Artificial Intelligence]( "Logics in Artificial Intelligence")
Logics in Artificial Intelligence42,99 €![Logic Programming and Automated Reasoning]( "Logic Programming and Automated Reasoning")
Logic Programming and Automated Reasoning42,99 €![Computational Logic and Proof Theory]( "Computational Logic and Proof Theory")
Computational Logic and Proof Theory42,99 €![Logic Programming '89]( "Logic Programming '89")
Logic Programming '8942,99 €![Extensions of Logic Programming]( "Extensions of Logic Programming")
Extensions of Logic Programming42,99 €![Automated Deduction in Classical and Non-Classical Logics]( "Automated Deduction in Classical and Non-Classical Logics")
Automated Deduction in Classical and Non-Classical Logics42,99 €
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.