Andere Kunden interessierten sich auch für
![Logic Programming and Nonmonotonic Reasoning]( "Logic Programming and Nonmonotonic Reasoning")
Logic Programming and Nonmonotonic Reasoning40,99 €![Qualitative and Quantitative Practical Reasoning]( "Qualitative and Quantitative Practical Reasoning")
Qualitative and Quantitative Practical Reasoning77,99 €![Logics in Artificial Intelligence]( "Logics in Artificial Intelligence")
Logics in Artificial Intelligence40,99 €![Automated Deduction in Classical and Non-Classical Logics]( "Automated Deduction in Classical and Non-Classical Logics")
Automated Deduction in Classical and Non-Classical Logics39,99 €![Computer Science Logic]( "Computer Science Logic")
Computer Science Logic77,99 €![Constraints in Computational Logics]( "Constraints in Computational Logics")
Constraints in Computational Logics40,99 €![A Resolution Principle for a Logic with Restricted Quantifiers]( "A Resolution Principle for a Logic with Restricted Quantifiers")
A Resolution Principle for a Logic with Restricted Quantifiers40,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.