परिधि (तर्क): Difference between revisions

Revision as of 22:51, 25 May 2023

परिसीमन जॉन मैक्कार्थी (कंप्यूटर वैज्ञानिक) द्वारा बनाया गया एक गैर-मोनोटोनिक तर्क है जो सामान्य ज्ञान की धारणा को औपचारिक रूप देने के लिए है कि जब तक अन्यथा निर्दिष्ट नहीं किया जाता है तब तक चीजें अपेक्षित होती हैं।^[1]^[2] प्रधार समस्या को हल करने के प्रयास में बाद में मैक्कार्थी द्वारा परिसीमा का उपयोग किया गया था। अपने प्रारंभिक सूत्रीकरण में परिसीमा को अनुप्रयुक्त करने के लिए, मैककार्थी ने कुछ विधेय के विस्तारण (शब्दार्थ) को कम करने की अनुमति देने के लिए प्रथम-क्रम तर्क को बढ़ाया, जहां विधेय का विस्तारण मानों के टपल का समुच्चय है, जिस पर विधेय सत्य है। यह न्यूनीकरण संवृत्त-विश्व धारणा के समान है कि जो सत्य नहीं है वह असत्य है।^[3] मैक्कार्थी द्वारा मानी गई मूल समस्या मिशनरियों और नरभक्षी समस्या की थी: एक नदी के एक किनारे पर तीन मिशनरी और तीन नरभक्षी हैं; उन्हें एक नाव का उपयोग करके नदी पार करनी होती है जो केवल दो लोगों को ले जा सकती है, इस अतिरिक्त बाधा के साथ कि नरभक्षी को किसी भी किनारे पर मिशनरियों से अधिक नहीं होना चाहिए (अन्यथा मिशनरियों को मार दिया जाएगा और संभवतः खाया जाएगा)। मैक्कार्थी द्वारा विचार की गई समस्या लक्ष्य तक पहुँचने के लिए कदमों के अनुक्रम को खोजने की नहीं थी (मिशनरियों और नरभक्षी समस्या पर लेख में ऐसा एक समाधान सम्मिलित है), बल्कि उन स्थितियों को बाहर करने की है जो स्पष्ट रूप से नहीं बताई गई हैं। उदाहरण के लिए, समाधान आधा मील दक्षिण की ओर जाता है और पुल पर नदी को पार करना सहज रूप से मान्य नहीं है क्योंकि समस्या के बयान में ऐसे पुल का उल्लेख नहीं है। दूसरी ओर, इस पुल के अस्तित्व को भी समस्या के बयान से बाहर नहीं किया गया है। कि पुल उपस्थित नहीं है निहित धारणा का परिणाम है कि समस्या के बयान में वह सब कुछ है जो इसके समाधान के लिए प्रासंगिक है। स्पष्ट रूप से यह कहना कि एक पुल उपस्थित नहीं है, इस समस्या का समाधान नहीं है, क्योंकि कई अन्य असाधारण स्थितियां हैं जिन्हें बाहर रखा जाना चाहिए (जैसे कि नरभक्षी को बन्धन के लिए रस्सी की उपस्थिति, पास में एक बड़ी नाव की उपस्थिति, आदि। )

जड़ता की अंतर्निहित धारणा को औपचारिक रूप देने के लिए बाद में मैक्कार्थी द्वारा परिसीमा का उपयोग किया गया था: जब तक अन्यथा निर्दिष्ट नहीं किया जाता तब तक चीजें परिवर्तित होती नहीं हैं। परिसीमन यह निर्दिष्ट करने से बचने के लिए उपयोगी प्रतीत होता है कि प्रतिबंधों को परिवर्तित करने के लिए स्पष्ट रूप से ज्ञात को छोड़कर सभी क्रियाओं द्वारा स्थिति नहीं परिवर्तित की जाती है; इसे प्रधार समस्या के रूप में जाना जाता है। हालांकि, बाद में मैक्कार्थी द्वारा प्रस्तावित समाधान को कुछ स्थितियों में गलत परिणामों के लिए अग्रणी दिखाया गया, जैसे येल प्रक्षेपण समस्या परिदृश्य में। प्रधार समस्या के अन्य समाधान जो येल प्रक्षेपण समस्या को सही ढंग से औपचारिक रूप देते हैं, उपस्थित हैं; कुछ परिमार्जन का उपयोग करते हैं परन्तु एक अलग तरीके से।

प्रस्तावात्मक मामला

जबकि परिसीमा को प्रारंभ में प्रथम-क्रम तर्क स्थिति में परिभाषित किया गया था, प्रस्तावात्मक स्थिति की विशिष्टता को परिभाषित करना आसान है।^[4] एक प्रस्तावक सूत्र दिया गया है $T$ , इसकी परिसीमा केवल संरचना (गणितीय तर्क) वाले सूत्र है $T$ जब तक आवश्यक न हो, एक चर को सत्य पर नियत न करें।

औपचारिक रूप से, प्रस्तावात्मक प्रतिरूप को प्रस्तावात्मक चर के समुच्चय द्वारा दर्शाया जा सकता है; अर्थात्, प्रत्येक प्रतिरूप को प्रस्तावक चर के समुच्चय द्वारा दर्शाया जाता है जो इसे सत्य को निर्दिष्ट करता है। उदाहरण के लिए, सही निर्दिष्ट करने वाला प्रतिरूप $a$ , झूठा $b$ , और सच है $c$ समुच्चय द्वारा दर्शाया गया है $\{a,c\}$ , क्योंकि $a$ और $c$ वास्तव में वे चर हैं जो इस प्रतिरूप द्वारा सत्य को सौंपे गए हैं।

दो प्रतिरूप दिए $M$ और $N$ इस तरह से प्रतिनिधित्व किया, स्थिति $N\subseteq M$ के समान है $M$ प्रत्येक चर को सत्य पर व्यवस्थित करना $N$ सत्य पर व्यवस्थित करता है। दूसरे शब्दों में, $\subseteq$ ट्रू लेस चर पर समायोजन के संबंध को प्रतिरूप करता है। $N\subset M$ अर्थ कि $N\subseteq M$ परन्तु ये दोनों प्रतिरूप मेल नहीं खाते।

यह हमें उन प्रतिरूपों को परिभाषित करने देता है जो आवश्यक होने तक सत्य को चर निर्दिष्ट नहीं करते हैं। एक प्रतिमा $M$ एक सिद्धांत का (तर्क) $T$ न्यूनतम कहा जाता है, यदि और केवल यदि कोई प्रतिरूप नहीं है $N$ का $T$ जिसके लिए $N\subset M$ .

परिसीमा केवल न्यूनतम प्रतिरूपों का चयन करके व्यक्त की जाती है। इसे इस प्रकार परिभाषित किया गया है:

CIRC(T)=\{M~|~M{\mbox{ is a minimal model of }}T\}

वैकल्पिक रूप से, कोई परिभाषित कर सकता है $CIRC(T)$ प्रतिरूप के बिल्कुल उपरोक्त समुच्चय वाले सूत्र के रूप में; इसके अतिरिक्त, कोई इसकी परिभाषा देने से भी बच सकता है $CIRC$ और केवल न्यूनतम अनुमान को परिभाषित करें $T\models _{M}Q$ यदि और केवल यदि प्रत्येक न्यूनतम प्रतिरूप $T$ का भी एक प्रतिरूप है $Q$ .

उदाहरण के तौर पर सूत्र $T=a\land (b\lor c)$ तीन प्रतिरूप हैं:

$a$ , $b$ , $c$ सत्य हैं, अर्थात् $\{a,b,c\}$ ;
$a$ और $b$ सच हैं, $c$ असत्य है, अर्थात् $\{a,b\}$ ;
$a$ और $c$ सच हैं, $b$ असत्य है, अर्थात् $\{a,c\}$ .

पहला प्रतिरूप चर के समुच्चय में न्यूनतम नहीं है जो इसे सही करता है। वास्तव में, दूसरा प्रतिरूप समान कार्य को छोड़कर करता है $c$ , जिसे असत्य को सौंपा गया है न कि सत्य को। इसलिए, पहला प्रतिरूप न्यूनतम नहीं है। दूसरा और तीसरा प्रतिरूप अतुलनीय हैं: जबकि दूसरा सही है $b$ , तीसरा true निर्दिष्ट करता है $c$ बजाय। इसलिए, सीमाबद्ध प्रतिरूप $T$ सूची के दूसरे और तीसरे प्रतिरूप हैं। वास्तव में इन दो प्रतिरूपों वाले एक प्रस्तावनात्मक सूत्र निम्नलिखित में से एक है:

a\land \neg (b\leftrightarrow c)

सहजता से, परिसीमा में एक चर को केवल तभी निर्दिष्ट किया जाता है जब यह आवश्यक हो। दोहरी रूप से, यदि कोई चर असत्य हो सकता है, तो यह असत्य होना चाहिए। उदाहरण के लिए, कम से कम एक $b$ और $c$ के अनुसार सत्य को सौंपा जाना चाहिए $T$ ; परिसीमा में दो चरों में से एक सही होना चाहिए। चर $a$ के किसी भी प्रतिरूप में गलत नहीं हो सकता $T$ और न ही सीमा।

फिक्स्ड और अलग-अलग विधेय

निश्चित और अलग-अलग विधेय के साथ परिसीमा का विस्तारण व्लादिमीर लाइफशिट्ज के कारण है।^[5] विचार यह है कि कुछ प्रतिबंधों को कम नहीं किया जाना चाहिए। प्रस्तावपरक तर्क के संदर्भ में, यदि संभव हो तो कुछ चर गलत नहीं होने चाहिए। विशेष रूप से, दो प्रकार के चरों पर विचार किया जा सकता है:

