چارچوب كبوتر براي ايجاد سيستم‏هاي هوشمند حل تمكين

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