डिफ़ॉल्ट तर्क एक गैर-मोनोटोनिक तर्क है जो रेमंड रेइटर द्वारा प्रस्तावित किया गया है ताकि डिफ़ॉल्ट धारणाओं के साथ तर्कसंगतता को औपचारिक बनाया जा सके। डिफ़ॉल्ट तर्क “डिफ़ॉल्ट रूप से, कुछ सच है” जैसे तथ्यों को व्यक्त कर सकता है; इसके विपरीत, मानक तर्क केवल व्यक्त कर सकता है कि कुछ…