अलग-अलग: ये वे चर हैं जिन्हें न्यूनीकरण के पर्यन्त बिल्कुल भी ध्यान में नहीं रखा जाना चाहिए;

निश्चित: ये वे चर हैं जिन्हें न्यूनीकरण करते समय निश्चित माना जाता है; दूसरे शब्दों में, इन चरों के समान मानों वाले प्रतिरूपों की तुलना करके ही न्यूनीकरण किया जा सकता है।

अंतर यह है कि अलग-अलग स्थितियों का मान केवल मान लिया जाता है कि कोई फर्क नहीं पड़ता। इसके बजाय निश्चित स्थितियाँ एक संभावित स्थिति की विशेषता बताती हैं, इसलिए दो स्थितियों की तुलना करना जहाँ इन स्थितियों के अलग-अलग मान हैं, कोई अर्थ नहीं है।

औपचारिक रूप से, सीमा का विस्तारण जिसमें भिन्न और निश्चित चर सम्मिलित होते हैं, वह इस प्रकार है, जहां $P$ न्यूनतम करने के लिए चर का समुच्चय है, $Z$ निश्चित चर, और अलग-अलग चर वे हैं जो भीतर नहीं हैं $P\cup Z$ :

{\text{CIRC}}(T;P,Z)=\{M~|~M\models T{\text{ and }}\not \exists N{\text{ such that }}N\models T,~N\cap P\subset M\cap P{\text{ and }}N\cap Z=M\cap Z\}

शब्दों में, सत्य को सौंपे गए चरों का न्यूनीकरण केवल चरों के लिए किया जाता है $P$ ; इसके अतिरिक्त, प्रतिरूप की तुलना केवल तभी की जाती है जब वे चर के लिए समान मान निर्दिष्ट करते हैं $Z$ . प्रतिरूपों की तुलना करते समय अन्य सभी चरों को ध्यान में नहीं रखा जाता है।

मैक्कार्थी द्वारा प्रस्तावित प्रधार समस्या का समाधान सीमा पर आधारित है जिसमें कोई निश्चित स्थिति नहीं है। प्रस्तावात्मक स्थिति में, इस समाधान को निम्नानुसार वर्णित किया जा सकता है: ज्ञात सूत्रों को सीधे एन्कोडिंग करने के अतिरिक्त, प्रतिबंधों के मानों में परिवर्तन का प्रतिनिधित्व करने वाले नए चर भी परिभाषित करते हैं; इन नए चरों को फिर कम किया जाता है।

उदाहरण के लिए, उस कार्यक्षेत्र का जिसमें एक दरवाजा है जो समय 0 पर संवृत्त होता है और जिसमें समय 2 पर दरवाजा खोलने की क्रिया निष्पादित होती है, जिसे स्पष्ट रूप से जाना जाता है वह दो सूत्रों द्वारा दर्शाया जाता है:

\neg {\text{open}}_{0}

{\text{true}}\rightarrow {\text{open}}_{2}

प्रधार समस्या इस उदाहरण में समस्या के रूप में दिखाई देती है $\neg open_{1}$ उपरोक्त सूत्रों का परिणाम नहीं है, जबकि द्वार को तब तक संवृत्त रहना चाहिए जब तक कि उसे खोलने की क्रिया न हो जाए। नए चर को परिभाषित करके प्रतिबंध का उपयोग इस उद्देश्य के लिए किया जा सकता है $change\_open_{t}$ परिवर्तनों को प्रतिरूप करने और फिर उन्हें कम करने के लिए:

{\text{change open}}_{0}\equiv ({\text{open}}_{0}\not \equiv {\text{open}}_{1})

{\text{change open}}_{1}\equiv ({\text{open}}_{1}\not \equiv {\text{open}}_{2})

...

जैसा कि येल प्रक्षेपण समस्या द्वारा दर्शाया गया है, इस प्रकार का समाधान कार्य नहीं करता है। उदाहरण के लिए, $\neg {\text{open}}_{1}$ अभी तक उपरोक्त सूत्रों की परिसीमा में सम्मिलित नहीं है: वह प्रतिरूप जिसमें ${\text{change open}}_{0}$ सत्य और ${\text{change open}}_{1}$ असत्य है, विपरीत मानों वाले प्रतिरूप के साथ अतुलनीय है। इसलिए, जिस स्थिति में द्वार 1 समय पर विवृत हो जाता है और फिर क्रिया के परिणामस्वरूप विवृत रहता है, उसे परिसीमन द्वारा बाहर नहीं किया जाता है।

ऐसी समस्याओं से ग्रसित नहीं गतिशील कार्यक्षेत्र के कई अन्य औपचारिकताओं को विकसित किया गया है (एक संक्षिप्त विवरण के लिए प्रधार समस्या देखें)। कई लोग सीमा का उपयोग करते हैं परन्तु एक अलग तरीके से।

विधेय परिसीमा

मैककार्थी द्वारा प्रस्तावित परिचलन की मूल परिभाषा प्रथम-क्रम तर्क के विषय में है। प्रस्तावपरक तर्क (कुछ ऐसा जो सत्य या असत्य हो सकता है) में चर की भूमिका पहले क्रम के तर्क में विधेय द्वारा निभाई जाती है। अर्थात्, एक तर्कवाक्य सूत्र को पहले क्रम के तर्क में व्यक्त किया जा सकता है, जिसमें प्रत्येक प्रस्तावक चर को शून्य योग्यता के विधेय के साथ प्रतिस्थापित (अर्थात, बिना किसी तर्क के विधेय) किया जा सकता है। इसलिए, परिसीमा के पहले क्रम के तर्क संस्करण में विधेय पर न्यूनीकरण किया जाता है: जब भी संभव हो, विधेय को असत्य होने के लिए विवश किया जाता है।^[6]

प्रथम-क्रम तर्क सूत्र दिया गया है, $T$ जिसमें एक विधेय $P$ है, इस विधेय का परिसीमन करने के लिए केवल प्रतिरूपों का चयन करना है। जिसमें $T$ , $P$ को मानों के टपल के न्यूनतम समुच्चय पर सत्य करने के लिए निर्दिष्ट किया गया है।

औपचारिक रूप से, प्रथम-क्रम प्रतिरूप में एक विधेय का विस्तारण मानों के टपल का समुच्चय है जो प्रतिरूप में सत्य को निर्दिष्ट करता है। प्रथम-क्रम के प्रतिरूप में वास्तव में प्रत्येक विधेय प्रतीक का मूल्यांकन सम्मिलित है; ऐसा मूल्यांकन बताता है कि विधेय अपने तर्कों के किसी भी संभावित मान के लिए सत्य है या असत्य है।^[7] चूंकि विधेय का प्रत्येक तर्क एक पद होना चाहिए और प्रत्येक पद एक मान का मूल्यांकन करता है, प्रतिरूप बताता है कि क्या $P(v_{1},\ldots ,v_{n})$ मानों के किसी भी संभावित टपल $\langle v_{1},\ldots ,v_{n}\rangle$ के लिए सत्य है। $P$ का विस्तारण एक प्रतिरूप में पदों के टपल का समुच्चय होता है जैसे कि $P(v_{1},\ldots ,v_{n})$ प्रतिरूप में सत्य है।

एक विधेय की परिसीमा $P$ सूत्र में $T$ के केवल प्रतिरूपों का चयन करके प्राप्त किया जाता है, $T$ के न्यूनतम विस्तारण के साथ $P$ है। उदाहरण के लिए, यदि किसी सूत्र में केवल दो प्रतिरूप हैं, केवल इसलिए भिन्न हैं $P(v_{1},\ldots ,v_{n})$ एक में सत्य और दूसरे में असत्य है, तभी दूसरा प्रतिरूप चुना जाता है। यह है क्योंकि $\langle v_{1},\ldots ,v_{n}\rangle$ के विस्तारण में है, $P$ पहले प्रतिरूप में परन्तु दूसरे में नहीं है।

मैककार्थी द्वारा मूल परिभाषा शब्दार्थ के बजाय वाक्य-विन्यास थी। एक सूत्र $T$ और एक विधेय $P$ दिया, परिसीमा $P$ में $T$ निम्नलिखित द्वितीय क्रम सूत्र है:

T(P)\wedge \forall p\neg (T(p)\wedge p<P)

इस सूत्र में, $p$ उसी योग्यता का एक विधेय $P$ है। यह एक दूसरे क्रम का सूत्र है क्योंकि इसमें एक विधेय पर परिमाणीकरण होता है। उपसूत्र $p<P$ निम्न के लिए एक आशुलिपि है:

\forall x(p(x)\rightarrow P(x))\wedge \neg \forall x(P(x)\rightarrow p(x))

इस सूत्र में, $x$ शब्दों का एक n-टपल है, जहाँ n का योग $P$ है। यह सूत्र बताता है कि विस्तार न्यूनीकरण किया जाना है: पर सत्य मूल्यांकन के लिए एक प्रतिरूप $P$ पर विचार किया जा रहा है, यह स्थिति होनी चाहिए कि कोई अन्य विधेय नहीं है, $p$ प्रत्येक टपल को असत्य को निर्दिष्ट कर सकता है। $P$ असत्य को निर्दिष्ट करता है और फिर भी $P$ से भिन्न होता है।

