Multi-Level Formal Languages

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.