Some portions of a paper Susan Awbrey and I presented at a Society for Applied Learning Technology conference in 1990 may be relevant at this juncture.
How do we, and how should we, integrate the empirical and rational sources of information that make up our putative knowledge of the actual world we observe and the possible worlds we contemplate? That is the question we sought to address in this line of research.
Those are hardly new questions, of course, but it’s my firm opinion to this day that Peirce set out new ideas, and intrinsically integral ideas, if you will, when it comes to answering them.
One way to explore the problem domain is to write computer programs that tackle the task of integrating learning and reasoning faculties, starting with simple but non-trivial functions of those types, and to see what one can see from the trials of doing that.
Here is our overture:
If computer programs were smarter, they would, like people, recognize sequences of events, form models of their environment, and formulate rules based on experience. This paper describes the development of a program designed to address the difficult computational problems involved in integrating the inductive and deductive reasoning necessary to perform such tasks. Theme One is a prototype program composed of Index, a learning algorithm for sequential data, and Study, an algorithm for building logical models. The project goal is an interactive research tool that assists students and investigators in the exploration of qualitative data using artificial intelligence.
To be continued …