A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract)

Authors:
Jingde Cheng
Affiliations:
-
Venue:
PAKDD '99 Proceedings of the Third Pacific-Asia Conference on Methodologies for Knowledge Discovery and Data Mining
Year:
1999

Citing 1
Cited 2

Belief revision

Handbook of logic in artificial intelligence and logic programming (Vol. 4)

A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
Autonomous and continuous evolution of information systems

KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper presents some significant fundamental observations and/or assumptions on scientific discovery processes and their automation, shows why classical mathematical logic, its various classical conservative extensions, and traditional (weak) relevant logics cannot satisfactorily underlie epistemic processes in scientific discovery, and presents a strong relevant logic model of epistemic processes in scientific discovery.