यह परिभाषा केवल एक विधेय को सीमित करने की अनुमति प्रदान करती है। जबकि एक से अधिक विधेय का विस्तार तुच्छ है, एक विधेय के विस्तारण को कम करने का एक महत्वपूर्ण अनुप्रयोग है: इस विचार को पकड़ना कि चीजें सामान्यतः अपेक्षित होती हैं। स्थितियों की असामान्यता को व्यक्त करने वाले एकल विधेय को कम करके इस विचार को औपचारिक रूप दिया जा सकता है। विशेष रूप से, प्रत्येक ज्ञात तथ्य को एक शाब्दिक जोड़ $\neg Abnormal(...)$ के साथ तर्क में व्यक्त किया जाता है, यह बताते हुए कि तथ्य केवल सामान्य स्थितियों में ही होता है। इस विधेय के विस्तारण को कम करने से अंतर्निहित धारणा के अंतर्गत तर्क करने की अनुमति मिलती है कि चीजें अपेक्षित हैं (अर्थात, वे असामान्य नहीं हैं) और यह धारणा केवल तभी बनाई जाती है जब संभव हो (असामान्यता को तभी गलत माना जा सकता है जब यह संगत तथ्य हो)।

बिंदुवार परिसीमन

बिंदुवार परिसीमन, प्रथम अनुक्रम प्रतिबंध का एक प्रकार है जिसे व्लादिमीर लाइफशिट्ज द्वारा प्रस्तुत किया गया है।^[8] प्रस्तावात्मक स्थिति में, बिंदुवार और विधेय परिसीमा मेल खाते हैं। बिंदुवार परिसीमा का तर्क यह है कि यह विधेय के विस्तारण को कम करने के बजाय अलग-अलग मानों के प्रत्येक टपल के लिए एक विधेय के मान को कम करता है। उदाहरण के लिए, $P(a)\equiv P(b)$ के दो प्रतिरूप हैं, कार्यक्षेत्र $\{a,b\}$ के साथ, एक समायोजन $P(a)=P(b)=false$ और दूसरी समायोजन $P(a)=P(b)=true$ के विस्तारण के बाद से $P$ पहले प्रतिरूप में $\emptyset$ है जबकि दूसरे का विस्तारणण $\{a,b\}$ है, परिसीमा केवल पहले प्रतिरूप का चयन करती है।

बिंदुवार परिसीमन में, मानों के प्रत्येक टपल को भिन्न माना जाता है। उदाहरण के लिए, सूत्र $P(a)\equiv P(b)$ में, कोई $P(a)$ से भिन्न $P(b)$ के मान पर विचार करेगा। एक प्रतिरूप न्यूनतम तभी होता है जब सूत्र को संतुष्ट करते हुए ऐसे किसी भी मान को सत्य से असत्य में परिवर्तित करना संभव न हो। परिणामस्वरूप, जिस प्रतिरूप $P(a)=P(b)=true$ में, केवल वर्तन के कारण बिंदुवार परिसीमा द्वारा चुना जाता है, $P(a)$ असत्य में सूत्र को संतुष्ट नहीं करता है और $P(b)$ के लिए भी ऐसा ही होता है।

कार्यक्षेत्र और सूत्र परिवर्णन

मैककार्थी द्वारा परिसीमा का एक पूर्व सूत्रीकरण विधेय के विस्तारण के बजाय प्रथम-क्रम प्रतिरूप के कार्यक्षेत्र को कम करने पर आधारित है। अर्थात्, एक प्रतिरूप को दूसरे से कम माना जाता है यदि इसका एक छोटा कार्यक्षेत्र है और दो प्रतिरूप मानों के सामान्य टपल के मूल्यांकन पर मेल खाते हैं। परिसीमा के इस संस्करण को विधेय परिसीमा में घटाया जा सकता है।

सूत्र परिसीमा मैक्कार्थी द्वारा प्रारंभ की गई बाद की औपचारिकता थी। यह परिसीमा का एक सामान्यीकरण है जिसमें एक विधेय के विस्तारण के बजाय सूत्र के विस्तारण को कम किया जाता है। दूसरे शब्दों में, एक सूत्र निर्दिष्ट किया जा सकता है ताकि सूत्र को संतुष्ट करने वाले कार्यक्षेत्रों के मानों के टपल का समुच्चय जितना संभव हो उतना छोटा हो।

सिद्धांत पर अंकुश

परिसीमा सदैव वियोगात्मक सूचना को सही ढंग से नियंत्रित नहीं करता है। रे रेइटर ने निम्नलिखित उदाहरण प्रदान किया: एक चेकबोर्ड पर एक सिक्का उछाला जाता है और परिणाम यह होता है कि सिक्का या तो एक काले क्षेत्र पर, या एक सफेद क्षेत्र पर, या दोनों पर होता है। हालाँकि, बड़ी संख्या में अन्य संभावित स्थान हैं जहाँ सिक्का नहीं होना चाहिए; उदाहरण के लिए, यह निहित है कि सिक्का भूतल पर, या प्रशीतित्र पर, या चंद्रमा की सतह पर नहीं है। इसलिए परिसीमा $On$ विधेय का उपयोग विस्तारण को कम करने के लिए किया जा सकता है, ताकि $On({\text{coin}},{\text{moon}})$ असत्य है भले ही यह स्पष्ट रूप से नहीं कहा गया हो।

दूसरी ओर, $On$ का न्यूनतमकरण विधेय पर गलत परिणाम होता है कि सिक्का या तो काले क्षेत्र पर या सफेद क्षेत्र पर है, परन्तु दोनों पर नहीं है। ऐसा इसलिए है क्योंकि जिन प्रतिरूपों में $On$ पर ही सत्य है, $({\text{coin}},{\text{white area}})$ और केवल $On$ पर $({\text{coin}},{\text{black area}})$ का न्यूनतम विस्तारण है, जबकि प्रतिरूप जिसमें $On$ का विस्तारण दोनों युग्मों से बना है, न्यूनतम नहीं है।

सिद्धान्त अंकुश थॉमस ईटर, जॉर्ज गोटलोब और यूरी गुरेविच द्वारा प्रस्तावित एक समाधान है।^[9] विचार यह है कि जिस प्रतिरूप में परिसीमा का चयन करने में विफल रहता है, वह एक जिसमें दोनों $On({\text{coin}},{\text{white area}})$ और $On({\text{coin}},{\text{black area}})$ सत्य हैं, सूत्र का एक प्रतिरूप है जो (डब्ल्यू .आर. टी का विस्तारण $On$ ) चुने गए दोनों प्रतिरूपों की तुलना में अधिक है। अधिक विशेष रूप से, सूत्र के प्रतिरूपों में, बहिष्कृत प्रतिरूप दो चयनित प्रतिरूपों की सबसे कम ऊपरी सीमा है। सिद्धान्त अंकुश इस तरह के कम-से-कम ऊपरी सीमा प्रतिरूप का चयन करता है, इसके अतिरिक्त परिसीमा द्वारा चुना जाता है। यह समावेशन तब तक किया जाता है जब तक प्रतिरूप का समुच्चय संवृत्त नहीं हो जाता है, इस अर्थ में कि इसमें प्रतिरूप के सभी समुच्चयों की कम से कम ऊपरी सीमाएं सम्मिलित हैं।

यह भी देखें

संदर्भ

↑ McCarthy, J. (February 1986). "Applications of circumscription to formalizing common-sense knowledge". Artificial Intelligence. 28 (1): 89–116. doi:10.1016/0004-3702(86)90032-9.
↑ McCarthy, J. (April 1980). "Circumscription – A form of non-monotonic reasoning". Artificial Intelligence. 13: 27–39. doi:10.1016/0004-3702(80)90011-9.
↑ Eiter, T.; Gottlob, G. (June 1993). "Propositional circumscription and extended closed world reasoning are \Pi^p_2-complete". Theoretical Computer Science. 114 (2): 231–245. doi:10.1016/0304-3975(93)90073-3.
↑ Cadoli, M.; Lenzerini, M. (April 1994). "The complexity of propositional closed world reasoning and circumscription". Journal of Computer and System Sciences. 48 (2): 255–310. doi:10.1016/S0022-0000(05)80004-2.
↑ Lifschitz, V. (November 1985). "Closed-world databases and circumscription". Artificial Intelligence. 27: 229–235. doi:10.1016/0004-3702(85)90055-4.
↑ Lifschitz, V. (1994). "Circumscription". In Gabbay, D.M.; Hogger, C.J.; Robinson, J.A. Nonmonotonic Reasoning and Uncertain Reasoning. Handbooks of Logic in Computer Science and Artificial Intelligence and Logic Programming. 3. Oxford University Press. pp. 297–352. ISBN 0198537476.
↑ Cadoli, M. (November 1992). "The complexity of model checking for circumscriptive formulae". Information Processing Letters. 44 (3): 113–8. doi:10.1016/0020-0190(92)90049-2.
↑ Lifschitz, V. (1986). "Pointwise circumscription". Proceedings AAAI-86 Fifth National Conference on Artificial Intelligence, August 11-15, 1986, Philadelphia, PA. pp. 406–410. ISBN 0934613133.
↑ Eiter, T.; Gottlob, G.; Gurevich, Y. (1993). "CURB your theory!". In Bajcsy, Ruzena. IJCAI-93: proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Chambéry, France, August 28–September 3, 1993. IJCAII. pp. 634–9. ISBN 155860300X.

बाहरी संबंध

Circumscription – a form of nonmonotonic reasoning, a paper by McCarthy.
An explanation in the Stanford encyclopedia on philosophy

[1] McCarthy, J. (February 1986). "Applications of circumscription to formalizing common-sense knowledge". Artificial Intelligence. 28 (1): 89–116. doi:10.1016/0004-3702(86)90032-9.

[2] McCarthy, J. (April 1980). "Circumscription – A form of non-monotonic reasoning". Artificial Intelligence. 13: 27–39. doi:10.1016/0004-3702(80)90011-9.

[3] Eiter, T.; Gottlob, G. (June 1993). "Propositional circumscription and extended closed world reasoning are \Pi^p_2-complete". Theoretical Computer Science. 114 (2): 231–245. doi:10.1016/0304-3975(93)90073-3.

[4] Cadoli, M.; Lenzerini, M. (April 1994). "The complexity of propositional closed world reasoning and circumscription". Journal of Computer and System Sciences. 48 (2): 255–310. doi:10.1016/S0022-0000(05)80004-2.

[5] Lifschitz, V. (November 1985). "Closed-world databases and circumscription". Artificial Intelligence. 27: 229–235. doi:10.1016/0004-3702(85)90055-4.

[6] Lifschitz, V. (1994). "Circumscription". In Gabbay, D.M.; Hogger, C.J.; Robinson, J.A. Nonmonotonic Reasoning and Uncertain Reasoning. Handbooks of Logic in Computer Science and Artificial Intelligence and Logic Programming. 3. Oxford University Press. pp. 297–352. ISBN 0198537476.

[7] Cadoli, M. (November 1992). "The complexity of model checking for circumscriptive formulae". Information Processing Letters. 44 (3): 113–8. doi:10.1016/0020-0190(92)90049-2.

[8] Lifschitz, V. (1986). "Pointwise circumscription". Proceedings AAAI-86 Fifth National Conference on Artificial Intelligence, August 11-15, 1986, Philadelphia, PA. pp. 406–410. ISBN 0934613133.

[9] Eiter, T.; Gottlob, G.; Gurevich, Y. (1993). "CURB your theory!". In Bajcsy, Ruzena. IJCAI-93: proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Chambéry, France, August 28–September 3, 1993. IJCAII. pp. 634–9. ISBN 155860300X.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

@@ Line 2: / Line 2: @@
 {{distinguish|परिसीमन}}
-परिसीमन जॉन मैक्कार्थी (कंप्यूटर वैज्ञानिक) द्वारा बनाया गया एक [[गैर-मोनोटोनिक तर्क]] है जो सामान्य ज्ञान की धारणा को औपचारिक रूप देने के लिए है कि जब तक अन्यथा निर्दिष्ट नहीं किया जाता है तब तक चीजें अपेक्षित होती हैं।<ref>McCarthy, J. (February 1986). "Applications of circumscription to formalizing common-sense knowledge". Artificial Intelligence. 28 (1): 89–116. doi:10.1016/0004-3702(86)90032-9.</ref><ref>McCarthy, J. (April 1980). "Circumscription – A form of non-monotonic reasoning". Artificial Intelligence. 13: 27–39. doi:10.1016/0004-3702(80)90011-9.</ref> [[फ्रेम समस्या|प्रधार समस्या]] को हल करने के प्रयास में बाद में मैक्कार्थी द्वारा परिधि का उपयोग किया गया था। अपने प्रारंभिक सूत्रीकरण में परिधि को अनुप्रयुक्त करने के लिए, मैककार्थी ने कुछ विधेय के [[विस्तार (शब्दार्थ)]] को कम करने की अनुमति देने के लिए प्रथम-क्रम तर्क को बढ़ाया, जहां विधेय का विस्तार मानों के टपल का समुच्चय है, जिस पर विधेय सत्य है। यह न्यूनीकरण संवृत्त-विश्व धारणा के समान है कि जो सत्य नहीं है वह असत्य है।<ref>Eiter, T.; Gottlob, G. (June 1993). "Propositional circumscription and extended closed world reasoning are \Pi^p_2-complete". Theoretical Computer Science. 114 (2): 231–245. doi:10.1016/0304-3975(93)90073-3.</ref>
+परिसीमन जॉन मैक्कार्थी (कंप्यूटर वैज्ञानिक) द्वारा बनाया गया एक [[गैर-मोनोटोनिक तर्क]] है जो सामान्य ज्ञान की धारणा को औपचारिक रूप देने के लिए है कि जब तक अन्यथा निर्दिष्ट नहीं किया जाता है तब तक चीजें अपेक्षित होती हैं।<ref>McCarthy, J. (February 1986). "Applications of circumscription to formalizing common-sense knowledge". Artificial Intelligence. 28 (1): 89–116. doi:10.1016/0004-3702(86)90032-9.</ref><ref>McCarthy, J. (April 1980). "Circumscription – A form of non-monotonic reasoning". Artificial Intelligence. 13: 27–39. doi:10.1016/0004-3702(80)90011-9.</ref> [[फ्रेम समस्या|प्रधार समस्या]] को हल करने के प्रयास में बाद में मैक्कार्थी द्वारा परिसीमा का उपयोग किया गया था। अपने प्रारंभिक सूत्रीकरण में परिसीमा को अनुप्रयुक्त करने के लिए, मैककार्थी ने कुछ विधेय के [[विस्तार (शब्दार्थ)|विस्तारण (शब्दार्थ)]] को कम करने की अनुमति देने के लिए प्रथम-क्रम तर्क को बढ़ाया, जहां विधेय का विस्तारण मानों के टपल का समुच्चय है, जिस पर विधेय सत्य है। यह न्यूनीकरण संवृत्त-विश्व धारणा के समान है कि जो सत्य नहीं है वह असत्य है।<ref>Eiter, T.; Gottlob, G. (June 1993). "Propositional circumscription and extended closed world reasoning are \Pi^p_2-complete". Theoretical Computer Science. 114 (2): 231–245. doi:10.1016/0304-3975(93)90073-3.</ref>
 मैक्कार्थी द्वारा मानी गई मूल समस्या [[मिशनरियों और नरभक्षी समस्या]] की थी: एक नदी के एक किनारे पर तीन मिशनरी और तीन नरभक्षी हैं; उन्हें एक नाव का उपयोग करके नदी पार करनी होती है जो केवल दो लोगों को ले जा सकती है, इस अतिरिक्त बाधा के साथ कि नरभक्षी को किसी भी किनारे पर मिशनरियों से अधिक नहीं होना चाहिए (अन्यथा मिशनरियों को मार दिया जाएगा और संभवतः खाया जाएगा)। मैक्कार्थी द्वारा विचार की गई समस्या लक्ष्य तक पहुँचने के लिए कदमों के अनुक्रम को खोजने की नहीं थी (मिशनरियों और नरभक्षी समस्या पर लेख में ऐसा एक समाधान सम्मिलित है), बल्कि उन स्थितियों को बाहर करने की है जो स्पष्ट रूप से नहीं बताई गई हैं। उदाहरण के लिए, समाधान आधा मील दक्षिण की ओर जाता है और पुल पर नदी को पार करना सहज रूप से मान्य नहीं है क्योंकि समस्या के बयान में ऐसे पुल का उल्लेख नहीं है। दूसरी ओर, इस पुल के अस्तित्व को भी समस्या के बयान से बाहर नहीं किया गया है। कि पुल उपस्थित नहीं है
 निहित धारणा का परिणाम है कि समस्या के बयान में वह सब कुछ है जो इसके समाधान के लिए प्रासंगिक है। स्पष्ट रूप से यह कहना कि एक पुल उपस्थित नहीं है, इस समस्या का समाधान नहीं है, क्योंकि कई अन्य असाधारण स्थितियां हैं जिन्हें बाहर रखा जाना चाहिए (जैसे कि नरभक्षी को बन्धन के लिए रस्सी की उपस्थिति, पास में एक बड़ी नाव की उपस्थिति, आदि। )
-[[जड़ता]] की अंतर्निहित धारणा को औपचारिक रूप देने के लिए बाद में मैक्कार्थी द्वारा परिधि का उपयोग किया गया था: जब तक अन्यथा निर्दिष्ट नहीं किया जाता तब तक चीजें परिवर्तित होती नहीं हैं। परिसीमन यह निर्दिष्ट करने से बचने के लिए उपयोगी प्रतीत होता है कि प्रतिबंधों को परिवर्तित करने के लिए स्पष्ट रूप से ज्ञात को छोड़कर सभी क्रियाओं द्वारा स्थिति नहीं परिवर्तित की जाती है; इसे प्रधार समस्या के रूप में जाना जाता है। हालांकि, बाद में मैक्कार्थी द्वारा प्रस्तावित समाधान को कुछ स्थितियों में गलत परिणामों के लिए अग्रणी दिखाया गया, जैसे [[येल शूटिंग समस्या|येल प्रक्षेपण समस्या]] परिदृश्य में। प्रधार समस्या के अन्य समाधान जो येल प्रक्षेपण समस्या को सही ढंग से औपचारिक रूप देते हैं, उपस्थित हैं; कुछ परिमार्जन का उपयोग करते हैं परन्तु एक अलग तरीके से।
+[[जड़ता]] की अंतर्निहित धारणा को औपचारिक रूप देने के लिए बाद में मैक्कार्थी द्वारा परिसीमा का उपयोग किया गया था: जब तक अन्यथा निर्दिष्ट नहीं किया जाता तब तक चीजें परिवर्तित होती नहीं हैं। परिसीमन यह निर्दिष्ट करने से बचने के लिए उपयोगी प्रतीत होता है कि प्रतिबंधों को परिवर्तित करने के लिए स्पष्ट रूप से ज्ञात को छोड़कर सभी क्रियाओं द्वारा स्थिति नहीं परिवर्तित की जाती है; इसे प्रधार समस्या के रूप में जाना जाता है। हालांकि, बाद में मैक्कार्थी द्वारा प्रस्तावित समाधान को कुछ स्थितियों में गलत परिणामों के लिए अग्रणी दिखाया गया, जैसे [[येल शूटिंग समस्या|येल प्रक्षेपण समस्या]] परिदृश्य में। प्रधार समस्या के अन्य समाधान जो येल प्रक्षेपण समस्या को सही ढंग से औपचारिक रूप देते हैं, उपस्थित हैं; कुछ परिमार्जन का उपयोग करते हैं परन्तु एक अलग तरीके से।
 ==प्रस्तावात्मक मामला==
