FO(.)
কম্পিউটার সায়েন্সে, এফও (।) (এ. কে. এ। এফও-ডট) প্রথম-ক্রম যুক্তির (এফও) উপর ভিত্তি করে একটি জ্ঞান উপস্থাপনা ভাষা। এটি প্রকার, সমষ্টি (গণনা, যোগফল, সর্বাধিককরণ. একটি সেটের উপর), গাণিতিক, সূচক সংজ্ঞা, আংশিক ফাংশন এবং তীব্র বস্তুর সাথে এফও প্রসারিত করে। নিজেই, একটি এফও (।) জ্ঞানের ভিত্তি চালানো যায় না, কারণ এটি কেবল একটি "তথ্যের ব্যাগ", যা বিভিন্ন সাধারণ যুক্তি অ্যালগরিদমের ইনপুট হিসাবে ব্যবহার করা হয়। যুক্তি ইঞ্জিন যা এফও (.) ব্যবহার করে। এর মধ্যে রয়েছে আইডিপি-জেড3, আইডিপি এবং এফওএলএএসপি। উদাহরণস্বরূপ, আই. ডি. পি ব্যবস্থা একটি এফ. ও ()-এর উপর অন্যান্য ধরনের অনুমানের মধ্যে মডেল তৈরি, নির্দিষ্ট প্রশ্নের উত্তর দেওয়া, দুটি তত্ত্বের মধ্যে প্রবেশযোগ্যতা পরীক্ষা করা এবং সন্তোষজনকতা পরীক্ষা করার অনুমতি দেয়। জ্ঞানের ভিত্তি। এফও (.) চার ধরনের বিবৃতি রয়েছেঃ টাইপ, ফাংশন এবং প্রেডিকেট ঘোষণা, স্বতঃসিদ্ধ, অর্থাৎ, সম্ভাব্য বিশ্ব সম্পর্কে যুক্তিসঙ্গত বাক্য, সংজ্ঞা যা একটি সংজ্ঞায়িত প্রতীকের একটি অনন্য ব্যাখ্যা নির্দিষ্ট করে, তার পরামিতিগুলির ব্যাখ্যা দেওয়া। সংজ্ঞাগুলি অন্তর্বর্তী হতে পারে। গণনা, অর্থাৎ গণনা দ্বারা প্রতীকগুলির সংজ্ঞা। উদাহরণ একটি ভোটদান আইন নির্দিষ্ট করে যে নাগরিকদের ভোট দেওয়ার জন্য কমপক্ষে 18 বছর বয়সী হতে হবে। উপরন্তু, যদি ভোটদান আইনটিকে নির্দেশমূলক হিসাবে ব্যাখ্যা করা হয়, তাহলে 18 বছরের বেশি বয়সে ভোট দেওয়া বাধ্যতামূলক। এটি এফও (.)-তে উপস্থাপন করা যেতে পারে। নিম্নরূপঃ শব্দভান্ডার ভি {বয়সঃ () → জেড// ফাংশন ঘোষণা নির্দেশমূলক, ভোটঃ () → বি// প্রেডিকেট ডিক্লারেশন} তত্ত্ব টিঃ ভি {বয়স () <18 â€ ভোট ()। //স্বতঃসিদ্ধঃ আপনার বয়স যদি 18 বছরের কম হয়, তাহলে আপনি ভোট দিতে পারবেন না। প্রিস্ক্রিপ্টিভ () (বয়স () ≤18 িযম ভোট ())। //স্বতঃসিদ্ধঃ যদি নির্দেশমূলক হয়ঃ আপনার বয়স কমপক্ষে 18 বছর হয়, তাহলে আপনাকে অবশ্যই ভোট দিতে হবে} এই কোডে, A → B, A থেকে B পর্যন্ত একটি ফাংশন নির্দেশ করে, পূর্ণসংখ্যা নির্দেশ করে, বুলিয়ান নির্দেশ করে, ¬ নেতিবাচক নির্দেশ করে, এবং ুণ বস্তুগত শর্তাধীন নির্দেশ করে। পূর্বাভাস <এবং ± অন্তর্নির্মিত এবং তাদের স্বাভাবিক অর্থ রয়েছে। এই ধরনের জ্ঞানের ভিত্তি স্বয়ংক্রিয়ভাবে একটি ইন্টারেক্টিভ আইনজীবীর মধ্যে পরিণত করা যেতে পারে (এখানে দেখুন) রেফারেন্স বাহ্যিক লিঙ্ক এফও (।) ভাষা জ্ঞানের প্রতিনিধিত্বমূলক ভাষা