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

سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 593

فایل این مقاله در 17 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

CITCONF03_383

تاریخ نمایه سازی: 12 تیر 1395

چکیده مقاله:

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

نویسندگان

فاطمه سادات نبوی

استادیار دانشگاه قم دانشکده ی علوم پایه گروه ریاضی

آمنه رضوانی

دانشجوی کارشناسی ارشد دانشگاه قم دانشکده ی فنی مهندسی گروه IT

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • نباتی فرشته، (1381)، منطق تکلیف، رساله ی دکتری، دانشگاه تربیت ...
  • حبیبی مظاهری مسعود(مترجم)، برمن هارله (نویسنده)(376 1)، «استدلال حقوقی»، مجله ...
  • ارشادمنش سار، (1388)، «کاربرد منطق در دستگاه های حقوقی»، رساله ...
  • مینایی بیدگلی، (1376)، بهروز پایگاه اطلاعاتی خبره ی علم رجال، ...
  • نبوی فاطمه سادات، (1388)، «منطق تکلیف با رویکرد اصول فقه»، ...
  • .Giannikis, Daskalopulu: (2010) , "Normative conflict in electronic contract". ...
  • Stephen Fenech. (2008), "Conflict Analysis of Deontic Contracts", Master's thesis, ...
  • Hage Jaap, (2003), "Law and defeasibility", Artificial Inteligence and law, ...
  • Royakkers, L.M.M, (1 998), "Extending Deontic Logic formalization of Legal ...
  • Cristian Prisacariu , Gerardo Schneider. (2012) , "A Dynamic Deontic ...
  • Goble , L. (2005) , A Logic for deontic dilemmas, ...
  • نمایش کامل مراجع