بررسی مختصر تاریخچه نرم افزار های مبتنی بر زبان طبیعی بیانگر این مطلب است که جز با داشتن یک انگاره زبانی مناسب طراحی آنها امکانپذیر نخواهد بود. لذا به نظر می رسد برنامه کمینه گرای چامسکی (1995) بتواند این انگاره را به منظور تدوین برنامه ای که در بر دارنده روش تجزیه کلیه بخشهای زبانی باشد، فراهم آورد. هدف پژوهش حاضر بررسی انواع گروه های نحوی و جملات ساده خبری در زبان فارسی بر اساس برنامه کمینه گ...

در این پایان‏ نامه، ابتدا چند حمله به برخی پروتکل های اِحراز هویت بیان می شود. سپس، چند پروتکل با استفاده از منطق ban‎ تحلیل و نقد نِست بر این منطق بیان می شود. در ادامه، منطق autlogکه یک نسخه ی اصلاح شده از منطق ban‎ می باشد و درprolog پیاده سازی شده است ، معرفی می شود. انگیزه ی اصلاحات، تحلیل تعداد زیادی از پروتکل ها بوده است. یک پروتکل چالش-واکنش و نسخه ی دوگان آن، برای نشان دادن مزیت های منطق...

در این پایان نامه یک درست یاب خودکار پروتکل های رمزنگاری جدید بر اساس یک نمایش ساده از پروتکل به وسیله ی ‏قاعده های پرولوگ و یک الگوریتم کارآمد جدید که مشخص می کند، آیا یک حقیقت از این قاعده ها استنتاج می شود یا خیر، ارائه شده است. این درست یاب خاصیت محرمانگی در پروتکل ها را اثبات می کند. به کمک استفاده الگوریتم از اتحاد، از مساله ی انفجار فضای حالت جلوگیری می شود. مزیت دیگر این است که نیازی به...

حل مسئله تشخیص یک مسئله مهم در هوش مصنوعی است که معمولا" در یک محیط عدم قطعیت و مبهم اتفاق می افتد. در سالهای اخیر، نظریات متفاوت تشخیص که هر یک دارای اصول متفاوت برای حل مسئله تشخیص عیب هستند، در هوش مصنوعی مطرح شده اند. در این رساله چند نظریه که می توانند در حل مسئله تشخیص عیب به کار برده شوند مورد مطالعه قرار گرفته اند. از جمله: شبکه علیت ، شبکه دو قسمتی و شبکه بیزین. علاوه بر اینکه معایب و ...

روش های تحلیل پروتکل های رمزنگاری در بررسی دست یابی یک پروتکل بر اهداف مطلوب خود، اغلب بر نشت اطلاعات متمرکز شده اند. در حالی که، بیشتر پروتکل ها گاهی اوقات به دلایل کاملاً ظریف، سقوط به مراتب کمتری در دست یابی به اهداف خود دارند. در این پایان نامه یک مکانیزم برای استدلال درباره ی باور به عنوان یک روش سیستماتیک معرفی می شود، که طرزکار پروتکل های رمزنگاری را تحلیل می کند. مکانیزم ارائه شده ویژگی ...

در محیط تجاری ناپایدار و نا مطمئن امروزی مدیران مالی و حسابداری بسبب تغییرات عوامل محیطی داخلی و خارجی همواره باید تصمیمات مهمی را اتخاذ نمایند که این تصمیمات در تعیین میزان کیفیت عملکرد مالی بسیار تأثیر گذارند.لذا لزوم یک راه و مسیر جدید که دانش یا تخصص را در یک محیط کامپیوتری وارد کرده و جا دهد کاملاً احساس می شود. لذا در این پایان نامه میخواهیم با طراحی و پیاده سازی سیستم خبره جهت کمک به تصمی...

تکنولوژی سیستم های خبره به عنوان یکی از محورهای تحقیقاتی در بعضی از زمینه های علوم و تکنولوژی مانند سیستم مدیریت انرژی مطرح است و این موضوع از مقالات متعددی که امکان سنجی کاربرد آن را مورد بررسی قرار داده اند کاملا هویدا است. این سیستم ها در واقع برنامه های کامپیوتری هوشمندی هستند که قادرند کار ذهنی انسان را در زمینه های تصمیم گیری و مشاوره بر مبنای نتایج گرفته شده از دانش ذخیره شده در مورد موض...

امروزه سیستمهای هوشمند و خبره نقش مهمی را در جامعه بشری ایفا می نمایند. یکی از محورهای اصلی در طراحی چنین سیستم هایی ایجاد ارتباط هر چه بهتر انسان با این سیستم ها از طریق زبان طبیعی می باشد. مطالعات در پردازش زبان طبیعی ، کاربرد زبان طبیعی در ایجاد میانگیرهای(interface) ارتباطی برای سیستم های خبره را بالا برده است . اهم کاربردهای پردازش زبان طبیعی در ایجاد میانگیرها برای سیستم های خبره، سیستم ه...