منطق ارسطویی

خصوصیات مجموعه های علمی به دو دسته ویژگی های صحت (سخت) و کمال (نرم) تقسیم می شود. معیارهای نرم بر اموری مانند روانی  و خوش خوانی متمرکز هستند. این پژوهش مهم ترین مؤلفه های معیار نرم را هفت ویژگی سادگی و وضوح، تناسب و توازن، تناظر، دوسویگی، تراگذری، تقارن و خودساختگری می داند و ضمن تبیین فلسفی آنها بر مبانی حکمت متعالیه، برای دستیابی به تبیین بیشترِ این مؤلفه ها، این شاخص در جداول نسب مفاهیم و جداول محصورات متقابل و متصادق منطق؛ ابتدا استخراج، با مؤلفه های معیار نرم ارزیابی و ضمن تشخیص برخی ضعف ها در این جداول، پیشنهادهایی جهت رفع آنها ارایه، نتایج مثبت پیاده سازی این شاخص در آنها ارزیابی می شود. نتیجه این امور به طور معناداری مثبت بوده و پیشنهادات بر کارایی و زیبایی جداول اصلی و نیز پیشبرد این پروژه افزود. کلیه مراحل به روش توصیفی-منطقی بوده و نتیجه آن است که با انجام اصلاحات مزبور بر کارآمدی و پرداخت این جدول افزوده می شود.

اختلاف و نزاع در ماهیت و چیستی دلیلْ اعتبار و جایگاه نتایج و داده های تولیدشده توسط هوش مصنوعی در فرایند داوری را می تواند مورد مناقشه قرار دهد. توسعه روزافزون کاربرد هوش مصنوعی در عرصه های مختلف، از جمله داوری و اهمیت مستند و مستدل بودن آرا، فرضیه امکان سنجی استناد به داده های هوشمند را مورد توجه نگارندگان قرار داده است. نگارش حاضر با رویکرد توصیفی  تحلیلی نتیجه گیری می کند که نتایج حاصل از ماشین در موارد خاص می تواند در جایگاه نظریه کارشناسی، شهادت، نظریه مشورتی، اماره قضایی یا قانونی قرار بگیرد. اگرچه امکان استناد به خروجی هوش مصنوعی در قوانین حاضر تصریح نشده، از اهداف کلی قوانین داوری برداشت می شود که ارزیابی آزاد ادله به منظور کشف حقیقت از اهمیت والایی برخوردار است. هوش مصنوعی با قابلیت تفکر محاسباتی، پیروی از منطق ریاضی، و قواعد ازپیش تعیین شده می تواند در کشف حقیقت، که از اهداف غایی قانون گذار است، مؤثر باشد.