Cognitive Reasoning: A Formal Approach
Book information
Description
Dealing with uncertainty, moving from ignorance to knowledge, is the focus of cognitive processes. Understanding these processes and modelling, designing, and building artificial cognitive systems have long been challenging research problems. This book describes the theory and methodology of a new, scientifically well-founded general approach, and its realization in the form of intelligent systems applicable in disciplines ranging from social sciences, such as cognitive science and sociology, through natural sciences, such as life sciences and chemistry, to applied sciences, such as medicine, education, and engineering. The main subject developed in the book is cognitive reasoning investigated at three levels of abstraction: conceptual, formal, and realizational. The authors offer a model of a cognizing agent for the conceptual theory of cognitive reasoning, and they also present a logically well-founded formal cognitive reasoning framework to handle the various plausible reasoning methods. They conclude with an object model of a cognitive engine. The book is suitable for researchers, scientists, and graduate students working in the areas of artificial intelligence, mathematical logic, and philosophy.
Similar books
Robust Intelligent Systems
2008 · PDF
Hybrid Metaheuristics: Powerful Tools for Optimization
2016 · PDF
Theory and Applications of Formal Argumentation: Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers
2015 · PDF
Constraint Solving and Planning with Picat
2015 · PDF
Algorithmic Learning Theory: 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings
2015 · PDF
Bridging Constraint Satisfaction and Boolean Satisfiability
2015 · PDF
Algorithmic Learning Theory: 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014. Proceedings
2014 · PDF
Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers
2014 · PDF