دانلود با لینک مستقیم و پر سرعت .
لینک دانلود " MIMI file " پایین همین صفحه
تعداد صفحات : " 30 "
فرمت فایل : " word "
فهرست مطالب :
توانایی اجتماعی ( Social abitity)
شاخص های تابعی
4- پیاده سازی
2-4 اجرای ویژگی های برنامه به طور مستقیم
5- تایید (verifcation)
1-5 :روش های بدیهی
معارفه در زبان چند عاملی
عصر پیشرفت نرم افزاری
پایه های نماینده علمی مختلف
AI چیست
استفاده از مدل ها (طرح ها ) برای کنترل
استفاده از راهنمایی های لازم در زمینة مدل ها و زبان های برنامه نویسی
طبقه بندی و تغییر دادن
ایجاد تغییرات در برنامه ها و پیام های مربوطه
پیامهای محیطی
بخشی از فایل :
برنامه های هوشمند مشتمل بر 99% علم کامپیوتری و 1% هوش مصنوعی است . هوش مصنوعی با بیش از 40 سال سابقه مورد بحث و انتقادات زیادی قرار گرفته است. شاید بتوان گفت که مشکلترین و سخت ترین نوع بحث این باشد که هوش مصنوعی نتوانسته است به وعده های خود عمل .
عموما یک برنامه هوش به عنوان یک سیستم مستقل تصمیم گیرنده محسوب می شود که در محیط آن عمل قرار میگیرد.
منظور از سیستم عامل این است که از یک عامل به صورت انتزاعی استفاده شده است .
و سیستم های عامل ممکن است شامل یک کاربر باشد. منظور از سیستم عامل سیستمی است که ، شامل موارد زیر باشد:
استقلال داخلی (AUTONAMY) :
سیستم های عامل برخی از برنامه ها را خلاصه میکنند و درباره چگونگی وضعیت بدون دخالت بشر یا سایرین تصمیم گیری می کنند.
فعالیت (Reactivity) :
عامل ها در یک محیط واقع شده اند و قادر هستند به تغییراتی که در آن رخ می دهد پاسخ دهند.
فعالیت حرفه ای : ( Pro- activeness)
سیستم های عامل به آسانی در پاسخ به محیطشان عکس العمل نشان نمی دهند . آنها قادر هستند که با حرکت اولیه رفتار هدف گرایی را ارایه دهند.
توانایی اجتماعی : ( Social abitity)
سیستم های عامل با دیگر عامل ها ( برنامه و شاید انسانها) از طریق نوع زبان ارتباطی ،در ارتباط هستند و به عنوان نمونه آنها قادر هستند تا در فعالیت های اجتماعی (مثل حل مسئله یا مذاکره) جهت رسیدن به اهدافشان به کارگرفته نشوند. همچنین از سیستم انتظار داریم که زبانهای برنامه نویسی سطح پایین را به صورت کورکورانه اجرا کند. بدین ترتیب هنگام وقوع شرایط غیر قابل پیش بینی از سیستم انتظار داریم که متعاقبا و سر موقع به وضعیت جدید پاسخ مناسبی دهد.
1-2 ) سیستم های عامل به عنوان سیتم های منطقی یک مشکل مشهود این است که چگونه به شرح سیستم هایی که توانایی رفتار منطقی دارند بپردازیم . یکی از موفقیت آمیز ترین روش های برای رفع این مشکل در نظر گرفتن سیستم های عامل به عنوان سیستم های ارادی است که عملکردشان با اصطلاحات رفتاری از قبیل عقیده میل و قصد می تواند پیش بینی و توضیح داده شود . این حالت ارادی از آنجائیکه رفتار یک سیستم پیچیده از طریق صفات حالت از قبیل اعتقاد و امیال درک می شود را در ابراز انتزاعی می گویند . حال بیشتر علم کامپیوتر به تحقیق درباره مکانیزم های انتزاعی گرایش دارد تا آنجائیکه به برنامه نویسان اجازه می دهد تا با آرامش کامل به کنترل پیچیدگیها بپردازد .
AOP می تواند به عنوان یک برنامه نویسی بعد از اخبار در نظر گرفته شود . در برنامه نویسی توابع گفتن این که یک سیستم چه باید انجام دهد مشمول این است که با نوشتن یک الگوریتم دقیق دقیقا گفته شود چگونه باید این کار را انجام دهد. در AOP ، مثل برنامه ریزی اخباری عقیده بر این است که اهداف را بیان کرده و اجازه دهیم تا مکانیزم کنترل داخلی چگونگی کسب نتیجه را محاسبه کند. در این مورد بهر حال مکانیزم کنترل مدل هایی از برنامه های منطقی را پیاده سازی می کند .
خوشبختانه این مدل کامپیوتری با فهم اولیه عقاید و امیال ما مطابقت دارد .
فرایند توسعه نرم افزار با پرداختن به الزامات مشتری شروع می شود . وقتی این فرایندکامل است که عملکرد سیستم جدید تنظیم شود . سیستم های عامل اطلاعاتی درباره محیطشان دارند. این ما را به تقاضا راهنمایی می کند که چارچوب ویژگی های سیستم عامل بایدقادر به ارائه وضعیت محیط خودش و اطلاعاتی که سیستم عامل درباره آن محیط دارد باشد . ارزش ارائه نظر درباره این که چه خواصی ممکن است دارای این اطلاعات باشد وجود دارد . اولا اطلاعاتی که یک سیتم عامل دارد ممکن است اشتباه باشد . سنسورهای سیستم عامل ممکن است دارای نقص باشد . اطلاعات ممکن است به روز نباشد یا سیستم عامل ممکن است عمدا یا تصادفا اطلاعات غلطی را ارئه داده باشد . ثانیا اطلاعاتی را که یک سیستم عامل دارد مستقیما در دسترس دیگر سیستم عامل ها نباشد . سیستم عامل ها اطلاعاتی را به اشتراک نگذارند و به ساختارهای اطلاعاتی شخص دیگری دسترسی نداشته باشند.ثالثا محیط ممکن است شامل سیستم عامل های دیگر باشد که هر کدام اطلاعات مربوط بخود را از محیط دارد. بدین ترتیب سیستم عامل ممکن است اطلاعاتی درباره دیگر عوامل باشدکه هر کدام اطلاعات مربوط به خود از محیط دارند .
سیستم های نرم افزاری به 2 نوع تقسیم می شوند : فعالیتی و تابعی ( کنشی و واکنشی )
یک سیستم تابعی سیستمی است که ورودیها را گرفته بعداری محاسبات روی ورودیها انجام می دهد و در آخر خروجیها را ارائه می کند.
این قبیل سیستم ها می توانند به صورت تابع I O :F Ic که ورودی و o خروجی است نشان داده شوند. مثال کلاسیک این نوع سیستم کامپایلر یا مترجم برنامه می باشد.
به طور کلی برنامه های تابعی برای بیان طراحی وپیاده سازی از سیستم های واکنشی راکتیو (Reactive) ساده تر هستند.
از آنجائیکه سیستم های تابعی پایان می یابند استفاده از قالب های پیش شرط و پس شرط برای استدلال آنها ممکن می باشد. بر عکس سیستم راکتیو خاتمه نمی یابد اما با محیط پیرامونش بر هم واکنش مداوم دارد. بنابر این استفاده از قالب های پس شرط و پیش شرط از قبیل منطق Hoare برای استدلال آنها ممکن نمی باشد در عوض سیستم های Reantive باید بر اساس رفتار مداوم آنها مشخص و تعیین شوند.
شاخص سوم های سیستم های عاملی که به بحث درباره آن پرداختیم قابلیت توانایی اجتماعی می باشد که به منظور ما از آن این می باشد که سیستم های عامل قادر به ارائه رفتار هدف گرایی هستند در آخر سیستم های عامل باید قادر به عمل باشند. به طور نمونه سیستم های کنترل کامل روی محیطشان را ندارند اما عموما قادر به تاثیر گذاری بر روی محیطشان از طریق انجام یک سری اعمال هستند و ممکن است کنترل های مطمئنی روی قسمت هایی از آن داشته باشند . خلاصه این که بسته های نرم افزاری سیستم عامل باید قادر به کنترل حداقل شاخص هایی زیر از یک سیستم عامل باشد .
- عقایدی که برنامه هایی دارند.
- سیستم های عاملی که بر هم کنش مداومی با محیطشان دارند.
- اهدافی را که سعی بر اکتساب آنها دارند.
- اقداماتی که سیستم های عامل انجام می دهند واثرات این سیستم های عامل دارند.
یک مدل منطقی موقت قادر به تعیین این شاخص های سیستم می باشد . یک بسته نرم افزاری سیستم عامل با مدل موقتی شامل موارد زیر می باشد :
- حرف ربط منطقی برای نشان دادن عقاید سیستم عامل
- حروف ربط منطقی برای نشان دادن پویایی سیستم و رفتار مداوم آن
- حروف ربط منطقی برای نشان دادن کنش ها ( مثل امیال ، مقاصد و اجبارها )
- تعدادی دستگاه برای نشان دادن عملیاتی که سیستم های عامل انجام می دهند.
- شاخص های اطلاعاتی : دانش ،عقیده ،نقطه نظرات اطلاعاتی مشترک
- شاخص های موقتی : خطی در مقابل شاخه ای متراکم در مقابل جدا از هم ، مرجع مستقیم در مقابل اپراتورهای جدی نقطه ای در مقابل فاصله ای .
