ABS Khosravi Rad(Persion)

هدف از اين پايان نامه مطالعه روشهاي جبري و حساب رشته اي و الگوريتمي بر پايه ي منطق خطي براي مدل سازي و توليد اثبات براي منطق شناختي ديناميك9 مي باشد     رويكرد جبري داراي امتيازات زير است :

معنا شناسي شي ء جبري شفاف با مجموعه اي كمينه از اوليه ها است كه از آن بيشتر اجزاي منطق شناختي ديناميك بر مي خيزد. به طور طبيعي (به وراي مجموعه هاي بولي گزاره ها) به وضعيت هاي شهودي و غير توزيعي گسترش مي يابد بنابراين اجازه ي تجهيز به سامانه هاي محاسباتي ساختي، نظريه اطلاعاتي و فيزيكي غير كلاسيك را مي دهد روي اعمال ساختار تعريف مي كند .

در رويكرد حساب رشته اي (كه حساب لامبك را گسترش مي دهد)، گزاره ها واعمال و عامل ها به عنوان منابعي در يك منطق شناختي ديناميك، حساس به منابع ظاهر مي شوند گذر به يك تئوري غير بولي يك بينش جديد نسبت به برنامه هاي شناختي مثل اعلام و تكذيب عمومي كرا ايجاد مي كند. تحليلي از پازل كودكان و حمله ي پنهاني، به عنوان محرك هايي براي گذر به يك تئوري غير بولي مي باشند .