Practical implementation of EPLAS: An Epistemic Programming Language for all scientists

Epistemic Programming was proposed as a new programming paradigm for scientists to program their epistemic processes in scientific discovery. To provide such epistemic programming environment, the concept and some fundamental ideas of EPLAS, an Epistemic Programming Language for All Scientists, were proposed. As a programming language, EPLAS must have a practical implementation. However there does not exist such implementation. This paper describes the requirements of both EPLAS language specification and its implementation. Based on those requirements, the paper presents an interpreter of EPLAS which is the first epistemic programming environment. Our implementation can be used to program the epistemic processes of some scientific thinking methods.

[1]  Jingde Cheng,et al.  A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery , 1998, EJC.

[2]  Jingde Cheng.  Epistemic Programming : What Is It and Why Study It? , 1999 .

[3]  Jingde Cheng,et al.  FreeEnCal: A Forward Reasoning Engine with General-Purpose , 2007, KES.

[4]  Jing-de Cheng.  Programming with conditionals: Epistemic Programming for scientific discovery , 2009, Wuhan University Journal of Natural Sciences.

[5]  C. Peirce,et al.  Collected Papers of Charles Sanders Peirce , 1936, Nature.

[6]  Jingde Cheng.  A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract) , 1999, PAKDD.

[7]  Laurie J. Hendren,et al.  SableCC, an object-oriented compiler framework , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).

[8]  Jingde Cheng,et al.  Epistemic programming-toward a new programming paradigm for scientific discovery , 1996, 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929).

[9]  Jingde Cheng,et al.  EPLAS: An Epistemic Programming Language for All Scientists , 2007, International Conference on Computational Science.

[10]  Jingde Cheng,et al.  A General-Purpose Forward Deduction Engine for Modal Logics , 2005, KES.

[11]  Peter A. Flach,et al.  Abduction and induction: essays on their relation and integration , 2000 .

[12]  Jingde Cheng.  EnCal: an automated forward deduction system for general-purpose entailment calculus , 1996, IFIP World Conference on IT Tools.

[13]  Peter A. Flach,et al.  Abductive and inductive reasoning: background and issues , 2000 .

[14]  Peter A. Flach,et al.  Abduction and Induction , 2000 .