In order to provide scientists with a computational methodology and some computational tools to program their epistemic processes in scientific discovery, we are establishing a novel programming paradigm, named ‘Epis...In order to provide scientists with a computational methodology and some computational tools to program their epistemic processes in scientific discovery, we are establishing a novel programming 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. This paper presents our fundamental observations and assumptions on scientific discovery processes and their automation, research problems on modeling, automating, and programming epistemic processes, and an outline of our research project of Epistemic Programming.展开更多
This paper introduces a non-Horn rule WRM which is a weak form of rational monotony. We explore the effects of adding this non-Horn rule to the rules for the preferential inference. In this paper, a relation |~ is sai...This paper introduces a non-Horn rule WRM which is a weak form of rational monotony. We explore the effects of adding this non-Horn rule to the rules for the preferential inference. In this paper, a relation |~ is said to be P + WRM iff it is a preferential inference and satisfies the rule WRM. We establish the representation theorem for P + WRM, and compare the strength of WRM with some non-Horn rules appearing in literatures. Moreover, we explore the relation between P + WRM and conditional logic, and demonstrate that P + WRM is equivalent to 'flat' fragment of conditional logic CS4.2. Another contribution of this paper is to explore the relation between two special kinds of preferential models, i.e., PRC model and quasi-linear model. Main result reveals that the latter is a special form of the former.展开更多
基金Supported in part by The Ministry of EducationCulture+1 种基金SportsScience and Technology of Japan under Grant-in-Aid for Explor
文摘In order to provide scientists with a computational methodology and some computational tools to program their epistemic processes in scientific discovery, we are establishing a novel programming 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. This paper presents our fundamental observations and assumptions on scientific discovery processes and their automation, research problems on modeling, automating, and programming epistemic processes, and an outline of our research project of Epistemic Programming.
基金the National Natural Science Foundation of China (No.69875007) and the Science Foundation of Jiangsu Province (No.BK99119).
文摘This paper introduces a non-Horn rule WRM which is a weak form of rational monotony. We explore the effects of adding this non-Horn rule to the rules for the preferential inference. In this paper, a relation |~ is said to be P + WRM iff it is a preferential inference and satisfies the rule WRM. We establish the representation theorem for P + WRM, and compare the strength of WRM with some non-Horn rules appearing in literatures. Moreover, we explore the relation between P + WRM and conditional logic, and demonstrate that P + WRM is equivalent to 'flat' fragment of conditional logic CS4.2. Another contribution of this paper is to explore the relation between two special kinds of preferential models, i.e., PRC model and quasi-linear model. Main result reveals that the latter is a special form of the former.
