Problem posing interpretation of programming languages

In this paper, we describe a programming paradigm that changes the focus of programming from solution methods for certain application problems to the specification of the problems themselves, leaving the mapping from the problem specification to the computational resources that will provide or coordinate the solution to one or more separate (and possibly external) information files, knowledge bases, or other processes. The Problem Posing Interpretation is a declarative programming paradigm that uses Knowledge-Based Polymorphism to unify the interpretation of all programming languages. We describe examples from all major programming paradigms, to justify this claim.

[1]  Donald O. Walter,et al.  Some issues in model integration , 1990 .

[2]  Pattie Maes,et al.  Meta-Level Architectures and Reflection , 1988 .

[3]  Kim Marriott,et al.  Analyzing logic programs with dynamic scheduling , 1994, POPL '94.

[4]  Pascal Van Hentenryck,et al.  Combinations of abstract domains for logic programming , 1994, POPL '94.

[5]  Christopher Landauer,et al.  Wrapping Mathematical Tools , 1992 .

[6]  Christopher Landauer,et al.  Computational Embodiment: Constructing Autonomous Software Systems , 1999, Cybern. Syst..

[7]  Gerald J. Sussman,et al.  Structure and interpretation of computer programs , 1985, Proceedings of the IEEE.

[8]  K.L. Bellman,et al.  Wrappings for software development , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[9]  Pascal Van Hentenryck,et al.  Experimental evaluation of a generic abstract interpretation algorithm for Prolog , 1992, ICCL.

[10]  Christopher Landauer,et al.  A note on improving the capabilities of software agents , 1997, AGENTS '97.

[11]  Christopher Landauer,et al.  Integration Systems and Interaction Spaces , 1996, FroCoS.

[12]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[13]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[14]  Kirstie L. Bellman.  An approach to integrating and creating flexible software environments supporting the design of complex systems , 1991, 1991 Winter Simulation Conference Proceedings..

[15]  Christopher Landauer,et al.  Generic programming, partial evaluation, and a new programming paradigm , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[16]  R. Kent Dybvig.  The Scheme Programming Language, ANSI Scheme , 1996 .

[17]  Kirstie L. Bellman,et al.  The modeling issues inherent in testing and evaluating knowledge-based systems , 1990 .

[18]  Edmond Schonberg,et al.  Programming with Sets: An Introduction to SETL , 1986 .