آگاهی و عمل در منطق با وضعیت متغیر-مرحله ای

پایان نامه
چکیده

برای استدلال در مورد فرایندهای ناشی از عملکرد چندین مرکز منطق های مختلفی ایجاد شده استکه به صورت بندی گزاره ها در زبان های تخصص یافته و بررسی مدل های متناظر و صدق کذب احکام در این مدل ها می پردازد. همچنین نرم افزارهایی برای بررسی این موارد ایجاد شده است. منطق زمانی atl برای بیان گزاره هایی در مورد آن چه ائتلافی از بازیکن ها در یک همکاری استراتژیک می توانند بدان نایل شوند ارایه شده است. دراین پایان نامه تمامیت این منطق بررسی شده است. منطق atel گسترش منطق atl به وسیله اضافه کردن ابزار شناخت با تعبیر جهان های ممکن که در منطق های شناختی معمول است حاصل شده است. که دراین پایان نامه ضمن بررسی این گسترش به خواص مشترک بین منطق های عمل و شناخت پرداخته شده است. این منطق ها هر چند قدرت بیان برخی بین منطق های عمل و شناخت را دارنداما به علت ناتوانی آن ها در بیان برخی خواص عمومی و جذاب مربوط به عمل و شناخت گسترش یافتند. منطق گسترش یافته atel-a به منظور افزایش قدرت بیان پذیری نسبت به منطق atel ارایه شد که ضمن افزایش بیان پذیری خاصیت چک کردن مدل به طریقه نرم افزاری نیز برای آن حفظ می گردد. در این پایان نامه پس از معرفی منطق atl به علت افزایش بیان پذیری این منطق به منطق atl-a,atel گسترش می یابد و سلامت و تمامیت نیز برای منطق atl بررسی می شود. ?

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

مقایسه تأثیر وضعیت طاق باز و دمر بر وضعیت تنفسی نوزادان نارس مبتلا به سندرم دیسترس تنفسی حاد تحت درمان با پروتکل Insure

کچ ی هد پ ی ش مز ی هن ه و فد : ساسا د مردنس رد نامرد ي سفنت سرتس ي ظنت نادازون داح ي سکا لدابت م ي و نژ د ي سکا ي د هدوب نبرک تسا طسوت هک کبس اـه ي ناـمرد ي فلتخم ي هلمجزا لکتورپ INSURE ماجنا م ي دوش ا اذل . ي هعلاطم ن فدهاب اقم ي هس عضو ي ت اه ي ندب ي عضو رب رمد و زاب قاط ي سفنت ت ي هـب لاتـبم سراـن نادازون ردنس د م ي سفنت سرتس ي لکتورپ اب نامرد تحت داح INSURE ماجنا درگ ...

متن کامل

اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین

Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...

متن کامل

اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین

Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...

متن کامل

مقایسه پولترو یک مرحله ای با چند مرحله ای در کودکان مبتلا به بیماری هیرشپرونگ

سابقه و هدف: هیرشپرونگ عدم وجود گانگلیون های عصبی در دیواره روده است که باعث عدم دفع مدفوع می شود. از سال ها پیش جراحان بعد از تشخیص بیماری، آنرا با متدهای مختلف که طی چند مرحله بود جراحی می کردند. از سال 1980 جراحی یک مرحله ای پولترو رواج یافت که نتایج درخشانی را داشته است. مواد و روش ها: در این مطالعه که از سال 1371 لغایت 1376 در مرکز کودکان مفید انجام گرفته است، بیماران مبتلا به بیماری هیرشپ...

متن کامل

Degenerate Four Wave Mixing in Photonic Crystal Fibers

In this study, Four Wave Mixing (FWM) characteristics in photonic crystal fibers are investigated. The effect of channel spacing, phase mismatching, and fiber length on FWM efficiency have been studied. The variation of idler frequency which obtained by this technique with pumping and signal wavelengths has been discussed. The effect of fiber dispersion has been taken into account; we obtain th...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده علوم ریاضی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023