-जबकि परिधि को प्रारंभ में प्रथम-क्रम तर्क स्थिति में परिभाषित किया गया था, प्रस्तावात्मक स्थिति की विशिष्टता को परिभाषित करना आसान है।<ref>Cadoli, M.; Lenzerini, M. (April 1994). "The complexity of propositional closed world reasoning and circumscription". Journal of Computer and System Sciences. 48 (2): 255–310. doi:10.1016/S0022-0000(05)80004-2.</ref> एक [[प्रस्तावक सूत्र]] दिया गया है <math>T</math>, इसकी परिसीमा केवल [[संरचना (गणितीय तर्क)]] वाले सूत्र है <math>T</math> जब तक आवश्यक न हो, एक चर को सत्य पर नियत न करें।
+जबकि परिसीमा को प्रारंभ में प्रथम-क्रम तर्क स्थिति में परिभाषित किया गया था, प्रस्तावात्मक स्थिति की विशिष्टता को परिभाषित करना आसान है।<ref>Cadoli, M.; Lenzerini, M. (April 1994). "The complexity of propositional closed world reasoning and circumscription". Journal of Computer and System Sciences. 48 (2): 255–310. doi:10.1016/S0022-0000(05)80004-2.</ref> एक [[प्रस्तावक सूत्र]] दिया गया है <math>T</math>, इसकी परिसीमा केवल [[संरचना (गणितीय तर्क)]] वाले सूत्र है <math>T</math> जब तक आवश्यक न हो, एक चर को सत्य पर नियत न करें।
 औपचारिक रूप से, प्रस्तावात्मक प्रतिरूप को प्रस्तावात्मक चर के समुच्चय द्वारा दर्शाया जा सकता है; अर्थात्, प्रत्येक प्रतिरूप को [[प्रस्तावक चर]] के समुच्चय द्वारा दर्शाया जाता है जो इसे सत्य को निर्दिष्ट करता है। उदाहरण के लिए, सही निर्दिष्ट करने वाला प्रतिरूप <math>a</math>, झूठा <math>b</math>, और सच है <math>c</math> समुच्चय द्वारा दर्शाया गया है <math>\{a, c\}</math>, क्योंकि <math>a</math> और <math>c</math> वास्तव में वे चर हैं जो इस प्रतिरूप द्वारा सत्य को सौंपे गए हैं।
@@ Line 19: / Line 19: @@
 <math>N</math> का <math>T</math> जिसके लिए <math>N \subset M</math>.
-परिधि केवल न्यूनतम प्रतिरूपों का चयन करके व्यक्त की जाती है। इसे इस प्रकार परिभाषित किया गया है:
+परिसीमा केवल न्यूनतम प्रतिरूपों का चयन करके व्यक्त की जाती है। इसे इस प्रकार परिभाषित किया गया है:
 :<math>CIRC(T) = \{ M ~|~ M \mbox{ is a minimal model of } T \}</math>
@@ Line 30: / Line 30: @@
 # <math>a</math> और <math>c</math> सच हैं, <math>b</math> असत्य है, अर्थात् <math>\{a,c\}</math>.
-पहला प्रतिरूप चर के सेट में न्यूनतम नहीं है जो इसे सही करता है। वास्तव में, दूसरा प्रतिरूप समान कार्य को छोड़कर करता है <math>c</math>, जिसे असत्य को सौंपा गया है न कि सत्य को। इसलिए, पहला प्रतिरूप न्यूनतम नहीं है। दूसरा और तीसरा प्रतिरूप अतुलनीय हैं: जबकि दूसरा सही है <math>b</math>, तीसरा true निर्दिष्ट करता है <math>c</math> बजाय। इसलिए, सीमाबद्ध प्रतिरूप <math>T</math> सूची के दूसरे और तीसरे प्रतिरूप हैं। वास्तव में इन दो प्रतिरूपों वाले एक प्रस्तावनात्मक सूत्र निम्नलिखित में से एक है:
+पहला प्रतिरूप चर के समुच्चय में न्यूनतम नहीं है जो इसे सही करता है। वास्तव में, दूसरा प्रतिरूप समान कार्य को छोड़कर करता है <math>c</math>, जिसे असत्य को सौंपा गया है न कि सत्य को। इसलिए, पहला प्रतिरूप न्यूनतम नहीं है। दूसरा और तीसरा प्रतिरूप अतुलनीय हैं: जबकि दूसरा सही है <math>b</math>, तीसरा true निर्दिष्ट करता है <math>c</math> बजाय। इसलिए, सीमाबद्ध प्रतिरूप <math>T</math> सूची के दूसरे और तीसरे प्रतिरूप हैं। वास्तव में इन दो प्रतिरूपों वाले एक प्रस्तावनात्मक सूत्र निम्नलिखित में से एक है:
 :<math>a \land \neg (b \leftrightarrow c)</math>
-सहजता से, परिधि में एक चर को केवल तभी निर्दिष्ट किया जाता है जब यह आवश्यक हो। दोहरी रूप से, यदि कोई चर असत्य हो सकता है, तो यह असत्य होना चाहिए। उदाहरण के लिए, कम से कम एक <math>b</math> और <math>c</math> के अनुसार सत्य को सौंपा जाना चाहिए <math>T</math>; परिधि में दो चरों में से एक सही होना चाहिए। चर <math>a</math> के किसी भी प्रतिरूप में गलत नहीं हो सकता <math>T</math> और न ही सीमा।
+सहजता से, परिसीमा में एक चर को केवल तभी निर्दिष्ट किया जाता है जब यह आवश्यक हो। दोहरी रूप से, यदि कोई चर असत्य हो सकता है, तो यह असत्य होना चाहिए। उदाहरण के लिए, कम से कम एक <math>b</math> और <math>c</math> के अनुसार सत्य को सौंपा जाना चाहिए <math>T</math>; परिसीमा में दो चरों में से एक सही होना चाहिए। चर <math>a</math> के किसी भी प्रतिरूप में गलत नहीं हो सकता <math>T</math> और न ही सीमा।
 == फिक्स्ड और अलग-अलग विधेय ==
-निश्चित और अलग-अलग विधेय के साथ परिधि का विस्तार [[व्लादिमीर लाइफशिट्ज]] के कारण है।<ref>Lifschitz, V. (November 1985). "Closed-world databases and circumscription". Artificial Intelligence. 27: 229–235. doi:10.1016/0004-3702(85)90055-4.</ref> विचार यह है कि कुछ प्रतिबंधों को कम नहीं किया जाना चाहिए। प्रस्तावपरक तर्क के संदर्भ में, यदि संभव हो तो कुछ चर गलत नहीं होने चाहिए। विशेष रूप से, दो प्रकार के चरों पर विचार किया जा सकता है:
+निश्चित और अलग-अलग विधेय के साथ परिसीमा का विस्तारण [[व्लादिमीर लाइफशिट्ज]] के कारण है।<ref>Lifschitz, V. (November 1985). "Closed-world databases and circumscription". Artificial Intelligence. 27: 229–235. doi:10.1016/0004-3702(85)90055-4.</ref> विचार यह है कि कुछ प्रतिबंधों को कम नहीं किया जाना चाहिए। प्रस्तावपरक तर्क के संदर्भ में, यदि संभव हो तो कुछ चर गलत नहीं होने चाहिए। विशेष रूप से, दो प्रकार के चरों पर विचार किया जा सकता है:
 ; अलग-अलग: ये वे चर हैं जिन्हें न्यूनीकरण के पर्यन्त बिल्कुल भी ध्यान में नहीं रखा जाना चाहिए;
@@ Line 45: / Line 45: @@
 अंतर यह है कि अलग-अलग स्थितियों का मान केवल मान लिया जाता है कि कोई फर्क नहीं पड़ता। इसके बजाय निश्चित स्थितियाँ एक संभावित स्थिति की विशेषता बताती हैं, इसलिए दो स्थितियों की तुलना करना जहाँ इन स्थितियों के अलग-अलग मान हैं, कोई  अर्थ नहीं है।
