स्वचालित तर्क
From Wikipedia, the free encyclopedia
स्वचालित तर्क संज्ञानात्मक विज्ञान का एक क्षेत्र है (जिसमें ज्ञान प्रतिनिधित्व और तर्क शामिल हैं) और तर्क के विभिन्न पहलुओं को समझने के लिए समर्पित मेटलोजिक है। स्वचालित तर्क का अध्ययन कंप्यूटर प्रोग्रामों का उत्पादन करने में मदद करता है जो कंप्यूटरों को पूरी तरह से या लगभग पूरी तरह से स्वचालित रूप से तर्क करने की अनुमति देते हैं। हालाँकि स्वचालित तर्क को कृत्रिम बुद्धिमत्ता का उप-क्षेत्र माना जाता है, लेकिन इसका सैद्धांतिक कंप्यूटर विज्ञान और दर्शन से भी संबंध है।
यह लेख अंग्रेज़ी भाषा में लिखे लेख का खराब अनुवाद है। यह किसी ऐसे व्यक्ति द्वारा लिखा गया है जिसे हिन्दी अथवा स्रोत भाषा की सीमित जानकारी है। कृपया इस अनुवाद को सुधारें। मूल लेख "अन्य भाषाओं की सूची" में "अंग्रेज़ी" में पाया जा सकता है। |
स्वचालित तर्क की सबसे विकसित उप-प्रजातियां स्वचालित प्रमेय साबित होती हैं (और इंटरएक्टिव प्रमेय साबित करने के लिए कम स्वचालित लेकिन अधिक व्यावहारिक सबफ़ील्ड) और स्वचालित प्रूफ जाँच (निश्चित मान्यताओं के तहत सही तर्क के रूप में गारंटी के रूप में देखी गई)। व्यापक काम भी किया गया है सादृश्य का उपयोग करके।
अन्य महत्वपूर्ण विषयों में अनिश्चितता और गैर-मोनोटोनिक तर्क के तहत तर्क शामिल हैं। अनिश्चितता क्षेत्र का एक महत्वपूर्ण हिस्सा तर्क का है, जहां अधिक मानक स्वचालित कटौती के शीर्ष पर न्यूनतमता और स्थिरता की बाधाओं को लागू किया जाता है। जॉन पोलक का OSCAR सिस्टम [1] एक स्वचालित तर्क प्रणाली का एक उदाहरण है जो केवल एक स्वचालित सिद्धांतकार होने की तुलना में अधिक विशिष्ट है।
स्वचालित तर्क के उपकरण और तकनीकों में शास्त्रीय लॉजिक्स और केल्की, फ़ज़ी लॉजिक, बेइज़ियन अनुमान, मैक्सिमल एन्ट्रापी के साथ तर्क और कई कम औपचारिक तदर्थ तकनीक शामिल हैं।