کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6873763 1440704 2018 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Computation as social agency: What, how and who
ترجمه فارسی عنوان
محاسبه به عنوان آژانس اجتماعی: چه، چطور و چه کسی
کلمات کلیدی
محاسبه، منطق، معکوس کردن تولید
ترجمه چکیده
محاسبه امروز آژانس تعاملی در شبکه های اجتماعی است. در این مقاله بحث، ما به این روند از طریق لنز منطق نگاه می کنیم، شناسایی دو خط اصلی. یکی "معرفت شناسی" است، وظایف محاسباتی به صراحت به دانش و اعتقادات عاملان انجام شده آنها اشاره می کند. خط دیگر استفاده از بازی ها به عنوان یک مدل برای محاسبه است، که منجر به "تولید" وظایف کلاسیک شده و محاسبات توسط عواملی است که ممکن است دارای ترجیحات باشند. این فراهم می کند مواد تشکیل دهنده برای نظریه اساسی محاسبات است که از آنچه که محاسبه شده است به چگونگی محاسبه و توسط آنها، حرکت از خروجی به رفتار اجتماعی است. تاثیر واقعی این تغییر در یادگیری جایگزینی انسان نیست، بلکه در ایجاد جوامعی جدیدی است که افراد و دستگاهها در آن تعامل دارند. در حالی که ما یک حساب تورینگ مبتنی بر این دنیای غنی تر ارائه نمی دهیم، ما بحث می کنیم که چه چیزی از سه موضوع کلاسیک می شود: ماشین جهانی، پایان نامه کلیسا و تست تورینگ 1.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Computation today is interactive agency in social networks. In this discussion paper, we look at this trend through the lens of logic, identifying two main lines. One is 'epistemization', making computational tasks refer explicitly to knowledge or beliefs of the agents performing them. The other line is using games as a model for computation, leading to 'gamification' of classical tasks, and computing by agents that may have preferences. This provides ingredients for a fundamental theory of computation that shifts from what is computed to how it is computed and by whom, moving from output to social behavior. The true impact of this shift is not in learning how to replace humans, but in creating new societies where humans and machines interact. While we do not offer a Turing-style account of this richer world, we discuss what becomes of three classical themes: the Universal Machine, Church's Thesis and the Turing Test.1
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 261, Part 3, August 2018, Pages 519-535
نویسندگان
,