-औपचारिक रूप से, सीमा का विस्तार जिसमें भिन्न और निश्चित चर सम्मिलित होते हैं, वह इस प्रकार है, जहां <math>P</math> न्यूनतम करने के लिए चर का समुच्चय है, <math>Z</math> निश्चित चर, और अलग-अलग चर वे हैं जो भीतर नहीं हैं <math>P \cup Z</math>:
+औपचारिक रूप से, सीमा का विस्तारण जिसमें भिन्न और निश्चित चर सम्मिलित होते हैं, वह इस प्रकार है, जहां <math>P</math> न्यूनतम करने के लिए चर का समुच्चय है, <math>Z</math> निश्चित चर, और अलग-अलग चर वे हैं जो भीतर नहीं हैं <math>P \cup Z</math>:
 :<math>\text{CIRC}(T;P,Z) = \{ M ~|~ M \models T \text{ and }
@@ Line 63: / Line 63: @@
 : ...
-जैसा कि येल प्रक्षेपण समस्या द्वारा दर्शाया गया है, इस प्रकार का समाधान काम नहीं करता है। उदाहरण के लिए, <math>\neg \text{open}_1</math> अभी तक उपरोक्त सूत्रों की परिधि में सम्मिलित नहीं है: वह प्रतिरूप जिसमें <math>\text{change open}_0</math> सच है और <math>\text{change open}_1</math> गलत है विपरीत मानों वाले प्रतिरूप के साथ अतुलनीय है। इसलिए, जिस स्थिति में दरवाजा 1 समय पर खुला हो जाता है और फिर कार्रवाई के परिणामस्वरूप खुला रहता है, उसे परिसीमन द्वारा बाहर नहीं किया जाता है।
+जैसा कि येल प्रक्षेपण समस्या द्वारा दर्शाया गया है, इस प्रकार का समाधान कार्य नहीं करता है। उदाहरण के लिए, <math>\neg \text{open}_1</math>अभी तक उपरोक्त सूत्रों की परिसीमा में सम्मिलित नहीं है: वह प्रतिरूप जिसमें <math>\text{change open}_0</math>सत्य और <math>\text{change open}_1</math>असत्य है, विपरीत मानों वाले प्रतिरूप के साथ अतुलनीय है। इसलिए, जिस स्थिति में द्वार 1 समय पर विवृत हो जाता है और फिर क्रिया के परिणामस्वरूप विवृत रहता है, उसे परिसीमन द्वारा बाहर नहीं किया जाता है।
-ऐसी समस्याओं से पीड़ित नहीं गतिशील कार्यक्षेत्र के कई अन्य औपचारिकताओं को विकसित किया गया है (एक सिंहावलोकन के लिए प्रधार समस्या देखें)। कई लोग सीमा का उपयोग करते हैं परन्तु एक अलग तरीके से।
+ऐसी समस्याओं से ग्रसित नहीं गतिशील कार्यक्षेत्र के कई अन्य औपचारिकताओं को विकसित किया गया है (एक संक्षिप्त विवरण के लिए प्रधार समस्या देखें)। कई लोग सीमा का उपयोग करते हैं परन्तु एक अलग तरीके से।
-== विधेय परिधि ==
+== विधेय परिसीमा ==
-मैककार्थी द्वारा प्रस्तावित परिचलन की मूल परिभाषा प्रथम-क्रम तर्क के बारे में है। प्रस्तावपरक तर्क (कुछ ऐसा जो सत्य या असत्य हो सकता है) में चर की भूमिका पहले क्रम के तर्क में विधेय द्वारा निभाई जाती है। अर्थात्, एक तर्कवाक्य सूत्र को पहले क्रम के तर्क में व्यक्त किया जा सकता है, जिसमें प्रत्येक प्रस्तावक चर को शून्य arity के विधेय के साथ प्रतिस्थापित किया जा सकता है (अर्थात, बिना किसी तर्क के विधेय)। इसलिए, परिधि के पहले क्रम के तर्क संस्करण में विधेय पर न्यूनीकरण किया जाता है: जब भी संभव हो, विधेय को गलत होने के लिए एक सूत्र का परिधि प्राप्त किया जाता है।<ref>Lifschitz, V. (1994). "Circumscription". In Gabbay, D.M.; Hogger, C.J.; Robinson, J.A. Nonmonotonic Reasoning and Uncertain Reasoning. Handbooks of Logic in Computer Science and Artificial Intelligence and Logic Programming. 3. Oxford University Press. pp. 297–352. {{ISBN|0198537476}}.</ref>
+मैककार्थी द्वारा प्रस्तावित परिचलन की मूल परिभाषा प्रथम-क्रम तर्क के विषय में है। प्रस्तावपरक तर्क (कुछ ऐसा जो सत्य या असत्य हो सकता है) में चर की भूमिका पहले क्रम के तर्क में विधेय द्वारा निभाई जाती है। अर्थात्, एक तर्कवाक्य सूत्र को पहले क्रम के तर्क में व्यक्त किया जा सकता है, जिसमें प्रत्येक प्रस्तावक चर को शून्य योग्यता के विधेय के साथ प्रतिस्थापित (अर्थात, बिना किसी तर्क के विधेय) किया जा सकता है। इसलिए, परिसीमा के पहले क्रम के तर्क संस्करण में विधेय पर न्यूनीकरण किया जाता है: जब भी संभव हो, विधेय को असत्य होने के लिए विवश किया जाता है।<ref>Lifschitz, V. (1994). "Circumscription". In Gabbay, D.M.; Hogger, C.J.; Robinson, J.A. Nonmonotonic Reasoning and Uncertain Reasoning. Handbooks of Logic in Computer Science and Artificial Intelligence and Logic Programming. 3. Oxford University Press. pp. 297–352. {{ISBN|0198537476}}.</ref>
-प्रथम-क्रम तर्क सूत्र दिया गया है <math>T</math> एक [[विधेय (तर्क)]] युक्त <math>P</math>, इस विधेय मात्रा का परिसीमन केवल के प्रतिरूप का चयन करने के लिए <math>T</math> जिसमें <math>P</math> मानों के टपल के न्यूनतम समुच्चय पर सत्य को निर्दिष्ट किया गया है।
-औपचारिक रूप से, प्रथम-क्रम प्रतिरूप में एक विधेय का विस्तार मानों के टपल का सेट है जो प्रतिरूप में सत्य को निर्दिष्ट करता है। प्रथम-क्रम के प्रतिरूप में वास्तव में प्रत्येक विधेय प्रतीक का मानांकन सम्मिलित है; ऐसा मानांकन बताता है कि विधेय अपने तर्कों के किसी भी संभावित मान के लिए सही है या गलत।<ref>Cadoli, M. (November 1992). "The complexity of model checking for circumscriptive formulae". Information Processing Letters. 44 (3): 113–8. doi:10.1016/0020-0190(92)90049-2.</ref> चूंकि विधेय का प्रत्येक तर्क एक शब्द होना चाहिए, और प्रत्येक शब्द एक मान का मानांकन करता है, प्रतिरूप बताता है कि क्या <math>P(v_1,\ldots,v_n)</math> मानों के किसी भी संभावित टपल के लिए सत्य है <math>\langle v_1,\ldots,v_n \rangle</math>. का विस्तार <math>P</math> एक प्रतिरूप में शब्दों के टपल का सेट होता है जैसे कि <math>P(v_1,\ldots,v_n)</math> प्रतिरूप में सत्य है।
+प्रथम-क्रम तर्क सूत्र दिया गया है, <math>T</math> जिसमें एक विधेय <math>P</math> है, इस विधेय का परिसीमन करने के लिए केवल प्रतिरूपों का चयन करना है। जिसमें <math>T</math>, <math>P</math> को मानों के टपल के न्यूनतम समुच्चय पर सत्य करने के लिए निर्दिष्ट किया गया है।
-एक विधेय की परिधि <math>P</math> एक सूत्र में <math>T</math> के केवल प्रतिरूपों का चयन करके प्राप्त किया जाता है <math>T</math> न्यूनतम विस्तार के साथ <math>P</math>. उदाहरण के लिए, यदि किसी सूत्र में केवल दो प्रतिरूप हैं, केवल इसलिए भिन्न हैं <math>P(v_1,\ldots,v_n)</math> एक में सत्य और दूसरे में असत्य है, तभी दूसरा प्रतिरूप चुना जाता है। यह है क्योंकि <math>\langle v_1,\ldots,v_n \rangle</math> के विस्तार में है <math>P</math> पहले प्रतिरूप में परन्तु दूसरे में नहीं।
+औपचारिक रूप से, प्रथम-क्रम प्रतिरूप में एक विधेय का विस्तारण मानों के टपल का समुच्चय है जो प्रतिरूप में सत्य को निर्दिष्ट करता है। प्रथम-क्रम के प्रतिरूप में वास्तव में प्रत्येक विधेय प्रतीक का मूल्यांकन सम्मिलित है; ऐसा मूल्यांकन बताता है कि विधेय अपने तर्कों के किसी भी संभावित मान के लिए सत्य है या असत्य है।<ref>Cadoli, M. (November 1992). "The complexity of model checking for circumscriptive formulae". Information Processing Letters. 44 (3): 113–8. doi:10.1016/0020-0190(92)90049-2.</ref> चूंकि विधेय का प्रत्येक तर्क एक पद होना चाहिए और प्रत्येक पद एक मान का मूल्यांकन करता है, प्रतिरूप बताता है कि क्या <math>P(v_1,\ldots,v_n)</math> मानों के किसी भी संभावित टपल <math>\langle v_1,\ldots,v_n \rangle</math>के लिए सत्य है। <math>P</math> का विस्तारण एक प्रतिरूप में पदों के टपल का समुच्चय होता है जैसे कि <math>P(v_1,\ldots,v_n)</math> प्रतिरूप में सत्य है।
-मैककार्थी द्वारा मूल परिभाषा शब्दार्थ के बजाय वाक्य-विन्यास थी। एक सूत्र दिया <math>T</math> और एक विधेय <math>P</math>, परिधि <math>P</math> में <math>T</math> निम्नलिखित द्वितीय क्रम सूत्र है:
+एक विधेय की परिसीमा <math>P</math> सूत्र में <math>T</math> के केवल प्रतिरूपों का चयन करके प्राप्त किया जाता है, <math>T</math> के न्यूनतम विस्तारण के साथ <math>P</math> है। उदाहरण के लिए, यदि किसी सूत्र में केवल दो प्रतिरूप हैं, केवल इसलिए भिन्न हैं <math>P(v_1,\ldots,v_n)</math> एक में सत्य और दूसरे में असत्य है, तभी दूसरा प्रतिरूप चुना जाता है। यह है क्योंकि <math>\langle v_1,\ldots,v_n \rangle</math> के विस्तारण में है, <math>P</math> पहले प्रतिरूप में परन्तु दूसरे में नहीं है।
+मैककार्थी द्वारा मूल परिभाषा शब्दार्थ के बजाय वाक्य-विन्यास थी। एक सूत्र <math>T</math> और एक विधेय <math>P</math> दिया, परिसीमा <math>P</math> में <math>T</math> निम्नलिखित द्वितीय क्रम सूत्र है:
 :<math>T(P) \wedge \forall p \neg (T(p) \wedge p<P)</math>
-इस सूत्र में <math>p</math> के रूप में एक ही arity की एक विधेय है <math>P</math>. यह एक दूसरे क्रम का सूत्र है क्योंकि इसमें एक विधेय पर मात्रा का ठहराव होता है। उपसूत्र <math>p<P</math> के लिए एक आशुलिपि है:
+इस सूत्र में, <math>p</math> उसी योग्यता का एक विधेय <math>P</math> है। यह एक दूसरे क्रम का सूत्र है क्योंकि इसमें एक विधेय पर परिमाणीकरण होता है। उपसूत्र <math>p<P</math> निम्न के लिए एक आशुलिपि है:
 :<math>\forall x (p(x) \rightarrow P(x)) \wedge
 \neg \forall x (P(x) \rightarrow p(x))</math>
-इस सूत्र में, <math>x</math> शब्दों का एक n-tuple है, जहाँ n की arity है <math>P</math>. यह सूत्र बताता है कि विस्तार न्यूनीकरण किया जाना है: पर सत्य मानांकन के लिए <math>P</math> एक प्रतिरूप पर विचार किया जा रहा है, यह स्थिति होनी चाहिए कि कोई अन्य विधेय नहीं है <math>p</math> प्रत्येक टपल को झूठा निर्दिष्ट कर सकता है <math>P</math> असत्य को निर्दिष्ट करता है और फिर भी इससे भिन्न होता है <math>P</math>.
+इस सूत्र में, <math>x</math> शब्दों का एक n-टपल है, जहाँ n का योग <math>P</math> है। यह सूत्र बताता है कि विस्तार न्यूनीकरण किया जाना है: पर सत्य मूल्यांकन के लिए एक प्रतिरूप <math>P</math> पर विचार किया जा रहा है, यह स्थिति होनी चाहिए कि कोई अन्य विधेय नहीं है, <math>p</math> प्रत्येक टपल को असत्य को निर्दिष्ट कर सकता है। <math>P</math> असत्य को निर्दिष्ट करता है और फिर भी <math>P</math> से भिन्न होता है।
-यह परिभाषा केवल एक विधेय को सीमित करने की अनुमति देती है। जबकि एक से अधिक विधेय का विस्तार तुच्छ है, एक विधेय के विस्तार को कम करने का एक महत्वपूर्ण अनुप्रयोग है: इस विचार को पकड़ना कि चीजें सामान्यतः अपेक्षित होती हैं। स्थितियों की असामान्यता को व्यक्त करने वाले एकल विधेय को कम करके इस विचार को औपचारिक रूप दिया जा सकता है। विशेष रूप से, प्रत्येक ज्ञात तथ्य को एक शाब्दिक जोड़ के साथ तर्क में व्यक्त किया जाता है <math>\neg Abnormal(...)</math> यह कहते हुए कि तथ्य केवल सामान्य स्थितियों में ही अनुप्रयुक्त होता है। इस विधेय के विस्तार को कम करने से अंतर्निहित धारणा के अंतर्गत तर्क करने की अनुमति मिलती है कि चीजें अपेक्षित हैं (अर्थात, वे असामान्य नहीं हैं), और यह धारणा केवल तभी बनाई जाती है जब संभव हो (असामान्यता को तभी गलत माना जा सकता है जब यह संगत हो) तथ्य।)
+यह परिभाषा केवल एक विधेय को सीमित करने की अनुमति प्रदान करती है। जबकि एक से अधिक विधेय का विस्तार तुच्छ है, एक विधेय के विस्तारण को कम करने का एक महत्वपूर्ण अनुप्रयोग है: इस विचार को पकड़ना कि चीजें सामान्यतः अपेक्षित होती हैं। स्थितियों की असामान्यता को व्यक्त करने वाले एकल विधेय को कम करके इस विचार को औपचारिक रूप दिया जा सकता है। विशेष रूप से, प्रत्येक ज्ञात तथ्य को एक शाब्दिक जोड़ <math>\neg Abnormal(...)</math> के साथ तर्क में व्यक्त किया जाता है, यह बताते हुए कि तथ्य केवल सामान्य स्थितियों में ही होता है। इस विधेय के विस्तारण को कम करने से अंतर्निहित धारणा के अंतर्गत तर्क करने की अनुमति मिलती है कि चीजें अपेक्षित हैं (अर्थात, वे असामान्य नहीं हैं) और यह धारणा केवल तभी बनाई जाती है जब संभव हो (असामान्यता को तभी गलत माना जा सकता है जब यह संगत तथ्य हो)।
 == बिंदुवार परिसीमन ==
