Epistemic Programming System Based on Strong Relevant Logic

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

1. We proposed some significant fundamental observations and assumptions on scientific discovery processes and their automation. Based on the observations and assumptions, we proposed a strong relevant logic model of epistemic processes in scientific discovery.2. Based on our strong relevant logic model of epistemic processes in scientific discovery, we proposed a novel program paradigm, named 'Epistemic Programming,' which regards conditionals as the subject of computing, takes primary epistemic operations as basic operations of computing, and regards epistemic processes as the subject of programming.3. We pointed out why the classical mathematical logic and its various classical and non-classical conservative extensions are not suitable to automated theorem finding, and shows that strong relevant logic is a more hopeful candidate for the purpose.4. We developed a forward deduction system for general-purpose entailment calculus, named EnCal, which can serve as the forward reasoning engine in an epistemic programming system. We improved the efficiency of EnCal by parallel processing techniques.5. We proposed the notion of autonomous evolutionary information system and its architecture.6. We proposed the notion of anticipatory reasoning-reacting system and showed that temporal relevant logics, which are obtained by introducing temporal operators and related axiom schemata and inference rules into strong relevant logics, can be used to underlie anticipatory reasoning.7. We proposed a new approach to knowledge acquisition problem : automated knowledge acquisition by relevant reasoning based on strong relevant logic.