{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:32:52Z","timestamp":1729632772101,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/icci-cc.2015.7259383","type":"proceedings-article","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T21:20:07Z","timestamp":1442265607000},"page":"175-183","source":"Crossref","is-referenced-by-count":0,"title":["Automated Knowledge Appreciation: A relevant reasoning approach to expand our knowledge and increase its value automatically"],"prefix":"10.1109","author":[{"given":"Jingde","family":"Cheng","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881868"},{"article-title":"Automated Reasoning: 33 Basic Research Problem","year":"1988","author":"wos","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LIX.236.433"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/978-3-540-72584-8_52","article-title":"EPLAS: An Epistemic Programming Language for All Scientists","volume":"4487","author":"takahashi","year":"2007","journal-title":"Lecture Notes in Computer Science"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05458-2_38"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55038-6_5"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1007\/978-3-540-74827-4_56","article-title":"FreeEnCal: A Forward Reasoning Engine with General-Purpose","volume":"4693","author":"cheng","year":"0","journal-title":"Knowledge-Based Intelligent Information and Engineering Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1126\/science.231.4741.957"},{"article-title":"Knowledge-Based Systems in Artificial Intelligence","year":"1981","author":"davis","key":"ref14"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctv2x8v8bq","article-title":"Topics in the Logic of Relevance","author":"diaz","year":"1981"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0460-1_1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLC.2011.6016780"},{"key":"ref18","article-title":"An Epistemic Programming Approach for Automated Theorem Findingor","author":"gao","year":"0","journal-title":"Proc IEEE Int Conf on Cognitive Informatics & Cognitive Computing"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.06.028"},{"key":"ref28","article-title":"Relevant Logic: A Philosophical Examination of Inference","author":"read","year":"1988","journal-title":"Basil Blackwell"},{"key":"ref4","first-page":"8","article-title":"A Relevant Logic Approach to Automated Theorem Finding","author":"cheng","year":"0","journal-title":"Proceedings of the Workshop on Automated Theorem Proving attached to International Symposium on Fifth Generation Computer Systems 1994"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15702-3_61"},{"key":"ref3","first-page":"3","article-title":"An Overview of Machine Learning","author":"carbonell","year":"1983","journal-title":"Machine Learning An Artificial Intelligence Approach"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34979-4_56"},{"key":"ref29","first-page":"25","article-title":"Why Should Machines Learn?","author":"simon","year":"1983"},{"key":"ref5","first-page":"105","article-title":"Entailment Calculus as the Logical Basis of Automated Theorem Finding in Scientific Discovery","author":"cheng","year":"1995","journal-title":"Systematic Methods of Scientific Discovery Papers from the 1995 Spring Symposium ” AAAI Technical Report SS-95-03"},{"key":"ref8","first-page":"136","article-title":"A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery","volume":"61","author":"cheng","year":"2000","journal-title":"Information Modeling and Knowledge Bases XI Frontiers in Artificial Intelligence and Applications"},{"key":"ref7","first-page":"2400","article-title":"Epistemic Programming — Toward a New Programming Paradigm for Scientific Discovery","volume":"3","author":"cheng","year":"0","journal-title":"Proceedings of the 1996 IEEE Annual International Conference on Systems Man and Cybernetics"},{"key":"ref2","article-title":"Entailment: The Logic of Relevance and Necessity","volume":"ii","author":"anderson","year":"1992"},{"key":"ref9","first-page":"310","article-title":"Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning","volume":"136","author":"cheng","year":"2006","journal-title":"Frontiers in Artificial Intelligence and Applications"},{"key":"ref1","article-title":"Entailment: The Logic of Relevance and Necessity","volume":"i","author":"anderson","year":"1975"},{"article-title":"The Engineering of Knowledge-Based Systems: Theory and the Practice","year":"1993","author":"gonzalez","key":"ref20"},{"article-title":"An Introduction to Knowledge Engineering","year":"2006","author":"kendal","key":"ref22"},{"article-title":"Building Expert Systems","year":"1983","author":"hayes-roth","key":"ref21"},{"key":"ref24","article-title":"WHAT IS ARTIFICIAL INTELLIGENCE?","author":"mccarthy","year":"2007","journal-title":"Revised"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511520006"},{"article-title":"Machine Learning","year":"1997","author":"mitchell","key":"ref26"},{"article-title":"A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence","year":"1955","author":"mccarthy","key":"ref25"}],"event":{"name":"2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","start":{"date-parts":[[2015,7,6]]},"location":"Beijing, China","end":{"date-parts":[[2015,7,8]]}},"container-title":["2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7235859\/7259359\/07259383.pdf?arnumber=7259383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T02:49:17Z","timestamp":1691981357000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7259383\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/icci-cc.2015.7259383","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}