Attempto Controlled English (ACE) एक नियंत्रित प्राकृतिक भाषा है जिसे स्पष्ट ज्ञान प्रतिनिधित्व और तर्क के लिए डिज़ाइन किया गया है। यह उपयोगकर्ताओं को अंग्रेजी के एक उपसमुच्चय में औपचारिक विनिर्देश, क्वेरी और नियम लिखने की अनुमति देता है, जिन्हें स्वचालित रूप से प्रथम-क्रम तर्क (FOL) और अन्य औपचारिक भाषाओं में अनुवादित किया जा सकता है। ACE को ज्यूरिख विश्वविद्यालय में विकसित किया गया था, जिसकी उत्पत्ति 1990 के दशक के अंत में हुई थी, और तब से इसका उपयोग सॉफ्टवेयर विनिर्देश, ऑन्टोलॉजी इंजीनियरिंग और प्रश्न उत्तर सहित विभिन्न क्षेत्रों में किया गया है। ACE का प्राथमिक लक्ष्य मानव-पठनीय पाठ और मशीन-व्याख्या योग्य तर्क के बीच की खाई को पाटना है, जिससे औपचारिक विधियाँ गैर-तर्कशास्त्रियों के लिए सुलभ हों, जबकि सटीकता बनी रहे।
ACE एक स्वतंत्र-रूप भाषा नहीं है; यह अंग्रेजी का एक कड़ाई से परिभाषित उपसमुच्चय है जिसमें एक निश्चित व्याकरण और शब्दावली है। ACE में प्रत्येक वाक्य को पूर्वनिर्धारित वाक्य-रचना नियमों के एक सेट का पालन करना चाहिए, जो यह सुनिश्चित करता है कि प्रत्येक वाक्य की ठीक एक तार्किक व्याख्या हो। यह प्राकृतिक भाषा में निहित अस्पष्टता को समाप्त करता है, जैसे कि दायरा अस्पष्टता, अनाफोरा समाधान और शाब्दिक बहुअर्थता। उदाहरण के लिए, वाक्य "Every customer who owns a car likes it" ACE में स्पष्ट है, जिसमें सर्वनाम "it" स्पष्ट रूप से ग्राहक के स्वामित्व वाली कार को संदर्भित करता है। भाषा सार्वभौमिक और अस्तित्वगत परिमाणीकरण, निषेध, सशर्त कथन और मोडल क्रियाओं जैसे निर्माणों का समर्थन करती है, जो सभी रोजमर्रा की अंग्रेजी को प्रतिबिंबित करने वाले तरीके से व्यक्त किए जाते हैं।
इतिहास और विकास
ACE का विकास 1990 के दशक के अंत में ज्यूरिख विश्वविद्यालय के कम्प्यूटेशनल भाषाविज्ञान संस्थान में शुरू हुआ, जिसका नेतृत्व नॉर्बर्ट ई. फुच्स और उनकी टीम ने किया। पहला संस्करण, ACE 1.0, 1997 में जारी किया गया था, और इसे Attempto परियोजना के संदर्भ में ज्ञान प्रतिनिधित्व के लिए एक उपकरण के रूप में डिज़ाइन किया गया था, जिसका उद्देश्य तर्क प्रोग्रामिंग के लिए एक प्राकृतिक भाषा इंटरफ़ेस बनाना था। वर्षों से, ACE कई संस्करणों के माध्यम से विकसित हुआ, जिसमें ACE 6.0 2007 में एक उल्लेखनीय मील का पत्थर था, जिसने एक अधिक व्यापक व्याकरण और प्रथम-क्रम तर्क में बेहतर अनुवाद पेश किया। भाषा को प्रवचन प्रतिनिधित्व संरचनाओं का समर्थन करने के लिए भी विस्तारित किया गया था, जिससे बहु-वाक्य पाठ की अनुमति मिलती है। 2010 में, Attempto परियोजना ने ACE 6.1 जारी किया, जिसमें एक पार्सर और एक अनुवादक शामिल था जो FOL उत्पन्न कर सकता था, और बाद के संस्करणों ने OWL (वेब ऑन्टोलॉजी भाषा) और SWRL (सिमेंटिक वेब नियम भाषा) के लिए समर्थन जोड़ा। विकास लगभग 2015 तक सक्रिय था, जिसके बाद परियोजना को बड़े पैमाने पर ओपन-सोर्स सॉफ्टवेयर के रूप में बनाए रखा गया।
वाक्य-रचना और अर्थ विज्ञान
ACE की वाक्य-रचना एक संदर्भ-मुक्त व्याकरण द्वारा परिभाषित की गई है जो अनुमत वाक्य संरचनाओं को निर्दिष्ट करती है। व्याकरण घोषणात्मक वाक्यों, प्रश्नों और अनिवार्य रूपों को कवर करता है, लेकिन शब्द क्रम और वाक्यांश प्रकारों पर सख्त प्रतिबंधों के साथ। उदाहरण के लिए, विशेषण संज्ञा से पहले होने चाहिए, और सापेक्ष उपवाक्य उस संज्ञा का अनुसरण करने चाहिए जिसे वे संशोधित करते हैं। शब्दावली भी प्रतिबंधित है; केवल कुछ सामान्य अंग्रेजी शब्दों की अनुमति है, और सभी शब्दों को एक शब्दकोश में परिभाषित किया जाना चाहिए। ACE के अर्थ विज्ञान रचनात्मक हैं, जिसका अर्थ है कि एक वाक्य का अर्थ उसके भागों के अर्थों से निर्मित होता है। FOL में अनुवाद नियतात्मक है, जो वाक्य-रचना संरचनाओं को तार्किक सूत्रों में मैप करने वाले नियमों के एक सेट का उपयोग करता है। उदाहरण के लिए, वाक्य "No dog barks" का अनुवाद ¬∃x(dog(x) ∧ bark(x)) है। ACE अनाफोरिक संदर्भों का भी समर्थन करता है, लेकिन एक नियम के साथ कि एक सर्वनाम को सबसे हाल के संगत पूर्ववर्ती को संदर्भित करना चाहिए, जो प्राकृतिक भाषा प्रवचन का एक सरलीकरण है।
अनुप्रयोग और उपयोग के मामले
ACE को कई व्यावहारिक क्षेत्रों में लागू किया गया है। सॉफ्टवेयर इंजीनियरिंग में, इसका उपयोग सिस्टम आवश्यकताओं के लिए औपचारिक विनिर्देश लिखने के लिए किया गया है, जिससे हितधारकों को औपचारिक तर्क को समझने की आवश्यकता के बिना आवश्यकताओं को मान्य करने की अनुमति मिलती है। उदाहरण के लिए, विनिर्देश "If a user is logged in and clicks the delete button, then the system deletes the user's account" ACE में लिखा जा सकता है और स्थिरता के लिए स्वचालित रूप से जांचा जा सकता है। सिमेंटिक वेब में, ACE का उपयोग OWL ऑन्टोलॉजी लिखने के लिए किया गया है, जहां डोमेन विशेषज्ञ पठनीय रूप में अभिगृहीत व्यक्त कर सकते हैं। ACE पार्सर OWL फ़ाइलें उत्पन्न कर सकता है, जिनका उपयोग तर्क प्रणालियों में किया जाता है। इसके अतिरिक्त, ACE को प्रश्न उत्तर प्रणालियों में नियोजित किया गया है, जहां प्राकृतिक भाषा क्वेरीज़ को तार्किक क्वेरीज़ में अनुवादित किया जाता है जिन्हें ज्ञान आधार के खिलाफ निष्पादित किया जा सकता है। एक उल्लेखनीय उदाहरण OWL मौखिकीकरण परियोजना में ACE का उपयोग है, जिसका उद्देश्य ऑन्टोलॉजी को गैर-विशेषज्ञों के लिए समझने योग्य बनाना है।
अन्य औपचारिक भाषाओं से संबंध
ACE की तुलना अक्सर अन्य नियंत्रित प्राकृतिक भाषाओं और औपचारिक संकेतनों से की जाती है। Prolog या Lisp जैसी प्रोग्रामिंग भाषाओं के विपरीत, ACE को विशेष प्रशिक्षण के बिना मनुष्यों द्वारा पढ़ने और लिखने के लिए डिज़ाइन किया गया है। यह SQL जैसी विशिष्ट क्वेरी भाषाओं की तुलना में अधिक अभिव्यंजक है, क्योंकि यह परिमाणकों और निहितार्थों से जुड़े जटिल तार्किक कथनों का प्रतिनिधित्व कर सकता है। हालांकि, ACE पूर्ण प्रथम-क्रम तर्क की तुलना में कम अभिव्यंजक है, क्योंकि इसमें उच्च-क्रम परिमाणीकरण और समानता जैसी कुछ विशेषताओं का अभाव है। Artificial intelligence के संदर्भ में, ACE प्राकृतिक भाषा प्रसंस्करण और औपचारिक तर्क के बीच एक पुल के रूप में कार्य करता है, जो Large language model जैसे दृष्टिकोणों का पूरक है, जो शक्तिशाली हैं लेकिन अक्सर अस्पष्ट या असंगत आउटपुट उत्पन्न करते हैं। जबकि Large language model ACE जैसा पाठ उत्पन्न कर सकते हैं, वे तार्किक स्थिरता की गारंटी नहीं देते हैं, जबकि ACE तर्क के लिए एक-से-एक मैपिंग सुनिश्चित करता है।
सीमाएँ और भविष्य की दिशाएँ
अपनी ताकत के बावजूद, ACE की सीमाएँ हैं। सख्त व्याकरण उपयोगकर्ताओं के लिए बोझिल हो सकता है, क्योंकि उन्हें अनुमत निर्माणों को सीखना होगा और सामान्य अंग्रेजी अभिव्यक्तियों से बचना होगा जो अनुमत नहीं हैं। शब्दावली सीमित है, और नए शब्दों को जोड़ने के लिए शब्दकोश को अद्यतन करने की आवश्यकता होती है। इसके अलावा, FOL में अनुवाद जटिल सूत्र उत्पन्न कर सकता है जो मनुष्यों के लिए पढ़ना मुश्किल होता है, भले ही मूल ACE वाक्य सरल हो। 2010 के दशक के मध्य तक, ACE का विकास धीमा हो गया है, 2015 के बाद कोई प्रमुख रिलीज़ नहीं हुई है। हालांकि, ACE के पीछे के विचारों ने PENG और CLCE जैसी अन्य नियंत्रित प्राकृतिक भाषा परियोजनाओं को प्रभावित किया है। Generative AI के युग में, Neural network मॉडल के आउटपुट को प्रतिबंधित करने के लिए नियंत्रित भाषाओं का उपयोग करने में नया सिरे से रुचि है, यह सुनिश्चित करते हुए कि उत्पन्न पाठ तार्किक रूप से सुदृढ़ है। भविष्य के कार्य ACE को Machine learning तकनीकों के साथ एकीकृत कर सकते हैं ताकि प्राकृतिक भाषा को स्वचालित रूप से ACE में परिवर्तित किया जा सके, लेकिन वर्तमान स्थिति के अनुसार, ऐसी प्रणालियाँ व्यापक रूप से तैनात नहीं हैं।