چارچوب کبوتربرای ایجاد سیستم های هوشمند حل تمکین
Publish Year: 1395
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 759
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICIKT08_141
تاریخ نمایه سازی: 5 بهمن 1395
Abstract:
برای بررسی و تامین تطابق فرآیندهای تجاری با مجموعه ای از مقررات و قوانین، که آن را بررسی و حل تمکین می نامیم، می توان ازسیستم های خبره یا هوشمند بهره گرفت که آنها را سیستم های خبره و هوشمند حل تمکین می نامیم. در این مقاله، یک چارچوب رسمیمبتنی بر منطق برای ایجاد سیستم های هوشمند حل تمکین ارائه می گردد. این چارچوب شامل معناشناسی رسمی، معماری و فرآیند ایجادچنین سیستم هایی است. بدین ترتیب ابزار مدلسازی (یعنی معناشناسی رسمی)، قالب ایجاد (یعنی معماری) و راه حل ایجاد (یعنی فرآیندایجاد) برای چنین سیستم هایی در اختیار خواهد بود. از این رو انتظار می رود که به کاربستن این چارچوب، تا حد مطلوبی سبب تسهیلایجاد سیستم های هوشمند حل تمکین گردد. چارچوب کبوتر به همراه سه مولفه اصلی آن در این مقاله ارائه شده است.
Keywords:
Authors
محمدرضا بشارتی
دانشجوی دکتری مهندسی نرم افزار، دانشکده مهندسی کامپیوتر، دانشگاه صنعتی شریف
علیرضا فرهادی
دانشجوی دکتری مهندسی نرم افزار، پردیس بین الملل کیش، دانشگاه صنعتی شریف
محمد ایزدی
استادیار، دانشکده مهندسی کامپیوتر، دانشگاه صنعتی شریف ، تهران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :