Interaction as a Framework for Modeling

The irreducibility of interactive to algorithmic computing requires fundamental questions concerning models of computation to be reexamined. This paper reviews single-stream and multiple-stream interaction machines, extensions of set theory and algebra for models of sequential interaction, and interactive extensions of the Turing test. It motivates the use of interactive models as a basis for applications to computer architecture, software engineering, and artificial intelligence.

[1]  Gerhard Goos,et al.  Computer Science Today: Recent Trends and Developments , 1995 .

[2]  Michael Barr,et al.  The Emperor's New Mind , 1989 .

[3]  Renatus Ziegler,et al.  Finsler Set Theory: Platonism and Circularity , 1996 .

[4]  David Maier,et al.  Readings in Object-Oriented Database Systems , 1989 .

[5]  Peter Wegner.  Towards Empirical Computer Science , 1999 .

[6]  Bernard Meltzer,et al.  Brains and Programs , 1977, International Computing Symposium.

[7]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[8]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[9]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[10]  Stanley B. Zdonik.  Object-oriented data model , 1990 .

[11]  John R. Searle,et al.  Minds, brains, and programs , 1980, Behavioral and Brain Sciences.

[12]  Peter Wegner,et al.  Mathematical Models of Interactive Computing , 1999 .

[13]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[14]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[15]  James Ross,et al.  Information modeling - an object-oriented approach , 1994, Prentice Hall object-oriented series.

[16]  David Booth,et al.  Finsler set theory : platonism and circularity : translation of Paul Finsler's papers on set theory with introductory comments , 1996 .

[17]  Robin Milner,et al.  Operational and Algebraic Semantics of Concurrent Processes , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[18]  Alan M. Turing,et al.  Systems of Logic Based on Ordinals , 2012, Alan Turing's Systems of Logic.

[19]  Peter Wegner,et al.  Interactive , 2021, Encyclopedia of the UN Sustainable Development Goals.

[20]  Peter Wegner,et al.  Why interaction is more powerful than algorithms , 1997, CACM.

[21]  J. Davenport.  Editor , 1960 .

[22]  Peter Wegner,et al.  Tradeoffs between reasoning and modeling , 1993 .

[23]  Gul Agha,et al.  Research directions in concurrent object-oriented programming , 1993 .

[24]  Vaughan R. Pratt,et al.  Chu Spaces and Their Interpretation as Concurrent Objects , 1995, Computer Science Today.

[25]  D. Harrison,et al.  Vicious Circles , 1995 .

[26]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .