කම්පියුටරයක් මත තර්ක පරීක්ෂණය කරන ක්රමය දැන් සරලව, දෘශ්යම ලෙස පෙන්විය හැකි නව මෙවලමක් එළිදැක්වුණා. Incredible Proof Machine (2016) කියන මෙය, ප්රෝපොසිෂනල් සහ ප්රෙඩිකේට් ලොජික් වැනි විවිධ තර්ක පද්ධති වල පරීක්ෂණයක් සකස් කර, ඒක හරියට සම්පූර්ණ වූ විට තනි තලයක් හරිත වර්ණයට පත්වෙයි.
මෙම වෙබ්-ඇප් එකේ, ඔබට බ්ලොක් එකක් එකතු කර, ඒවා සම්බන්ධ කර, අවසන් ප්රතිඵලය හරිත වර්ණයට පත් වුනොත් ඔබගේ පරීක්ෂණය සම්පූර්ණයි කියලා තේරුම් ගත හැක. බ්ලොක් එකක් එකතු කිරීම, සම්බන්ධ කිරීම, හෝ මකා දැමීම සඳහා මවුස් සහ කීබෝර්ඩ් කෙටි මාර්ග (CTRL+Z, CTRL+Y, SHIFT+MOUSE1) භාවිතා කළ හැකිය. පරීක්ෂණය හරිත නොවූ අවස්ථා සඳහා, අසම්පූර්ණ සම්බන්ධතා, අසම්භව සම්බන්ධතා, සයිකලස් (cycles) වැනි වැරදි වර්ණයෙන් (රතු) සලකුණු කරයි.
මෙම මෙවලම නිර්මාණය වූයේ, Isabelle වැනි සංකීර්ණ theorem prover වල සින්ටැක්ස් ඉගෙන ගැනීමට පෙර, තර්ක පරීක්ෂණයේ රසය සහ අභ්යාසය අත්විඳීමට උදව් කිරීමයි. ඉන්පසු, ඔබට ✎P (annotation) බ්ලොක් එකක් එක් කර, අසපස්සෙ වැරදි පෙන්වීම් නිවැරදි කළ හැකිය. කෙටි සංකේත (∧, ∨, →, ¬, ∀, ∃) වෙනුවට &, |, ->, ^, ~, !, ? වැනි ASCII සංකේත භාවිතා කළ හැක.
ශ්රී ලංකාවට ඇති වැදගත්කම
ශ්රී ලංකාවේ විශ්වවිද්යාල සිසුන්, තොරතුරු තාක්ෂණ උපාධිධාරීන්, සහ කුඩා තාක්ෂණ ව්යාපාරිකයින්ට මෙම මෙවලම විශාල අවස්ථාවක්. ඒ කියන්නේ:
- අධ්යාපනික පරිසරය: තර්ක පරීක්ෂණය ඉගෙන ගැනීමට දෘශ්යම පරිසරයක් ලබා දී, ගැඹුරු ලොජික් සංකල්පයන් තේරුම් ගැනීමට පහසුකමක්.
- ව්යවසාය සංවර්ධනය: සොෆ්ට්වෙයා සංවර්ධකයින්ට algorithmic logic හෝ formal verification අවශ්ය ව්යාපෘති වලදී ඉක්මනින් ප්රූෆ් සකස් කර, ගැලපෙන දෝෂ හඳුනා ගත හැක.
- ප්රායෝගික පරිසරය: Open‑source වීම නිසා, ලංකාවේ තාක්ෂණ සමාජය ඒක අලුත් කර, තමන්ගේම custom task හෝ block එකක් නිර්මාණය කරගත හැක.
දැනට පරීක්ෂණ දත්ත පරිශීලකගේ බ්රව්සරයේම සුරක්ෂිත කරයි, එය පසුබැසීමෙන් පසු අතුරුදන් වේ. අනාගත සංස්කරණයන්හි සර්වර්‑අධාරිත සුරක්ෂිතකරණය ඇතුළත් කරනු ඇත.
මෙම ව්යාපෘතියේ ප්රධාන නිර්මාතෘ ජෝඇචිම් බ්රයිට්නර් (Joachim Breitner) සහ ඔහුගේ සමීප මිතුරන් විසින් නිර්මාණය කර ඇත. තාක්ෂණික ලේඛන, ITP 2016, LFMTP 2016 වැනි සම්මන්ත්රණවලදී පර්යේෂණාත්මක ලිපි පල කර ඇත. ඔබට කේතය ගොඩනැගීමට, දායක වීමට, සහ වැඩිදුර විස්තර ලබා ගැනීමට https://incredible.pm/ වෙත පිවිසිය හැක.
දෘශ්යම තර්ක පරීක්ෂණය ඔබේ අධ්යාපනය, වැඩ, හෝ පර්යේෂණයට නව දොරටුවක් විවර කරයි. අදම උත්සාහ කර බලන්න!
