تعارض در قراردادهای الکترونیکی
سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 593
فایل این مقاله در 17 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CITCONF03_383
تاریخ نمایه سازی: 12 تیر 1395
چکیده مقاله:
در این مقاله در ابتدا تشخیص تعارضات بین هنجارها و استدلال با آنها را به عنون یکی از چالشهای پیش روی برخی زمینه ها در هوش مصنوعی مهندسی کامپیوت رو IT است معرفی می کنیم و سپس یک سمانتیک براساس منطقی تکلیلی پویا را شرح می دهیم که مبنای یک الگوریتم برای کشف تزاحمات در قراردادهای پیچیده وهمچنین مانتیورینگ قرار دادها می باشد
کلیدواژه ها:
نویسندگان
فاطمه سادات نبوی
استادیار دانشگاه قم دانشکده ی علوم پایه گروه ریاضی
آمنه رضوانی
دانشجوی کارشناسی ارشد دانشگاه قم دانشکده ی فنی مهندسی گروه IT
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :