تاریخچه مختصری از رویکرد علم کامپیوتر نظری به محاسبات

جدول پیوندها

چکیده و 1 مقدمه

2 مروری کوتاه بر CtmR، یک ربات با مغز CTM

2.1 تعریف رسمی CtmR

2.2 توجه آگاهانه در CtmR

2.3 آگاهی آگاهانه و احساس آگاهی در CtmR

2.4 CtmR به عنوان چارچوبی برای هوش عمومی مصنوعی (AGI)

3 همسویی CtmR با سایر نظریه های آگاهی

4 پرداختن به سوالات کوین میچل از دیدگاه CtmR

5 خلاصه و نتیجه گیری

6 قدردانی

7 ضمیمه

7.1 تاریخچه مختصری از رویکرد نظری علوم کامپیوتر به محاسبات

7.2 رقابت احتمالی برای توجه آگاهانه و تأثیر تمایل بر آن

مراجع

7.1 تاریخچه مختصری از رویکرد نظری علوم کامپیوتر به محاسبات

رویکرد نظری علم کامپیوتر به محاسبات با آلن تورینگ در دهه 1930 شروع شد و بر این سوال تمرکز کرد که “چه چیزی قابل محاسبه (تصمیم پذیر) است و چه چیزی نیست؟ (تورینگ، 1937). تورینگ یک مدل رسمی ساده از محاسبات را تعریف کرد که اکنون آن را ماشین تورینگ (TM) می نامیم و تابعی را تعریف کرد که اگر و تنها در صورتی قابل محاسبه باشد که بتوان آن را به عنوان نقشه ورودی-خروجی یک TM تحقق بخشید. تعریف رسمی TM (برنامه) همچنین تعریف رسمی از مفهوم غیررسمی الگوریتم را ارائه می دهد.

تورینگ با استفاده از مدل خود خواص …