期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Programming with Conditionals: Epistemic Programming for Scientific Discovery
1
作者 Jing\|de Cheng Department of Information and Computer Sciences, Saitama University Urawa, 338 8570, Japan 《Wuhan University Journal of Natural Sciences》 CAS 2001年第Z1期326-332,共7页
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. 展开更多
关键词 scientific discovery conditional primary epistemic operations strong relevant logic epistemic programs temporal relevant logic
下载PDF
Autonomous Evolutionary Information Systems
2
作者 Jing\|de Cheng Department of Information and Computer Sciences, Saitama University,Urawa, Saitama 338 8570, Japan 《Wuhan University Journal of Natural Sciences》 CAS 2001年第Z1期333-339,共7页
Traditional information systems are passive, i.e., data or knowledge is created, retrieved, modified, updated, and deleted only in response to operations issued by users or application programs, and the systems only c... Traditional information systems are passive, i.e., data or knowledge is created, retrieved, modified, updated, and deleted only in response to operations issued by users or application programs, and the systems only can execute queries or transactions explicitly submitted by users or application programs but have no ability to do something actively by themselves. Unlike a traditional information system serving just as a storehouse of data or knowledge and working passively according to queries or transactions explicitly issued by users and application programs, an autonomous evolutionary information system serves as an autonomous and evolutionary partner of its users that discovers new knowledge from its database or knowledge base autonomously, cooperates with its users in solving problems actively by providing the users with advices, and has a certain mechanism to improve its own state of “knowing” and ability of “working”. This paper seminally defines what is an autonomous evolutionary information system, explain why autonomous evolutionary information systems are needed, and presents some new issues, fundamental considerations, and research directions in design and development of autonomous evolutionary information systems. 展开更多
关键词 autonomous evolution knowledge discovery reactive systems self measurement principle entailment calculus temporal relevant logic
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部