दिष्ट तर्क: Difference between revisions
From Vigyanwiki
No edit summary |
|||
| (7 intermediate revisions by 5 users not shown) | |||
| Line 1: | Line 1: | ||
दिष्ट तर्क<ref name="miz92">Mizraji, E. (1992). [http://www.sciencedirect.com/science/article/pii/016501149290216Q Vector logics: the matrix-vector representation of logical calculus.] Fuzzy Sets and Systems, 50, 179–185</ref><ref name="miz08">Mizraji, E. (2008) [http://logcom.oxfordjournals.org/content/18/1/97.full.pdf Vector logic: a natural algebraic representation of the fundamental logical gates.] Journal of Logic and Computation, 18, 97–121</ref> [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] पर आधारित प्राथमिक [[तर्क]] का [[बीजगणित|बीजगणितीय]] गणितीय मॉडल है। दिष्ट तर्क मानता है कि सत्य मान [[वेक्टर (गणित और भौतिकी)|दिष्ट (गणित और भौतिकी)]] पर मैप करता है, और यह कि [[मोनाडिक विधेय कलन|एक अक विधेय कलन]] और [[बाइनरी फ़ंक्शन]] संक्रिया आव्यूह प्रचालकों द्वारा निष्पादित किए जाते हैं। सदिश स्थान के रूप में मौलिक प्रस्तावपरक तर्क के प्रतिनिधित्व को संदर्भित करने के लिए सदिश तर्क का भी उपयोग किया गया है,<ref>Westphal, J. and Hardy, J. (2005) Logic as a Vector System. Journal of Logic and Computation, 751-765</ref><ref>Westphal, J. Caulfield, H.J. Hardy, J. and Qian, L.(2005) Optical Vector Logic Theorem-Proving. Proceedings of the Joint Conference on Information Systems, Photonics, Networking and Computing Division.</ref> जिसमें इकाई वैक्टर [[प्रस्तावक चर]] हैं। [[विधेय तर्क]] को उसी प्रकार के सदिश स्थान के रूप में दर्शाया जा सकता है जिसमें अक्ष विधेय अक्षरों <math>S</math> और <math>P</math> का प्रतिनिधित्व करते हैं।<ref>Westphal, J (2010). The Application of Vector Theory to Syllogistic Logic. New Perspectives on the Square of Opposition, Bern, Peter Lang.</ref> प्रस्तावपरक तर्क के लिए सदिश स्थान में मूल असत्य, F, और अनंत परिधि सत्य, T का प्रतिनिधित्व करती है, चूंकि विधेय तर्क के लिए स्थान में मूल कुछ भी नहीं दर्शाता है और परिधि कुछ भी नहीं, या कुछ से उड़ान का प्रतिनिधित्व करती है। | |||
== अवलोकन == | == अवलोकन == | ||
क्लासिक बाइनरी लॉजिक को एक (एक अक) या दो (युग्मकीय) वेरिएबल्स के आधार पर गणितीय कार्यों के एक छोटे से | क्लासिक बाइनरी लॉजिक को एक (एक अक) या दो (युग्मकीय) वेरिएबल्स के आधार पर गणितीय कार्यों के एक छोटे से समुच्चय द्वारा दर्शाया गया है। बाइनरी समुच्चय में, मान 1 सत्य (तर्क) और मान 0 से असत्य (तर्क) से मेल खाता है। दो-मूल्यवान सदिश तर्क के लिए सत्य-मूल्य सत्य (टी) और असत्य (एफ) और दो क्यू-आयामी सामान्यीकृत [[वास्तविक संख्या]]-मूल्यवान स्तंभ वैक्टर एस और एन के बीच पत्राचार की आवश्यकता होती है, इसलिए: | ||
: <math>t\mapsto s</math>और<math>f\mapsto n</math> | : <math>t\mapsto s</math>और<math>f\mapsto n</math> | ||
(जहाँ <math> q \geq 2</math> स्वेच्छ प्राकृतिक संख्या है, और सामान्यीकृत का अर्थ है कि | (जहाँ <math> q \geq 2</math> स्वेच्छ प्राकृतिक संख्या है, और सामान्यीकृत का अर्थ है कि दिष्ट का [[यूक्लिडियन मानदंड]] 1 है; सामान्यतः S और N ऑर्थोगोनल वैक्टर हैं)। यह पत्राचार सदिश सत्य-मानों का स्थान उत्पन्न करता है: ''V''<sub>2</sub> = {''s'',''n''}। वैक्टर के इस समुच्चय का उपयोग करके परिभाषित मूलभूत तार्किक संक्रिया आव्यूह प्रचालकों की ओर ले जाते हैं। | ||
दिष्ट तर्क के संचालन क्यू-आयामी स्तंभ वैक्टर के बीच स्केलर उत्पाद पर आधारित होते हैं: <math>u^Tv=\langle u,v\rangle</math>: सदिशों s और n के बीच ऑर्थोनॉर्मलिटी का तात्पर्य है कि <math>\langle u,v\rangle=1</math> यदि <math>u = v</math>, और <math>\langle u,v\rangle=0</math> यदि <math>u \ne v</math>, जहाँ <math>u, v \in \{s, n\}</math>. | |||
=== एक अक संक्रिया === | === एक अक संक्रिया === | ||
एक अक प्रचालकों का परिणाम आवेदन <math>Mon: V_2 \to V_2</math> से होता है, और संबद्ध आव्यूहों में q पंक्तियाँ और q स्तंभ हैं। इस दो-मूल्यवान | एक अक प्रचालकों का परिणाम आवेदन <math>Mon: V_2 \to V_2</math> से होता है, और संबद्ध आव्यूहों में q पंक्तियाँ और q स्तंभ हैं। इस दो-मूल्यवान दिष्ट तर्क के लिए दो मूलभूत एक अक संकारक [[पहचान समारोह|पहचान फलन]] और [[तार्किक निषेध]] हैं: | ||
* '''<nowiki/>'पहचान'''': तार्किक पहचान आईडी (p) आव्यूह <math>I=ss^T + nn^T</math> द्वारा दर्शाया गया है. यह आव्यूह निम्नानुसार संचालित होता है: ''Ip'' = ''p'', ''p'' ∈ ''V''<sub>2</sub>; n के संबंध में s की ओर्थोगोनलिटी के कारण, हमारे पास <math>Is=ss^Ts+nn^Ts=s\langle s,s\rangle+n\langle n,s\rangle=s</math> है, और इसी | * '''<nowiki/>'पहचान'''': तार्किक पहचान आईडी (p) आव्यूह <math>I=ss^T + nn^T</math> द्वारा दर्शाया गया है. यह आव्यूह निम्नानुसार संचालित होता है: ''Ip'' = ''p'', ''p'' ∈ ''V''<sub>2</sub>; n के संबंध में s की ओर्थोगोनलिटी के कारण, हमारे पास <math>Is=ss^Ts+nn^Ts=s\langle s,s\rangle+n\langle n,s\rangle=s</math> है, और इसी प्रकार <math>In=n</math> है. यह ध्यान रखना महत्वपूर्ण है कि यह सदिश तर्क पहचान आव्यूह सामान्यतः आव्यूह बीजगणित के अर्थ में पहचान आव्यूह नहीं है। | ||
* '''निषेध''': तार्किक निषेध ¬''p'' आव्यूह <math>N=ns^T + sn^T</math> द्वारा दर्शाया गया है | * '''निषेध''': तार्किक निषेध ¬''p'' आव्यूह <math>N=ns^T + sn^T</math> द्वारा दर्शाया गया है परिणामस्वरूप, ''Ns'' = ''n'' और ''Nn'' = ''s''। तार्किक निषेध का समावेशन (गणित) व्यवहार, अर्थात् ¬(¬p) p के बराबर है, इस तथ्य से मेल खाता है कि ''N''<sup>2</sup> = ''I''। | ||
=== युग्मकीय संकारक === | === युग्मकीय संकारक === | ||
| Line 26: | Line 26: | ||
इन गुणों का उपयोग करते हुए, द्विअर्थी तर्क कार्यों के लिए व्यंजक प्राप्त किए जा सकते हैं: | इन गुणों का उपयोग करते हुए, द्विअर्थी तर्क कार्यों के लिए व्यंजक प्राप्त किए जा सकते हैं: | ||
* '''संयोजक''': संयोजन (''p''∧''q'') आव्यूह द्वारा निष्पादित किया जाता है जो दो | * '''संयोजक''': संयोजन (''p''∧''q'') आव्यूह द्वारा निष्पादित किया जाता है जो दो दिष्ट सत्य-मानों: <math>C(u\otimes v)</math> पर कार्य करता है, यह आव्यूह मौलिक संयोजन सत्य-तालिका की विशेषताओं को इसके निर्माण में पुन: प्रस्तुत करता है: | ||
::<math>C=s(s\otimes s)^T + n(s\otimes n)^T + n(n\otimes s)^T + n(n\otimes n)^T </math> | ::<math>C=s(s\otimes s)^T + n(s\otimes n)^T + n(n\otimes s)^T + n(n\otimes n)^T </math> | ||
| Line 63: | Line 63: | ||
=== संख्यात्मक उदाहरण === | === संख्यात्मक उदाहरण === | ||
एस और एन के लिए 2-आयामी ऑर्थोनॉर्मल वैक्टर के दो अलग-अलग | एस और एन के लिए 2-आयामी ऑर्थोनॉर्मल वैक्टर के दो अलग-अलग समुच्चयों के लिए मेट्रिसेस के रूप में प्रायुक्त किए गए कुछ मूलभूत तार्किक गेट्स के संख्यात्मक उदाहरण यहां दिए गए हैं। | ||
' | 'समुच्चय 1': <math display="block">s=\begin{bmatrix}1 \\ 0 \end{bmatrix} \quad n=\begin{bmatrix}0 \\ 1 \end{bmatrix}</math> | ||
इस | इस स्थिति में पहचान और निषेध संचालक पहचान और विरोधी विकर्ण पहचान आव्यूह हैं:, | ||
<math display="block">I=\begin{bmatrix}1 & 0\\0 & 1\end{bmatrix}, \quad N=\begin{bmatrix}0 & 1\\1 & 0\end{bmatrix}</math> और संयुग्मन, वियोग और निहितार्थ के आव्यूह क्रमशः | <math display="block">I=\begin{bmatrix}1 & 0\\0 & 1\end{bmatrix}, \quad N=\begin{bmatrix}0 & 1\\1 & 0\end{bmatrix}</math> और संयुग्मन, वियोग और निहितार्थ के आव्यूह क्रमशः | ||
| Line 73: | Line 73: | ||
समुच्चय 2: <math display="block">s=\frac{1}{\sqrt{2}}\begin{bmatrix}1 \\ 1 \end{bmatrix} \quad n=\frac{1}{\sqrt{2}}\begin{bmatrix}1 \\ -1 \end{bmatrix}</math> | |||
यहां पहचान संकारक पहचान आव्यूह है, | यहां पहचान संकारक पहचान आव्यूह है, किन्तु ऋणात्मक संकारक अब विरोधी-विकर्ण पहचान आव्यूह नहीं है: | ||
<math display="block">I=\begin{bmatrix}1 & 0\\0 & 1\end{bmatrix}, \quad N=\begin{bmatrix}1 & 0\\0 & -1\end{bmatrix}</math> संयोजन, वियोग और निहितार्थ के लिए परिणामी आव्यूह क्रमशः | <math display="block">I=\begin{bmatrix}1 & 0\\0 & 1\end{bmatrix}, \quad N=\begin{bmatrix}1 & 0\\0 & -1\end{bmatrix}</math> संयोजन, वियोग और निहितार्थ के लिए परिणामी आव्यूह क्रमशः | ||
<math display="block">C=\frac{1}{\sqrt{2}}\begin{bmatrix}2 & 0 & 0 & 0\\-1 & 1 & 1 & 1\end{bmatrix}, \quad D=\frac{1}{\sqrt{2}}\begin{bmatrix}2 & 0 & 0 & 0\\1 & 1 & 1 &-1\end{bmatrix}, \quad L=\begin{bmatrix}2 & 0 & 0 & 0\\1 & 1 & -1 & 1\end{bmatrix}</math>हैं: | <math display="block">C=\frac{1}{\sqrt{2}}\begin{bmatrix}2 & 0 & 0 & 0\\-1 & 1 & 1 & 1\end{bmatrix}, \quad D=\frac{1}{\sqrt{2}}\begin{bmatrix}2 & 0 & 0 & 0\\1 & 1 & 1 &-1\end{bmatrix}, \quad L=\begin{bmatrix}2 & 0 & 0 & 0\\1 & 1 & -1 & 1\end{bmatrix}</math>हैं: | ||
=== डी मॉर्गन का | === डी मॉर्गन का नियम === | ||
दो-मूल्यवान तर्क में, संयोजन और संयोजन संचालन डी मॉर्गन के नियमों को संतुष्ट करते हैं | क्यू))। दो-मूल्यवान सदिश तर्क के लिए यह | दो-मूल्यवान तर्क में, संयोजन और संयोजन संचालन डी मॉर्गन के नियमों को संतुष्ट करते हैं | क्यू))। दो-मूल्यवान सदिश तर्क के लिए यह नियम भी सत्यापित है: | ||
::<math>C(u\otimes v)=ND(Nu\otimes Nv)</math>, जहाँ u और v दो तार्किक सदिश हैं। | ::<math>C(u\otimes v)=ND(Nu\otimes Nv)</math>, जहाँ u और v दो तार्किक सदिश हैं। | ||
| Line 87: | Line 87: | ||
::<math>C(u\otimes v)=ND(N\otimes N)(u\otimes v).</math> | ::<math>C(u\otimes v)=ND(N\otimes N)(u\otimes v).</math> | ||
फिर यह | फिर यह सिद्ध किया जा सकता है कि द्वि-आयामी दिष्ट तर्क में डी मॉर्गन का नियम प्रचालकों से जुड़ा नियम है, न कि केवल संचालन से संबंधित नियम:<ref name="miz96">Mizraji, E. (1996) The operators of vector logic. Mathematical Logic Quarterly, 42, 27–39</ref> | ||
::<math>C=ND(N\otimes N)</math> | ::<math>C=ND(N\otimes N)</math> | ||
=== विरोधाभास का नियम === | === विरोधाभास का नियम === | ||
मौलिक तर्कवाक्य कलन में, [[विरोधाभास (पारंपरिक तर्क)]] p → q ≡ ¬q → ¬p सिद्ध होता है क्योंकि समानता p और q के सत्य-मानों के सभी संभावित संयोजनों के लिए होती है।<ref name="suppes">Suppes, P. (1957) Introduction to Logic, Van Nostrand Reinhold, New York.</ref> इसके | मौलिक तर्कवाक्य कलन में, [[विरोधाभास (पारंपरिक तर्क)]] p → q ≡ ¬q → ¬p सिद्ध होता है क्योंकि समानता p और q के सत्य-मानों के सभी संभावित संयोजनों के लिए होती है।<ref name="suppes">Suppes, P. (1957) Introduction to Logic, Van Nostrand Reinhold, New York.</ref> इसके अतिरिक्त, सदिश तर्क में, विरोधाभास का नियम आव्यूह बीजगणित और क्रोनकर उत्पादों के नियमों के अन्दर समानता की श्रृंखला से उभरता है, जैसा कि निम्न में दिखाया गया है: | ||
::<math>L(u\otimes v)=D(N\otimes I)(u\otimes v)=D(Nu\otimes v)=D(Nu\otimes NNv)=</math> | ::<math>L(u\otimes v)=D(N\otimes I)(u\otimes v)=D(Nu\otimes v)=D(Nu\otimes NNv)=</math> | ||
::<math> D(NNv\otimes Nu)=D(N\otimes I)(Nv\otimes Nu)=L(Nv\otimes Nu)</math> | ::<math> D(NNv\otimes Nu)=D(N\otimes I)(Nv\otimes Nu)=L(Nv\otimes Nu)</math> | ||
यह परिणाम इस तथ्य पर आधारित है कि डी, संयोजन आव्यूह, | यह परिणाम इस तथ्य पर आधारित है कि डी, संयोजन आव्यूह, क्रम विनिमय संचालन का प्रतिनिधित्व करता है। | ||
== बहु-मूल्यवान द्वि-आयामी तर्क == | == बहु-मूल्यवान द्वि-आयामी तर्क == | ||
कई-मूल्यवान तर्क कई शोधकर्ताओं द्वारा विकसित किए गए थे, विशेष रूप से जन लुकासिविक्ज़ द्वारा और तार्किक संचालन को सत्य-मूल्यों तक विस्तारित करने की अनुमति देता है जिसमें अनिश्चितताएं | कई-मूल्यवान तर्क कई शोधकर्ताओं द्वारा विकसित किए गए थे, विशेष रूप से जन लुकासिविक्ज़ द्वारा और तार्किक संचालन को सत्य-मूल्यों तक विस्तारित करने की अनुमति देता है जिसमें अनिश्चितताएं सम्मिलित हैं।<ref>Łukasiewicz, J. (1980) Selected Works. L. Borkowski, ed., pp. 153–178. North-Holland, | ||
Amsterdam, 1980</ref> दो-मूल्यवान सदिश तर्क के | Amsterdam, 1980</ref> दो-मूल्यवान सदिश तर्क के स्थितियों में, सत्य मानों में अनिश्चितताओं को संभाव्यताओं द्वारा भारित s और n वाले सदिशों का उपयोग करके प्रस्तुत किया जा सकता है। | ||
मान लीजिए <math>f=\epsilon s + \delta n</math>, साथ <math>\epsilon, \delta \in [0,1], \epsilon + \delta = 1</math> इस प्रकार के संभाव्य वैक्टर बनें। यहाँ, तर्क के कई-मूल्यवान चरित्र को इनपुट में प्रस्तुत की गई अनिश्चितताओं के माध्यम से प्राथमिकता और पश्च प्रस्तुत किया गया है।<ref name="miz92"/> | |||
=== | === दिष्ट आउटपुट के स्केलर अनुमान === | ||
इस बहु-मूल्यवान तर्क के आउटपुट को स्केलर कार्यों पर प्रक्षेपित किया जा सकता है और रीचेनबैक के बहु-मूल्यवान तर्क के साथ समानता के साथ [[संभाव्य तर्क]] का विशेष वर्ग उत्पन्न किया जा सकता है।<ref>Rescher, N. (1969) Many-Valued Logic. McGraw–Hill, New York</ref><ref>Blanché, R. (1968) Introduction à la Logique Contemporaine, Armand Colin, Paris</ref><ref>Klir, G.J., Yuan, G. (1995) Fuzzy Sets and Fuzzy Logic. Prentice–Hall, New Jersey</ref> दो वैक्टर दिए गए हैं <math>u=\alpha s + \beta n</math> और <math>v=\alpha's + \beta'n</math> और युग्मकीय तार्किक आव्यूह <math>G</math>, सदिशों पर प्रक्षेपण द्वारा अदिश संभाव्य तर्क प्रदान किया जाता है: | इस बहु-मूल्यवान तर्क के आउटपुट को स्केलर कार्यों पर प्रक्षेपित किया जा सकता है और रीचेनबैक के बहु-मूल्यवान तर्क के साथ समानता के साथ [[संभाव्य तर्क]] का विशेष वर्ग उत्पन्न किया जा सकता है।<ref>Rescher, N. (1969) Many-Valued Logic. McGraw–Hill, New York</ref><ref>Blanché, R. (1968) Introduction à la Logique Contemporaine, Armand Colin, Paris</ref><ref>Klir, G.J., Yuan, G. (1995) Fuzzy Sets and Fuzzy Logic. Prentice–Hall, New Jersey</ref> दो वैक्टर दिए गए हैं <math>u=\alpha s + \beta n</math> और <math>v=\alpha's + \beta'n</math> और युग्मकीय तार्किक आव्यूह <math>G</math>, सदिशों पर प्रक्षेपण द्वारा अदिश संभाव्य तर्क प्रदान किया जाता है: | ||
| Line 121: | Line 121: | ||
::<math>NAND(\alpha,\alpha')=1-AND(\alpha,\alpha')</math> | ::<math>NAND(\alpha,\alpha')=1-AND(\alpha,\alpha')</math> | ||
::<math>EQUI(\alpha,\alpha')=1-XOR(\alpha,\alpha')</math> | ::<math>EQUI(\alpha,\alpha')=1-XOR(\alpha,\alpha')</math> | ||
यदि स्केलर मान | यदि स्केलर मान समुच्चय {0, ½, 1} से संबंधित हैं, तो यह कई-मूल्यवान स्केलर तर्क कई प्रचालकों के लिए लगभग लुकासिविक्ज़ के 3-मूल्यवान तर्क के समान है। इसके अतिरिक्त, यह भी सिद्ध हो गया है कि जब एक अक या युग्मकीय संकारक इस समुच्चय से संबंधित संभाव्य वैक्टर पर कार्य करते हैं, तो आउटपुट भी इस समुच्चय का तत्व होता है।<ref name="miz96"/> | ||
== | == एनओटी का वर्गमूल == | ||
यह संकारक मूल रूप से [[क्वांटम कम्प्यूटिंग]] के | यह संकारक मूल रूप से [[क्वांटम कम्प्यूटिंग]] के संरचना में क्यूबिट्स के लिए परिभाषित किया गया था।<ref>Hayes, B. (1995) The square root of NOT. American Scientist, 83, 304–308</ref><ref>Deutsch, D., Ekert, A. and Lupacchini, R. (2000) Machines, logic and quantum physics. The Bulletin of Symbolic Logic, 6, 265-283.</ref> सदिश तर्क में, इस संकारक को स्वैच्छिक रूप से ऑर्थोनॉर्मल सत्य मानों के लिए बढ़ाया जा सकता है।<ref name="miz08"/><ref name="miz20">Mizraji, E. (2020). Vector logic allows counterfactual virtualization by the square root of NOT, Logic Journal of the IGPL. Online version ({{doi|10.1093/jigpal/jzaa026}})</ref> वास्तविक में, एनओटी के दो वर्गमूल हैं: | ||
::<math>A=(\sqrt{N})_1=\frac{1}{2}(1+i)I+\frac{1}{2}(1-i)N</math>, और | ::<math>A=(\sqrt{N})_1=\frac{1}{2}(1+i)I+\frac{1}{2}(1-i)N</math>, और | ||
::<math>B=(\sqrt{N})_2=\frac{1}{2}(1-i)I+\frac{1}{2}(1+i)N</math>, | ::<math>B=(\sqrt{N})_2=\frac{1}{2}(1-i)I+\frac{1}{2}(1+i)N</math>, | ||
साथ <math>i=\sqrt{-1}</math>. <math>A</math> और <math>B</math> जटिल संयुग्म | साथ <math>i=\sqrt{-1}</math>. <math>A</math> और <math>B</math> जटिल संयुग्म: <math>B=A^*</math> हैं, और ध्यान दें कि <math>A^2=B^2=N</math>, और <math>AB=BA=I</math>. और रोचक बिंदु -1 के दो वर्गमूलों के साथ समानता है। धनात्मक मूल <math>+(\sqrt{-1})</math> <math>(\sqrt{N})_1=IA</math> से मेल खाती है, और ऋणात्मक मूल <math>-(\sqrt{-1})</math> <math>(\sqrt{N})_2=NA</math> से मेल खाती है; परिणाम के रूप में, <math>NA=B</math>. | ||
== इतिहास == | == इतिहास == | ||
तार्किक संचालन का प्रतिनिधित्व करने के लिए रैखिक बीजगणित का उपयोग करने के | तार्किक संचालन का प्रतिनिधित्व करने के लिए रैखिक बीजगणित का उपयोग करने के प्रारंभिक प्रयासों को विशेष रूप से [[तार्किक मैट्रिक्स|तार्किक आव्यूह]] के उपयोग में बीजगणितीय तर्क संबंधों की गणना की व्याख्या करने के लिए [[चार्ल्स सैंडर्स पियर्स]] और [[इरविंग कोपी]] के लिए संदर्भित किया जा सकता है।<ref>Copilowish, I.M. (1948) Matrix development of the calculus of relations. Journal of Symbolic Logic, 13, 193–203</ref> | ||
उच्च-आयामी आव्यूह और वैक्टर के उपयोग के आधार पर [[तंत्रिका नेटवर्क]] मॉडल में दृष्टिकोण को प्रेरित किया गया है।<ref>Kohonen, T. (1977) Associative Memory: A System-Theoretical Approach. Springer-Verlag, New York</ref><ref>Mizraji, E. (1989) [https://link.springer.com/article/10.1007%2FBF02458441 Context-dependent associations in linear distributed memories]. Bulletin of Mathematical Biology, 50, 195–205</ref> | उच्च-आयामी आव्यूह और वैक्टर के उपयोग के आधार पर [[तंत्रिका नेटवर्क]] मॉडल में दृष्टिकोण को प्रेरित किया गया है।<ref>Kohonen, T. (1977) Associative Memory: A System-Theoretical Approach. Springer-Verlag, New York</ref><ref>Mizraji, E. (1989) [https://link.springer.com/article/10.1007%2FBF02458441 Context-dependent associations in linear distributed memories]. Bulletin of Mathematical Biology, 50, 195–205</ref> दिष्ट तर्क मौलिक [[बूलियन बीजगणित]] के आव्यूह-दिष्ट औपचारिकता में सीधा अनुवाद है।<ref name="boole">Boole, G. (1854) An Investigation of the Laws of Thought, on which are Founded the Theories of Logic and Probabilities. Macmillan, London, 1854; Dover, New York Reedition, 1958</ref> इस प्रकार की औपचारिकता जटिल संख्याओं के संदर्भ में अस्पष्ट तर्क विकसित करने के लिए प्रायुक्त की गई है।<ref>Dick, S. (2005) Towards complex fuzzy logic. IEEE Transactions on Fuzzy Systems, 15,405–414, 2005</ref> [[क्वांटम भौतिकी]], [[कंप्यूटर विज्ञान]] और [[प्रकाशिकी]] के संरचना में तार्किक कलन के लिए अन्य आव्यूह और दिष्ट दृष्टिकोण विकसित किए गए हैं।<ref>Mittelstaedt, P. (1968) Philosophische Probleme der Modernen Physik, Bibliographisches Institut, Mannheim</ref><ref>Stern, A. (1988) Matrix Logic: Theory and Applications. North-Holland, Amsterdam</ref> | ||
[[भारतीय लोग]] | |||
[[भारतीय लोग]] जैवभौतिकविज्ञानी जी.एन. रामचंद्रन ने मौलिक [[जैन सात-मूल्य तर्क]] के कई कार्यों का प्रतिनिधित्व करने के लिए बीजगणितीय आव्यूह और वैक्टर का उपयोग करके औपचारिकता विकसित की, जिसे स्याद और सप्तभंगी के रूप में जाना जाता है; [[भारतीय तर्क]] देखें।<ref>Jain, M.K. (2011) Logic of evidence-based inference propositions, Current Science, 1663–1672, 100</ref> इसे प्रस्ताव में प्रत्येक अभिकथन के लिए स्वतंत्र धनात्मक प्रमाण की आवश्यकता होती है, और यह द्विआधारी पूरकता के लिए धारणा नहीं बनाता है। | |||
== बूलियन बहुपद == | == बूलियन बहुपद == | ||
[[जॉर्ज बूले]] ने बहुपदों के रूप में तार्किक संक्रियाओं के विकास की स्थापना | [[जॉर्ज बूले]] ने बहुपदों के रूप में तार्किक संक्रियाओं के विकास की स्थापना किया था।<ref name="boole"/> एक अक प्रचालकों के स्थितियों में (जैसे पहचान फलन या तार्किक निषेध), बूलियन बहुपद इस प्रकार दिखते हैं: | ||
तार्किक निषेध), बूलियन बहुपद इस प्रकार दिखते हैं: | |||
::<math>f(x) = f(1)x + f(0)(1-x) </math> | ::<math>f(x) = f(1)x + f(0)(1-x) </math> | ||
चार अलग-अलग एक अक | चार अलग-अलग एक अक संचालन गुणांक के लिए अलग-अलग बाइनरी मानों से उत्पन्न होते हैं। आइडेंटिटी संचालन के लिए f(1) = 1 और f(0) = 0 की आवश्यकता होती है, और f(1) = 0 और f(0) = 1 होने पर निषेध होता है। 16 युग्मकीय प्रचालकों के लिए, बूलियन बहुपद इस रूप में हैं: | ||
::<math>f(x,y) = f(1,1)xy + f(1,0)x(1-y) +f(0,1)(1-x)y + f(0,0)(1-x)(1-y)</math> | ::<math>f(x,y) = f(1,1)xy + f(1,0)x(1-y) +f(0,1)(1-x)y + f(0,0)(1-x)(1-y)</math> | ||
युग्मकीय संक्रिया को इस बहुपद प्रारूप में अनुवादित किया जा सकता है जब गुणांक एफ संबंधित सत्य तालिकाओं में दर्शाए गए मानों को लेते हैं। उदाहरण के लिए: शेफ़र स्ट्रोक | युग्मकीय संक्रिया को इस बहुपद प्रारूप में अनुवादित किया जा सकता है जब गुणांक एफ संबंधित सत्य तालिकाओं में दर्शाए गए मानों को लेते हैं। उदाहरण के लिए: शेफ़र स्ट्रोक संचालन के लिए आवश्यक है कि: | ||
::<math> f(1,1)=0</math> और <math>f(1,0)=f(0,1)=f(0,0)=1</math>. | ::<math> f(1,1)=0</math> और <math>f(1,0)=f(0,1)=f(0,0)=1</math>. | ||
इन बूलियन बहुपदों को | इन बूलियन बहुपदों को तुरंत किसी भी संख्या में चरों तक बढ़ाया जा सकता है, जिससे तार्किक प्रचालकों की बड़ी संभावित विविधता उत्पन्न होती है। | ||
दिष्ट तर्क में, तार्किक प्रचालकों की आव्यूह-दिष्ट संरचना इन बूलियन बहुपदों के रैखिक बीजगणित के प्रारूप का त्रुटिहीन अनुवाद है, जहां x और 1−x क्रमशः वैक्टर s और n के अनुरूप होते हैं (y और 1−y के लिए समान) ). नंद के उदाहरण में, f(1,1)=n और f(1,0)=f(0,1)=f(0,0)=s और आव्यूह संस्करण बन जाता है: | |||
::<math>S=n(s\otimes s)^T + s[(s\otimes n)^T+(n\otimes s)^T+(n\otimes n)^T]</math> | ::<math>S=n(s\otimes s)^T + s[(s\otimes n)^T+(n\otimes s)^T+(n\otimes n)^T]</math> | ||
== | == विस्तारण == | ||
* सदिश तर्क को कई सत्य मानों को | * सदिश तर्क को कई सत्य मानों को सम्मिलित करने के लिए विस्तारित किया जा सकता है क्योंकि बड़े-आयामी सदिश स्थान कई ऑर्थोगोनल सत्य मूल्यों और संबंधित तार्किक आव्यूहों के निर्माण की अनुमति देते हैं।<ref name="miz08"/> | ||
* तार्किक संगणनाओं के बारे में कुछ संज्ञानात्मक समस्याओं का इस औपचारिकता का उपयोग करके विश्लेषण किया जा सकता है, विशेष रूप से पुनरावर्ती निर्णयों में। मौलिक प्रस्तावपरक कलन की कोई भी तार्किक अभिव्यक्ति स्वाभाविक रूप से | *[[कृत्रिम न्यूरॉन]] में प्रेरित पुनरावर्ती प्रक्रिया के साथ, इस संदर्भ में तार्किक विधियों का पूरी तरह से प्रतिनिधित्व किया जा सकता है।<ref name="miz08" /><ref>Mizraji, E. (1994) [http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.ndjfl/1094061864&page=record Modalities in vector logic] {{Webarchive|url=https://web.archive.org/web/20140811163306/http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.ndjfl%2F1094061864&page=record |date=2014-08-11 }}. Notre Dame Journal of Formal Logic, 35, 272–283</ref> | ||
* तार्किक संगणनाओं के बारे में कुछ संज्ञानात्मक समस्याओं का इस औपचारिकता का उपयोग करके विश्लेषण किया जा सकता है, विशेष रूप से पुनरावर्ती निर्णयों में। मौलिक प्रस्तावपरक कलन की कोई भी तार्किक अभिव्यक्ति स्वाभाविक रूप से ट्री संरचना द्वारा प्रस्तुत की जा सकती है।<ref name="suppes" /> इस तथ्य को सदिश तर्क द्वारा निरंतर रखा गया है, और प्राकृतिक भाषाओं की शाखित संरचना की जांच में केंद्रित तंत्रिका मॉडल में आंशिक रूप से उपयोग किया गया है।<ref>Mizraji, E., Lin, J. (2002) The dynamics of logical decisions. Physica D, 168–169, 386–396</ref><ref>beim Graben, P., Potthast, R. (2009). Inverse problems in dynamic cognitive modeling. Chaos, 19, 015103</ref><ref>beim Graben, P., Pinotsis, D., Saddy, D., Potthast, R. (2008). Language processing with dynamic fields. Cogn. Neurodyn., 2, 79–88</ref><ref>beim Graben, P., Gerth, S., Vasishth, S.(2008) Towards dynamical system models of language-related brain potentials. Cogn. Neurodyn., 2, 229–255</ref><ref>beim Graben, P., Gerth, S. (2012) Geometric representations for minimalist grammars. Journal of Logic, Language and Information, 21, 393-432 . | |||
</ref><ref>Binazzi, A.(2012) [http://www.fupress.net/index.php/sf/article/view/11649 Cognizione logica e modelli mentali.] Studi sulla formazione, 1–2012, pag. 69–84</ref> | </ref><ref>Binazzi, A.(2012) [http://www.fupress.net/index.php/sf/article/view/11649 Cognizione logica e modelli mentali.] Studi sulla formazione, 1–2012, pag. 69–84</ref> | ||
* [[फ्रेडकिन गेट]] के रूप में प्रतिवर्ती संचालन के माध्यम से गणना को | * [[फ्रेडकिन गेट]] के रूप में प्रतिवर्ती संचालन के माध्यम से गणना को दिष्ट तर्क में प्रायुक्त किया जा सकता है। ऐसा कार्यान्वयन आव्यूह प्रचालकों के लिए स्पष्ट अभिव्यक्ति प्रदान करता है जो गणना प्राप्त करने के लिए आवश्यक इनपुट प्रारूप और आउटपुट फ़िल्टरिंग का उत्पादन करता है।<ref name="miz08" /><ref name="miz96" /> | ||
* इसके | *दिष्ट तर्क के संकारक संरचना का उपयोग करके [[प्राथमिक सेलुलर automaton|प्राथमिक सेलुलर स्वचलित]] का विश्लेषण किया जा सकता है; यह विश्लेषण इसकी गतिशीलता को नियंत्रित करने वाले नियमों के वर्णक्रमीय अपघटन की ओर ले जाता है।<ref>Mizraji, E. (2006) The parts and the whole: inquiring how the interaction of simple subsystems generates complexity. International Journal of General Systems, 35, pp. 395–415.</ref><ref>Arruti, C., Mizraji, E. (2006) Hidden potentialities. International Journal of General Systems, 35, 461–469.</ref> | ||
* इसके अतिरिक्त, इस औपचारिकता के आधार पर, असतत [[अंतर और अ | |||