محققان در پژوهشی تازه، روشی برای کدگذاری بیش از ۶۰۰ «قانون اثبات» در زبان برنامهنویسی Prolog معرفی کردهاند. این پروژه که با پلتفرم معروف ProB ادغام شده، به متخصصان و دانشجویان کمک میکند تا فرآیند اثباتهای منطقی در روشهای صوری (Formal Methods) مثل Event-B را به شکلی بصری و تعاملی مدیریت کنند.
این ابزار نه تنها برای آموزش عالی است، بلکه به دلیل ساختار فشرده و قابلیت نگهداری بالا، جایگزینی کارآمد برای پیادهسازیهای قدیمیتر مبتنی بر جاوا محسوب میشود. گامی رو به جلو برای رسیدن به اثباتگرهای خودکار سریعتر در دنیای هوش مصنوعی و منطق! 💡
نویسی
منبع: arXiv AI