logic - sikhe - इंग्लिश सीखने वाला ऐप डाउनलोड




क्रिप्के सिमेंटिक्स: सीखने का सॉफ्टवेयर उपलब्ध है? (2)

मुझे यकीन नहीं है कि मॉडेल लॉजिकिक्स के लिए रिलेशनल सिमेंटिक्स के शिक्षण के लिए शैक्षिक सॉफ्टवेयर मौजूद है या नहीं। हालांकि, मैं आपके द्वारा पूछे गए कुछ सवालों के जवाब देने का प्रयास कर सकता हूं।

सबसे पहले, अपेक्षाओं और संभावनाओं के लिए मोडल ऑपरेटर्स, प्रस्तावों पर काम करते हैं, सच्चाई नहीं हैं। इसलिए, अगर φ एक प्रस्ताव है तो दोनों ☐φ और ♢ φ प्रस्ताव हैं क्योंकि न तो सत्य है और न ही झूठे प्रस्ताव हैं, कोई भी सत्य नहीं , ♢ सच्चे , ☐ झूठे , और झूठे प्रतीकों का अर्थपूर्ण अनुक्रम हैं।

दूसरा, जो कि आप "द्वैत स्वयंसिद्ध" के रूप में संदर्भित होते हैं, आम तौर पर मोडल ऑपरेटरों की अंतर-क्षमता की अभिव्यक्ति होती है। इसे मॉडल लॉजिक के एक स्वयंसिद्ध विकास में एक स्वयंसिद्ध के रूप में पेश किया जा सकता है या मॉडल ऑपरेटरों के शब्दों के परिणाम के रूप में प्राप्त किया जा सकता है।

तीसरा, शास्त्रीय क्वांटिफ़ार्स मोडल ऑपरेटर नहीं हैं और मॉडल अवधारणाओं को व्यक्त नहीं करते हैं। वास्तव में, सामान्य तौर पर मोडल लॉजिक सामान्यतः परिभाषित या प्रक्षेपण वाले तर्कों में मोडल ऑपरेटरों को शुरू करने से परिभाषित होते हैं। मुझे लगता है कि आपका भ्रम उत्पन्न होता है क्योंकि मोडल ऑपरेटरों की शब्दावली परिमाण के शब्दों के समान दिखाई देती हैं I उदाहरण के लिए, आवश्यक ऑपरेटर के अर्थविज्ञान सार्वभौमिक क्वाण्टिफायर के शब्दों के समान दिखते हैं:

  • मात्रात्मकता के क्षेत्र में सभी α के लिए ⊧ ∀x.φ (x) ≡ φ (α) सच है
  • w ☐φ ≡ φ डब्ल्यू से सुलभ हर संभव दुनिया में सच है

संभावना ऑपरेटर की मौजूदगी क्वालिफायर के साथ तुलना करते समय समानता देखी जाती है। वास्तव में, मॉडल ऑपरेटरों को संभावित दुनिया से अधिक क्वांटिफ़ायर के रूप में परिभाषित किया जा सकता है। जहाँ तक मुझे पता है, बातचीत सच नहीं है।

मैं क्रिप्के शब्दार्थों पर फंस गया हूं और आश्चर्य है कि क्या educational software है जिसके माध्यम से मैं बयानों की तुल्यता का परीक्षण कर सकता हूं, क्योंकि आईएम ने उदाहरण से सीखने में आसान महसूस किया है (यहां तक ​​कि अमूर्त वैरिएबल पर भी)।

मैं इस्तेमाल करूँगा

  • जरूरी ए लिखने के लिए ए
  • संभवत: ए के लिए ए

☐true, ☐false, ♢ सत्य, ♢ झूठी मूल्यों का मूल्यांकन करें, यदि ऐसा है तो कौन से मूल्यों या मूल्यों के मूल्य ({सत्य, झूठे} या शायद {आवश्यक, संभवतः}) से हैं? [1]

मुझे लगता है कि मैंने पढ़ा है सभी Kripke models duality axiom प्रयोग करते हैं:

(☐A) -> (¬ ♢ एक ¬)

