ধ্রুপদী যুক্তিবিজ্ঞান স্বভাবগতভাবেই স্থির: একটি উক্তি চিরকাল সত্য নয়তো চিরকাল মিথ্যা। কিন্তু মানব চিন্তা, কোয়ান্টাম পদার্থবিজ্ঞান এবং ডিস্ট্রিবিউটেড কম্পিউটার ব্যবস্থা চলে গতিশীল মোডের ওপর: কোনটি আবশ্যিক বা অনিবার্য বনাম কোনটি স্রেফ সম্ভাব্য; একজন ব্যক্তি কোনটি নিশ্চিত জানে বনাম কোনটি সে বিশ্বাস করে; ভবিষ্যতে কোনটি ঘটবে বনাম অতীতে কোনটি ঘটেছিল। ১৯৫৯ সালে মাত্র ১৮ বছর বয়সী এক বিস্ময় বালক সল কৃপকে এমন এক শব্দার্থিক কাঠামো প্রকাশ করেন যা মোডাল যুক্তিবিজ্ঞানকে (Modal Logic) দার্শনিক জল্পনা-কল্পনার স্তর থেকে সম্ভাব্য মহাবিশ্বের (Possible Worlds) এক নিখুঁত গাণিতিক বিজ্ঞানে রূপান্তর করে।
১. মোডাল অপারেটর $Box$ ও $Diamond$
মোডাল লজিক দুটি নতুন অপারেটর ব্যবহারের মাধ্যমে ভাষার দিগন্ত প্রসারিত করে:
- $Box phi$: “এটি আবশ্যিকভাবে অনিবার্য যে $phi$” (অথবা “এজেন্ট জানে যে $phi$”, “ভবিষ্যতে সর্বদা $phi$ সত্য”)।
- $Diamond phi$: “এটি সম্ভব যে $phi$” (বা “ভবিষ্যতের কোনো না কোনো মুহূর্তে $phi$ সত্য হবে”)।
দ্বৈততার সমীকরণ: $Diamond phi equiv neg Box neg phi$ (কোনো কিছু সম্ভব হওয়া মানে তার বিপরীত সত্য হওয়া অনিবার্য নয়)।
২. কৃপকে ফ্রেম ও রিলেশনাল সিম্যান্টিক্স (Kripke Frames)
কৃপকে “সম্ভাব্য মহাবিশ্ব”-এর বিমূর্ত ধারণাকে একটি নিখুঁত ডিরেক্টেড গ্রাফে রূপান্তরিত করেন:
কৃপকে ফ্রেম ও মডেলের সংজ্ঞা
- একটি কৃপকে ফ্রেম হলো একটি জোড় $mathcal{F} = (W, R)$, যেখানে:
- $W$: সম্ভাব্য মহাবিশ্ব বা সিস্টেমের অবস্থার সেট (Possible Worlds)।
- $R subseteq W times W$: অ্যাক্সেসিবিলিটি রিলেশন (Accessibility Relation)। $w R v$ নির্দেশ করে বর্তমান মহাবিশ্ব $w$ থেকে ভবিষ্যৎ বা সমান্তরাল মহাবিশ্ব $v$-তে দৃষ্টিপাত করা সম্ভব।
- একটি কৃপকে মডেল $mathcal{M} = (W, R, V)$ প্রতিটি মহাবিশ্বে কোন চলক সত্য তা নির্দিষ্ট করে।
মহাবিশ্ব $w$-তে সত্যতা নির্ধারিত হয় সম্পর্কের গতিপথ দেখে:
- আবশ্যিকতা ($Box phi$):
[
mathcal{M}, w vDash Box phi iff forall v ; (w R v implies mathcal{M}, v vDash phi)
]
বর্তমান জগৎ $w$ থেকে যতগুলো জগতে যাওয়া সম্ভব, তাদের প্রতিটিতেই $phi$ সত্য হতে হবে। - সম্ভাবনা ($Diamond phi$):
[
mathcal{M}, w vDash Diamond phi iff exists v ; (w R v land mathcal{M}, v vDash phi)
]
অন্তত একটি উন্মুক্ত জগতে $phi$ সত্য হলেই তা সম্ভব বলে গণ্য হবে।
৩. ফ্রেম সাদৃশ্য তত্ত্ব (Frame Correspondence)
কৃপকে সিম্যান্টিক্সের সবচেয়ে মার্জিত সৌন্দর্য হলো এর প্রতিটি মোডাল অ্যাক্সিওম সরাসরি সম্পর্কের ($R$) জ্যামিতিক ধর্মের সাথে মিলে যায়:
মোডাল সিস্টেমের স্তরবিন্যাস
| সিস্টেম | অ্যাক্সিওম | সম্পর্কের জ্যামিতিক বৈশিষ্ট্য ($R$) | বাস্তব অর্থ |
|---|---|---|---|
| $mathbf{K}$ | $Box(phi to psi) to (Box phi to Box psi)$ | যেকোনো ফ্রেম (Universal) | মৌলিক যৌক্তিক বিস্তার |
| $mathbf{T}$ | $Box phi to phi$ | রিফ্লেক্সিভ (Reflexive): $w R w$ | জ্ঞানের সত্যতা: যা সত্য তা বাস্তব জগতেও ঘটে |
| $mathbf{S4}$ | $Box phi to Box Box phi$ | ট্রানজিটিভ (Transitive): $u R v land v R w implies u R w$ | আত্ম-সচেতনতা: “তুমি জানো যে তুমি জানো” |
| $mathbf{S5}$ | $mathbf{T} + mathbf{4} + mathbf{5}$ | ইকুইভ্যালেন্স রিলেশন (Refl + Trans + Symm) | পরম মহাজাগতিক সম্ভাবনা ও সর্বজনীন জ্ঞান |
৪. ডিস্ট্রিবিউটেড সিস্টেম ও সাধারণ জ্ঞান (Common Knowledge)
আধুনিক কম্পিউটার নেটওয়ার্কে একাধিক নোডের পারস্পরিক জ্ঞান মডেল করতে জ্যাকো হিন্টিক্কা এবং জোসেফ হ্যালপার্ন উদ্ভাবন করেন এপিস্টেমিক লজিক।
কমন নলেজ ($C(phi)$): সবাই জানে যে সবাই জানে যে সবাই জানে… এই অনন্ত শৃঙ্খল। হ্যালপার্ন এবং মোসেস (১৯৯০) প্রমাণ করেন যে অবিশ্বস্ত নেটওয়ার্কে (যেমন টু জেনারেলস সমস্যায়) পরম কমন নলেজ অর্জন করা গাণিতিকভাবে অসম্ভব! প্যাক্সোস ও র্যাফটের মতো ক্লাউড কনসেনসাস অ্যালগরিদমগুলো মোডাল লজিকের এই সীমানা অনুধাবন করেই সফল কোরাম আর্কিটেকচার তৈরি করেছে।
