Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Cartographie --- Systemes experts (informatique) --- Reconnaissance optique des caracteres --- Automatisation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Software engineering --- Expert systems (Computer science) --- Periodicals. --- Génie logiciel --- Systèmes experts (Informatique) --- Software engineering. --- Computer software engineering --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Engineering --- Artificial intelligence --- Computer systems --- Soft computing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Knowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a practically relevant body of cognitive faculties employed by humans and capitalizes on its technical strength to extend human knowledge representation and reasoning capabilities. In this monograph, the author develops formalisms for his own notion of a vivid knowledge representation and reasoning system, characterized by the presence of two kinds of negation (weak and strong) and the requirements of restricted reflexivity, constructivity, and non-explosiveness. The book is based on work carried out within an interdisciplinary research project at the Free University of Berlin.

Expert systems (Computer science) --- Expertsystemen (Informatica) --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Systèmes experts (Informatique) --- Logic, Symbolic and mathematical. --- Expert systems (Computer science). --- Systèmes experts (Informatique) --- Logique symbolique et mathématique --- Artificial intelligence. --- Computer science. --- Artificial Intelligence. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism