تحسيب تفاعلي

في علم الحاسوب، التحسيب التفاعلي (الإنكليزية: Interactive Computation) هو عبارة عن نموذج رياضي للتحسيب، يتضمن الاتصال مع العالم الخارجي أثناء عملية التحسيب، على النقيض من الفهم التقليدي للتحسيب الذي يفترض وجود واجهة بسيطة بين العميل الحوسبي وبيئته، والتي تتضمن طرح سؤال (دخل) وتوليد جواب (خرج).

إن فرضية تشرتش-تيورنگ تحاول تعريف التحسيب والحسوبية بالاعتماد على آلة تورنگ، ولكن نموذج تورنگ تقتصر إجاباته على السؤال حول ماهية حسوبية التوابع، وبما أن معظم المهام التفاعلية لا يمكن اختزالها إلى توابع، فإن نموذج تورنگ يفشل في التقاط فهمنا البدهي الفطري للحسوبية والتحسيب. وعلى الرغم من أن آلان تورنگ نفسه قد أقر بهذا، إلا أن مجتمع علم الحاسوب النظري لم يدرك إلا مؤخراً ضرورية تعريف نماذج رياضية من التحسيب التفاعلي.

Among the currently studied mathematical models of computation that attempt to capture interaction are Japaridze's hard- and easy-play machines elaborated within the framework of computability logic, Goldin's persistent Turing machines, and Gurevich's abstract state machines.  Peter Wegner has additionally done a great deal of work on this area of computer science.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

انظر أيضاً

مراجع وروابط خارجية

Interactive Computation: The New Paradigm ISBN 354034666X. Edited by D.Goldin, S.Smolka and P.Wegner. Springer, 2006.
Abstract State Machines
D.Q.Goldin, Persistent Turing Machines as a model of interactive computation. Lecture Notes in Computer Science 1762, pp. 116-135.
D. Goldin, S. Smolka, P. Attie, E. Sonderegger, Turing Machines, Transition Systems, and Interaction'. J. Information and Computation 194:2 (2004), pp. 101-128
P.Wegner, Interactive foundations of computing. Theoretical Computer Science 192 (1998), pp. 315-351.

الكلمات الدالة:

آلان تورنگ