فایل word تعارض در قراردادهاي الکترونيکي

    —         —    

ارتباط با ما     —     لیست پایان‌نامه‌ها

... دانلود ...

بخشی از متن فایل word تعارض در قراردادهاي الکترونيکي :


سال انتشار : 1394

نام کنفرانس یا همایش : سومين کنفرانس بين المللي پژوهشهاي کاربردي در مهندسي کامپيوتر و فن آوري اطلاعات

تعداد صفحات :22

چکیده مقاله:

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

لینک کمکی