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

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

کلیدواژه ها:

سیستم های هوشمند ، بررسی تمکین ، معناشناسی رسمی ، معماری ، فرآیند ایجاد