-बिंदुवार परिसीमन, प्रथम अनुक्रम प्रतिबंध का एक प्रकार है जिसे व्लादिमीर लाइफशिट्ज द्वारा प्रस्तुत किया गया है।<ref>Lifschitz, V. (1986). "Pointwise circumscription". Proceedings AAAI-86 Fifth National Conference on Artificial Intelligence, August 11-15, 1986, Philadelphia, PA. pp. 406–410. {{ISBN|0934613133}}.</ref> प्रस्तावात्मक स्थिति में, बिंदुवार और विधेय परिधि मेल खाते हैं। बिंदुवार परिधि का तर्क यह है कि यह विधेय के विस्तार को कम करने के बजाय अलग-अलग मानों के प्रत्येक टपल के लिए एक विधेय के मान को कम करता है। उदाहरण के लिए, के दो प्रतिरूप हैं <math>P(a) \equiv P(b)</math> कार्यक्षेत्र के साथ <math>\{a,b\}</math>, एक समायोजन <math>P(a)=P(b)=false</math> और दूसरी समायोजन <math>P(a)=P(b)=true</math>. के विस्तार के बाद से <math>P</math> पहले प्रतिरूप में है <math>\emptyset</math> जबकि दूसरे का विस्तारण है <math>\{a,b\}</math>, परिधि केवल पहले प्रतिरूप का चयन करती है।
+बिंदुवार परिसीमन, प्रथम अनुक्रम प्रतिबंध का एक प्रकार है जिसे व्लादिमीर लाइफशिट्ज द्वारा प्रस्तुत किया गया है।<ref>Lifschitz, V. (1986). "Pointwise circumscription". Proceedings AAAI-86 Fifth National Conference on Artificial Intelligence, August 11-15, 1986, Philadelphia, PA. pp. 406–410. {{ISBN|0934613133}}.</ref> प्रस्तावात्मक स्थिति में, बिंदुवार और विधेय परिसीमा मेल खाते हैं। बिंदुवार परिसीमा का तर्क यह है कि यह विधेय के विस्तारण को कम करने के बजाय अलग-अलग मानों के प्रत्येक टपल के लिए एक विधेय के मान को कम करता है। उदाहरण के लिए, <math>P(a) \equiv P(b)</math> के दो प्रतिरूप हैं, कार्यक्षेत्र <math>\{a,b\}</math> के साथ, एक समायोजन <math>P(a)=P(b)=false</math> और दूसरी समायोजन <math>P(a)=P(b)=true</math> के विस्तारण के बाद से <math>P</math> पहले प्रतिरूप में <math>\emptyset</math> है जबकि दूसरे का विस्तारणण <math>\{a,b\}</math> है, परिसीमा केवल पहले प्रतिरूप का चयन करती है।
-बिंदुवार परिसीमन में, मानों के प्रत्येक टपल को अलग से माना जाता है। उदाहरण के लिए, सूत्र में <math>P(a) \equiv P(b)</math> कोई के मान पर विचार करेगा <math>P(a)</math> से अलग <math>P(b)</math>. एक प्रतिरूप न्यूनतम तभी होता है जब सूत्र को संतुष्ट करते हुए ऐसे किसी भी मान को सत्य से असत्य में बदलना संभव न हो। नतीजतन, जिस प्रतिरूप में <math>P(a)=P(b)=true</math> केवल मुड़ने के कारण बिंदुवार परिधि द्वारा चुना जाता है <math>P(a)</math> असत्य में सूत्र को संतुष्ट नहीं करता है, और इसके लिए भी ऐसा ही होता है <math>P(b)</math>.
+बिंदुवार परिसीमन में, मानों के प्रत्येक टपल को भिन्न माना जाता है। उदाहरण के लिए, सूत्र <math>P(a) \equiv P(b)</math> में, कोई <math>P(a)</math> से भिन्न <math>P(b)</math> के मान पर विचार करेगा। एक प्रतिरूप न्यूनतम तभी होता है जब सूत्र को संतुष्ट करते हुए ऐसे किसी भी मान को सत्य से असत्य में परिवर्तित करना संभव न हो। परिणामस्वरूप, जिस प्रतिरूप <math>P(a)=P(b)=true</math> में, केवल वर्तन के कारण बिंदुवार परिसीमा द्वारा चुना जाता है, <math>P(a)</math> असत्य में सूत्र को संतुष्ट नहीं करता है और <math>P(b)</math> के लिए भी ऐसा ही होता है।
 ==कार्यक्षेत्र और सूत्र परिवर्णन==
