Cognitive Reasoning

This book is of high topicality, due to the widespread use of informatics in hardly formalized disciplines such as sociology, life sciences etc., in which problem solving requires special tools of formal inference and plausible reasoning. The book describes the theory, methodology and algorithmization of a new approach, and some of its applications realized in the form of intelligent systems, e.g. for sociology, life sciences, etc.The main subject developed in the book is cognitive reasoning integrating three types of inference: context dependent induction, causal analogy and a new formalization of abduction. Many valued logics in particular with constructive generation of truth values provide efficient tools to handle uncertainty similarly to fuzzy logic. A method of automatic iterative hypothesis generation is proposed by the use of cognitive reasoning.

ISBN 354043058X   Volumes 1 ISBN13 9783540430582 (What's this?)   Weight (grammes) 830 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG   Published in Berlin Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K   Series title Cognitive Technologies Format Hardback   Height (mm) 235 Publication date 01 Dec 2007   Width (mm) 155 DEWEY 006.3   Spine width (mm) 28 DEWEY edition DC22   Academic level General Pages 310

1		Introduction		1
Pt. I		Conceptual theory of cognitive reasoning
2		Introductory explanation		25
3		Basic system of concepts		29
4		Constructing a model of a cognizing agent		41
5		Cognitive reasoning framework		51
Pt. II		Logic foundation
6		Introductory explanation		71
7		Propositional logic		73
8		First-order logics		93
Pt. III		Formal CR framework
9		Introductory explanation		127
10		Modification calculi		131
11		Derivability in modification calculi and L[superscript 1]		159
12		Semantics		195
13		Iterative representation of structure generators		209
14		Modification theories		237
15		Conformability		259
Pt. IV		Handling complex structures
16		Introductory explanation		277
17		Set-admitting structures		291
18		Set sorts in modification calculi		301
19		Perfect modification calculi (PMC)		313
Pt. V		JSM theories
20		Introductory explanation		343
21		Simple JSM theories		345
22		Advanced JSM theories		355
		More...

 Be the first to write a customer review