تتميز هذه الحلقة التي ترعاها عالم الرياضيات أوهاد آسور بمناقش الأساليب المنطقية لوكالة الذكاء الاصطناعى ، مع التركيز على قيود التعلم الآلي وتقديم لغة تاو لتطوير البرمجيات وتكنولوجيا blockchain. يجادل Asor أن التعلم الآلي لا يمكن أن يضمن الصواب. يتيح TAU المواصفات المنطقية لمتطلبات البرامج ، مما يؤدي تلقائيًا إلى إنشاء تطبيقات صحيحة بشكل واضح مع إمكانية إحداث ثورة في الأنظمة الموزعة. يسلط النقاش الضوء على توليف البرنامج ، وتحديثات البرامج ، والتطبيقات في التمويل والحوكمة. رسائل الراعي: *** Tufa AI Labs هو مختبر أبحاث جديد تمامًا في زيوريخ بدأه بنيامين كروزيير يركز على تفكير أسلوب O-Series و AGI. إنهم يستأجرون مهندسين رئيسيين ومهندسين ML. الأحداث في زيوريخ. Goto *** transcript + Research: Tau: Tau Language: Research: Github: Ohad Osur: TOC: 1.
[00:00:00] 1.1 القيود الأساسية للتعلم الآلي ونظرية التعلم PAC
[00:04:50] 1.2 التعلم التحويلي والثلاث لعنات التعلم الآلي
[00:08:57] 1.3 اللغة والواقع وتصميم نظام الذكاء الاصطناعى
[00:12:58] 1.4 توليف البرنامج ونهج التحقق الرسمي 2. بنية البرمجة المنطقية
[00:31:55] 2.1 متطلبات تطوير الذكاء الاصطناعي الآمن
[00:32:05] 2.2 بنية اللغة المرجعية الذاتي
[00:32:50] 2.3 الجبر المنطقي والمؤسسات المنطقية
[00:37:52] 2.4 SAT حلول وتحديات التعقيد
[00:44:30] 2.5 توليف ومواصفات البرنامج
[00:47:39] 2.6 التغلب على عدم احتمال Tarski مع الجبر المنطقي
[00:56:05] 2.7 تنفيذ لغة تاو والتحكم في المستخدم 3. حوكمة البرمجيات المستندة إلى blockchain
[01:09:10] 3.1 آليات التحكم في المستخدم وإدارة البرامج
[01:18:27] 3.2 بنية Blockchain Tau وقدرات برمجة الفوقية
[01:21:43] 3.3 حالة التطوير وتنفيذ الرمز المميز
[01:24:52] 3.4 نظام بناء الرأي ورسم الرأي
[01:35:29] 3.5 التطبيقات الأتمتة والتطبيقات المالية الحكام الأساسية (المزيد في التعليق المثبت):
[00:03:45] PAC (ربما صحيح تقريبًا) إطار التعلم ، ليزلي فاليانت
[00:06:10] مشكلة الرضا المنطقية (SAT) ، مختلفة
[00:13:55] المعرفة كإيمان حقيقي مبرر (JTB) ، Matthias Steup
[00:17:50] مفهوم فيتجنشتاين لحدود اللغة ، لودفيج فيتجنشتاين
[00:21:25] الجبر المنطقي ، أوهاد أوسور
[00:26:10] مشكلة التوقف ، آلان تورينج
[00:30:25] ألفريد تارسكي (1901-1983) ، ماريو غوميز تورنتي
[00:41:50] DPLL ، Martin Davis ، Hilary Putnam ، George Logemann ، Donald W. Loveland
[00:49:50] نظرية عدم التعرف على طرسكي (1936) ، ألفريد ترسكي
[00:51:45] الأسس الرياضية الجبر المنطقية ، ج. دونالد مونك
[01:02:35] نظرية مراجعة الاعتقاد و AGM ، Sven Ove Hansson
[01:05:35] القضاء الكمي في الجبر المنطقي الذري ، H. Jerome Keisler
[01:08:35] القضاء الكمي في مواصفات لغة تاو ، أوهاد أسور
[01:11:50] Tau Net Blockchain Platform ، Tau Foundation
[01:19:20] النهج المبتكر لـ Tau blockchain معالجة رمز blockchain نفسه كعقد ، أوهاد أسور |عرب اورج