परिधि (तर्क)

Not to be confused with परिसीमन.

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

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

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

जबकि परिधि को प्रारंभ में प्रथम-क्रम तर्क स्थिति में परिभाषित किया गया था, प्रस्तावात्मक स्थिति की विशिष्टता को परिभाषित करना आसान है। एक प्रस्तावक सूत्र दिया गया है $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)$ तीन प्रतिरूप हैं:

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

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

$a\land \neg (b\leftrightarrow c)$

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

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

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

अलग-अलग

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

निश्चित

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

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

औपचारिक रूप से, सीमा का विस्तार जिसमें भिन्न और निश्चित चर सम्मिलित होते हैं, वह इस प्रकार है, जहां $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 समय पर खुला हो जाता है और फिर कार्रवाई के परिणामस्वरूप खुला रहता है, उसे परिसीमन द्वारा बाहर नहीं किया जाता है।

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

विधेय परिधि

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

औपचारिक रूप से, प्रथम-क्रम प्रतिरूप में एक विधेय का विस्तार मानों के टपल का सेट है जो प्रतिरूप में सत्य को निर्दिष्ट करता है। प्रथम-क्रम के प्रतिरूप में वास्तव में प्रत्येक विधेय प्रतीक का मानांकन सम्मिलित है; ऐसा मानांकन बताता है कि विधेय अपने तर्कों के किसी भी संभावित मान के लिए सही है या गलत। चूंकि विधेय का प्रत्येक तर्क एक शब्द होना चाहिए, और प्रत्येक शब्द एक मान का मानांकन करता है, प्रतिरूप बताता है कि क्या $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$ के रूप में एक ही arity की एक विधेय है $P$. यह एक दूसरे क्रम का सूत्र है क्योंकि इसमें एक विधेय पर मात्रा का ठहराव होता है। उपसूत्र $p<P$ के लिए एक आशुलिपि है:

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

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

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

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

बिंदुवार परिसीमन, प्रथम अनुक्रम प्रतिबंध का एक प्रकार है जिसे व्लादिमीर लाइफशिट्ज द्वारा प्रस्तुत किया गया है। प्रस्तावात्मक स्थिति में, बिंदुवार और विधेय परिधि मेल खाते हैं। बिंदुवार परिधि का तर्क यह है कि यह विधेय के विस्तार को कम करने के बजाय अलग-अलग मानों के प्रत्येक टपल के लिए एक विधेय के मान को कम करता है। उदाहरण के लिए, के दो प्रतिरूप हैं $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$ का विस्तार दोनों युग्मों से बना है, न्यूनतम नहीं है।

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

यह भी देखें

• असफल तर्क
• अधिमान्य अनुलाभ

बाहरी संबंध

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