अर्थात् अगर इसके भुगतान के लिए आवश्यक है तो इसके भुगतान की अनुमति नहीं दी paytax
(चाहे इसके लिए कर का भुगतान करना जरूरी हो ...)

IE2। अगर इसकी जरुरत होती है तो उसे earnmoney करने की अनुमति नहीं दी earnmoney
(फिर भी पैसा कमाने के बावजूद वास्तव में जरूरी है, तर्क अब तक है)

चूंकि ए-> बी एक के बराबर है <-¬बी परीक्षण देता है

¬☐A <- ♢ एक ¬

अगर इसकी अनुमति नहीं है तो उसे ऊपर upvote लिए जरूरी नहीं है

यह स्वयंसिद्ध काम करता है:

♢ A-> ¬☐¬A

अगर उसे earnmoney करने की earnmoney तो उसकी earnmoney नहीं earnmoney

सभी रूपरेखाएं एक ही व्यवहार नहीं करती हैं, और अलग Kripke model मॉडल किसी एक मॉडल की तुलना में एक मॉडल के लिए उपयुक्त हैं: सभी Kripke models में वही axioms । (क्या शास्त्रीय क्वांटिफ़ायर भी रूपरेखा हैं? यदि ऐसा है तो Kripke models उन्हें मॉडलिंग की अनुमति देते हैं?)

मैं सामान्य स्वंयवस्थाओं की सूची के माध्यम से जाना और उन उदाहरणों को ढूँढ़ने की कोशिश करूँगा जो यह तर्क देने के लिए प्रतिवादी या अनावश्यक लगता है ...

  • ☐ (A-> बी) -> (☐A-> ☐B):

यदि (इसकी जरूरी है कि (कमाई का मतलब मुद्रा में भुगतान करता है)) तो ((कमाई की आवश्यकता) का अर्थ है (भुगतान की आवश्यकताएं भुगतान)

ध्यान दें कि पैसे कमाने से करों का भुगतान नहीं होता है, ए-> बी के असत्यता का असत्यता स्वयं के सत्य के मूल्य को प्रभावित नहीं करता है ...

यह सब समझने की कोशिश में अपनी समस्याओं को लेकर मेरी समस्याओं को लेकर बहुत समय लग रहा है ... संपादित करने में संकोच न करें


मॉडल तर्क प्रक्षेपक और तर्ककार:

  1. http://www.cs.man.ac.uk/~schmidt/tools/
  2. http://www.cs.man.ac.uk/~sattler/reasoners.html

जावा में इंजन झांकी:

  1. http://www.irisa.fr/prive/fschwarz/lotrecscheme/
  2. https://github.com/gertvv/oops/wiki
  3. http://molle.sourceforge.net/

मॉडल तर्क कैलकुलेटर:

  1. http://staff.science.uva.nl/~jaspars/lvi98/Week3/modal.html
  2. http://www.ffst.hr/~logika/implog/doku.php?id=program:possible_worlds
  3. http://www.personeel.unimaas.nl/roos/EpLogic/start.htm

व्यावहारिक तर्क के व्यावहारिक खेल कार्यान्वयन के लिए व्याख्यान:

  1. http://www.ai.rug.nl/mas/

बहुत अच्छा पीएचडी थीसिस:

  1. http://www.cs.man.ac.uk/~schmidt/mltp/
  2. http://www.harrenstein.nl/Publications.dir/Harrenstein.pdf.gz

मोडल लॉजिक के बारे में व्याख्यान (कार्य, संघर्ष, गेम में):

  1. http://www.logicinaction.org/
  2. http://www.masfoundations.org/download.html
  3. ओपन माइंड्स के लिए मॉडल लॉजिक, http://logicandgames.pbworks.com/f/mlbook-almostfinal.pdf (अंतिम संस्करण मुफ्त नहीं है)

सामान्य में मोडल तर्क और तर्क के बारे में वीडियो व्याख्यान:

  1. http://videolectures.net/ssll09_gore_iml/
  2. http://videolectures.net/esslli2011_benthem_logic/
  3. http://videolectures.net/esslli2011_jaspars_logic/
  4. http://www.youtube.com/view_play_list?p=C88812FFE0F526B0