FO(.)
कंप्यूटर विज्ञान में, एफ. ओ. () (ए. के. ए. एफ. ओ.-डॉट) प्रथम क्रम तर्क (एफ. ओ.) पर आधारित एक ज्ञान प्रतिनिधित्व भाषा है। यह प्रकारों, समुच्चयों (गिनती, योग, अधिकतम. एक समूह पर), अंकगणितीय, प्रेरक परिभाषाओं, आंशिक कार्यों और गहन वस्तुओं के साथ एफ. ओ. का विस्तार करता है। अपने आप में, एक एफओ (.) ज्ञान आधार को चलाया नहीं जा सकता है, क्योंकि यह केवल "जानकारी का एक थैला" है, जिसका उपयोग विभिन्न सामान्य तर्क एल्गोरिदम के लिए इनपुट के रूप में किया जाता है। तर्क इंजन जो एफ. ओ. (.) का उपयोग करते हैं इसमें IDP-Z3, IDP और FOLASP शामिल हैं। एक उदाहरण के रूप में, आई. डी. पी. प्रणाली मॉडल तैयार करने, निर्धारित प्रश्नों का उत्तर देने, दो सिद्धांतों के बीच प्रवेश की जाँच करने और संतोषजनकता की जाँच करने की अनुमति देती है। ज्ञान का आधार। एफओ (.) चार प्रकार के कथन हैंः प्रकार, कार्य और विधेय घोषणाएँ, स्वयंसिद्ध, यानी, संभावित दुनिया के बारे में तर्क वाक्य, परिभाषाएँ जो एक परिभाषित प्रतीक की एक अनूठी व्याख्या को निर्दिष्ट करती हैं, इसके मापदंडों की व्याख्या को देखते हुए। परिभाषाएँ प्रेरक हो सकती हैं। गणना, अर्थात, गणना द्वारा प्रतीकों की परिभाषाएँ। उदाहरण एक मतदान कानून निर्दिष्ट करता है कि मतदान करने के लिए नागरिकों की आयु कम से कम 18 वर्ष होनी चाहिए। इसके अलावा, यदि मतदान कानून को निर्देशात्मक माना जाता है, तो जब आप 18 वर्ष से अधिक उम्र के हों तो मतदान करना अनिवार्य है। इसे एफओ (.) में दर्शाया जा सकता है। इस प्रकार हैः शब्दावली V {आयुः () → Z// कार्य घोषणा निर्देशात्मक, वोटः () → B// विधेय घोषणाएँ} सिद्धांत T: V {आयु () <18̃vot ()। //स्वयंसिद्धः यदि आप 18 वर्ष से कम आयु के हैं, तो आप मतदान नहीं कर सकते हैं। प्रिस्क्रिप्टिव () (आयु () ≤18 () वोट ())। //स्वयंसिद्धः यदि निर्देशात्मक हैः यदि आप कम से कम 18 वर्ष के हैं, तो आपको वोट देना चाहिए} इस कोड में, A → B, A से B तक के एक फलन को दर्शाता है, पूर्णांक को दर्शाता है, बूलियन को दर्शाता है, ¬ निषेध को दर्शाता है, और ⇒ भौतिक सशर्त को दर्शाता है। भविष्यवाणी <और ± अंतर्निहित हैं और उनका सामान्य अर्थ है। इस तरह के ज्ञान आधार को स्वचालित रूप से एक संवादात्मक वकील में बदला जा सकता है (यहां देखें) संदर्भ बाहरी लिंक एफओ (.) भाषा ज्ञान प्रतिनिधित्व भाषाएँ