Logic of Knowledge Discovery

点击翻译按钮获取中文摘要

In our project project, we studied foundations of the logic of knowledge discovery and computation models of knowledge discovery.In our study of foundations of the logic of knowledge discovery, we aimed to give such foundations from the two sides of logic in philosophy and mathematical logic, and we studied the 'context of discovery', in particular, discoveries which cannot be reduced to logical algorithms. Furthermore, we stuidied deductive aspects of logic of discovery from the standpoint of mathematcial and formal loigc. Also, we analyzed the process of acquiring knolwedge and concepts in disccovery from the philosophical standpoint, and we formalized it base on a theory of belief revsion. Moreover, we studied the relationship between the introduction of ideal concepts in mathematics and discovery in mathematcis, and we gave foudations for the study of discovery of new concepts.In our study on computaion models of konwledge discovery, we studied computaion models corresponding to logic of knowledge discovery, and implemented several systems which realize appropriate computation models. In pariticular, we obtained results in (I) a computation model for solving problems in distributed compatation space, (ii) discovery of algorithms by model checking method and (iii) algorithm discovery porcedure from proofs in classical logic.