Name
Abstract | ||
|---|---|---|
The problem of automated theorem finding is one of 33 basic research problems in automated reasoning which was originally proposed by Wos. The problem is still an open problem until now. Specific knowledge is the power of any scientist, therefore, if a scientist in a particular area takes part in the process of automated theorem finding, then the scientist should certainly make some contributions for automated theorem finding in the target area. Epistemic programming was proposed as a novel program paradigm to program epistemic processes of scientific discovery, 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. Epistemic programming provides not only programming means but also interactive means for scientists to control cognitive processes. This paper proposes an epistemic programming approach for automated theorem finding following the epistemic programming paradigm and shows some examples to do automated theorem finding by using the approach. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1109/ICCI-CC.2015.7259365 | 2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC) |
Keywords | Field | DocType |
epistemic programming approach,automated theorem finding,automated reasoning,scientific discovery,primary epistemic operations,interactive means,cognitive processes | Automated reasoning,Scientific discovery,Open problem,Programming paradigm,Computer science,Artificial intelligence,Basic research,Epistemology,Cognition | Conference |
Citations | PageRank | References |
1 | 0.36 | 10 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Hongbiao Gao | 1 | 23 | 7.06 |
| Jingde Cheng | 2 | 542 | 85.38 |