-मैककार्थी द्वारा परिधि का एक पूर्व सूत्रीकरण विधेय के विस्तार के बजाय प्रथम-क्रम प्रतिरूप के प्रवचन के कार्यक्षेत्र को कम करने पर आधारित है। अर्थात्, एक प्रतिरूप को दूसरे से कम माना जाता है यदि इसका एक छोटा कार्यक्षेत्र है और दो प्रतिरूप मानों के सामान्य टपल के मानांकन पर मेल खाते हैं। परिधि के इस संस्करण को विधेय परिधि में घटाया जा सकता है।
+मैककार्थी द्वारा परिसीमा का एक पूर्व सूत्रीकरण विधेय के विस्तारण के बजाय प्रथम-क्रम प्रतिरूप के कार्यक्षेत्र को कम करने पर आधारित है। अर्थात्, एक प्रतिरूप को दूसरे से कम माना जाता है यदि इसका एक छोटा कार्यक्षेत्र है और दो प्रतिरूप मानों के सामान्य टपल के मूल्यांकन पर मेल खाते हैं। परिसीमा के इस संस्करण को विधेय परिसीमा में घटाया जा सकता है।
-सूत्र सीमा मैक्कार्थी द्वारा प्रारंभ की गई बाद की औपचारिकता थी। यह परिधि का एक सामान्यीकरण है जिसमें एक विधेय के विस्तार के बजाय सूत्र के विस्तार को कम किया जाता है। दूसरे शब्दों में, एक सूत्र निर्दिष्ट किया जा सकता है ताकि सूत्र को संतुष्ट करने वाले कार्यक्षेत्र के मानों के टपल का समुच्चय जितना संभव हो उतना छोटा हो।
+सूत्र परिसीमा मैक्कार्थी द्वारा प्रारंभ की गई बाद की औपचारिकता थी। यह परिसीमा का एक सामान्यीकरण है जिसमें एक विधेय के विस्तारण के बजाय सूत्र के विस्तारण को कम किया जाता है। दूसरे शब्दों में, एक सूत्र निर्दिष्ट किया जा सकता है ताकि सूत्र को संतुष्ट करने वाले कार्यक्षेत्रों के मानों के टपल का समुच्चय जितना संभव हो उतना छोटा हो।
 == सिद्धांत पर अंकुश ==
-परिसीमा सदैव वियोगात्मक सूचना को सही ढंग से नियंत्रित नहीं करता है। [[रेमंड राइटर|रे रेइटर]] ने निम्नलिखित उदाहरण प्रदान किया: एक चेकबोर्ड पर एक सिक्का उछाला जाता है और परिणाम यह होता है कि सिक्का या तो एक काले क्षेत्र पर, या एक सफेद क्षेत्र पर, या दोनों पर होता है। हालाँकि, बड़ी संख्या में अन्य संभावित स्थान हैं जहाँ सिक्का नहीं होना चाहिए; उदाहरण के लिए, यह निहित है कि सिक्का भूतल पर, या प्रशीतित्र पर, या चंद्रमा की सतह पर नहीं है। इसलिए परिधि <math>On</math> विधेय का उपयोग विस्तार को कम करने के लिए किया जा सकता है, ताकि <math>On(\text{coin},\text{moon})</math> असत्य है भले ही यह स्पष्ट रूप से नहीं कहा गया हो।
+परिसीमा सदैव वियोगात्मक सूचना को सही ढंग से नियंत्रित नहीं करता है। [[रेमंड राइटर|रे रेइटर]] ने निम्नलिखित उदाहरण प्रदान किया: एक चेकबोर्ड पर एक सिक्का उछाला जाता है और परिणाम यह होता है कि सिक्का या तो एक काले क्षेत्र पर, या एक सफेद क्षेत्र पर, या दोनों पर होता है। हालाँकि, बड़ी संख्या में अन्य संभावित स्थान हैं जहाँ सिक्का नहीं होना चाहिए; उदाहरण के लिए, यह निहित है कि सिक्का भूतल पर, या प्रशीतित्र पर, या चंद्रमा की सतह पर नहीं है। इसलिए परिसीमा <math>On</math> विधेय का उपयोग विस्तारण को कम करने के लिए किया जा सकता है, ताकि <math>On(\text{coin},\text{moon})</math> असत्य है भले ही यह स्पष्ट रूप से नहीं कहा गया हो।
-दूसरी ओर, <math>On</math> का न्यूनतमकरण विधेय पर गलत परिणाम होता है कि सिक्का या तो काले क्षेत्र पर या सफेद क्षेत्र पर है, परन्तु दोनों पर नहीं है। ऐसा इसलिए है क्योंकि जिन प्रतिरूपों में <math>On</math> पर ही सत्य है, <math>(\text{coin},\text{white area})</math> और केवल <math>On</math> पर <math>(\text{coin},\text{black area})</math> का न्यूनतम विस्तार है, जबकि प्रतिरूप जिसमें <math>On</math> का विस्तार दोनों युग्मों से बना है, न्यूनतम नहीं है।
+दूसरी ओर, <math>On</math> का न्यूनतमकरण विधेय पर गलत परिणाम होता है कि सिक्का या तो काले क्षेत्र पर या सफेद क्षेत्र पर है, परन्तु दोनों पर नहीं है। ऐसा इसलिए है क्योंकि जिन प्रतिरूपों में <math>On</math> पर ही सत्य है, <math>(\text{coin},\text{white area})</math> और केवल <math>On</math> पर <math>(\text{coin},\text{black area})</math> का न्यूनतम विस्तारण है, जबकि प्रतिरूप जिसमें <math>On</math> का विस्तारण दोनों युग्मों से बना है, न्यूनतम नहीं है।
-सिद्धान्त अंकुश [[थॉमस ईटर]], [[जॉर्ज गोटलोब]] और [[यूरी गुरेविच]] द्वारा प्रस्तावित एक समाधान है।<ref>Eiter, T.; Gottlob, G.; Gurevich, Y. (1993). "CURB your theory!". In Bajcsy, Ruzena. IJCAI-93: proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Chambéry, France, August 28–September 3, 1993. IJCAII. pp. 634–9. {{ISBN|155860300X}}.</ref> विचार यह है कि जिस प्रतिरूप में परिसीमा का चयन करने में विफल रहता है, वह एक जिसमें दोनों<math>On(\text{coin},\text{white area})</math> और <math>On(\text{coin},\text{black area})</math> सत्य हैं, सूत्र का एक प्रतिरूप है जो (डब्ल्यू .आर. टी का विस्तार <math>On</math>) चुने गए दोनों प्रतिरूपों की तुलना में अधिक है। अधिक विशेष रूप से, सूत्र के प्रतिरूपों में, बहिष्कृत प्रतिरूप दो चयनित प्रतिरूपों की सबसे कम ऊपरी सीमा है। सिद्धान्त अंकुश इस तरह के कम-से-कम ऊपरी सीमा प्रतिरूप का चयन करता है, इसके अतिरिक्त परिधि द्वारा चुना जाता है। यह समावेशन तब तक किया जाता है जब तक प्रतिरूप का समुच्चय संवृत्त नहीं हो जाता है, इस अर्थ में कि इसमें प्रतिरूप के सभी समुच्चयों की कम से कम ऊपरी सीमाएं सम्मिलित हैं।
+सिद्धान्त अंकुश [[थॉमस ईटर]], [[जॉर्ज गोटलोब]] और [[यूरी गुरेविच]] द्वारा प्रस्तावित एक समाधान है।<ref>Eiter, T.; Gottlob, G.; Gurevich, Y. (1993). "CURB your theory!". In Bajcsy, Ruzena. IJCAI-93: proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Chambéry, France, August 28–September 3, 1993. IJCAII. pp. 634–9. {{ISBN|155860300X}}.</ref> विचार यह है कि जिस प्रतिरूप में परिसीमा का चयन करने में विफल रहता है, वह एक जिसमें दोनों<math>On(\text{coin},\text{white area})</math> और <math>On(\text{coin},\text{black area})</math> सत्य हैं, सूत्र का एक प्रतिरूप है जो (डब्ल्यू .आर. टी का विस्तारण <math>On</math>) चुने गए दोनों प्रतिरूपों की तुलना में अधिक है। अधिक विशेष रूप से, सूत्र के प्रतिरूपों में, बहिष्कृत प्रतिरूप दो चयनित प्रतिरूपों की सबसे कम ऊपरी सीमा है। सिद्धान्त अंकुश इस तरह के कम-से-कम ऊपरी सीमा प्रतिरूप का चयन करता है, इसके अतिरिक्त परिसीमा द्वारा चुना जाता है। यह समावेशन तब तक किया जाता है जब तक प्रतिरूप का समुच्चय संवृत्त नहीं हो जाता है, इस अर्थ में कि इसमें प्रतिरूप के सभी समुच्चयों की कम से कम ऊपरी सीमाएं सम्मिलित हैं।
 == यह भी देखें ==

Anonymous

Search

परिधि (तर्क): Difference between revisions

Namespaces

More

Page actions

Revision as of 22:51, 25 May 2023

Contents

प्रस्तावात्मक मामला

फिक्स्ड और अलग-अलग विधेय

विधेय परिसीमा

बिंदुवार परिसीमन

कार्यक्षेत्र और सूत्र परिवर्णन

सिद्धांत पर अंकुश

यह भी देखें

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

परिधि (तर्क): Difference between revisions

Revision as of 22:51, 25 May 2023

प्रस्तावात्मक मामला

फिक्स्ड और अलग-अलग विधेय

विधेय परिसीमा

बिंदुवार परिसीमन

कार्यक्षेत्र और सूत्र परिवर्णन

सिद्धांत पर अंकुश

यह भी देखें

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories