FO(.)
கணினி அறிவியலில், எஃப்ஓ (.) (ஏ. கே. ஏ. எஃப்ஓ-டாட்) என்பது முதல்-வரிசை தர்க்கத்தை (எஃப்ஓ) அடிப்படையாகக் கொண்ட ஒரு அறிவு பிரதிநிதித்துவ மொழியாகும். இது வகைகள், திரட்டல்கள் (எண்ணிக்கை, சுருக்கம், அதிகபட்சம். ஒரு தொகுப்பின் மீது), எண்கணிதம், தூண்டல் வரையறைகள், பகுதி செயல்பாடுகள் மற்றும் தீவிரமான பொருள்கள் ஆகியவற்றுடன் FO ஐ விரிவுபடுத்துகிறது. தானாகவே, ஒரு FO (.) அறிவுத் தளத்தை இயக்க முடியாது, ஏனெனில் இது ஒரு "தகவல் பை" மட்டுமே, பல்வேறு பொதுவான பகுத்தறிவு வழிமுறைகளுக்கு உள்ளீடாகப் பயன்படுத்தப்படுகிறது. FO ஐப் பயன்படுத்தும் பகுத்தறிவு இயந்திரங்கள் (.) இதில் IDP-Z3, IDP மற்றும் FOLASP ஆகியவை அடங்கும். எடுத்துக்காட்டாக, ஐ. டி. பி அமைப்பு மாதிரிகளை உருவாக்குவதற்கும், செட் வினவல்களுக்கு பதிலளிப்பதற்கும், இரண்டு கோட்பாடுகளுக்கு இடையிலான ஈடுபாட்டைச் சரிபார்ப்பதற்கும், திருப்தியைச் சரிபார்ப்பதற்கும் அனுமதிக்கிறது. அறிவுத் தளம். ஃபோ (.) நான்கு வகையான அறிக்கைகள் உள்ளனஃ வகை, செயல்பாடு மற்றும் முன்கணிப்பு அறிவிப்புகள், கோட்பாடுகள், அதாவது, சாத்தியமான உலகங்களைப் பற்றிய தர்க்க வாக்கியங்கள், வரையறுக்கப்பட்ட சின்னத்தின் தனித்துவமான விளக்கத்தைக் குறிப்பிடும் வரையறைகள், அதன் அளவுருக்களின் விளக்கத்தைக் கொடுக்கின்றன. வரையறைகள் தூண்டலாக இருக்கலாம். கணக்கீடுகள், அதாவது, கணக்கீட்டின் மூலம் குறியீடுகளின் வரையறைகள். உதாரணம் வாக்களிக்கும் சட்டம் குடிமக்கள் வாக்களிக்க குறைந்தபட்சம் 18 வயதுடையவர்களாக இருக்க வேண்டும் என்று குறிப்பிடுகிறது. மேலும், வாக்களிக்கும் சட்டம் பரிந்துரைக்கப்பட்டதாக விளக்கப்பட்டால், நீங்கள் 18 வயதிற்கு மேற்பட்டவராக இருக்கும்போது வாக்களிப்பது கட்டாயமாகும். இதை FO (.) இல் குறிப்பிடலாம். பின்வருமாறுஃ சொற்களஞ்சியம் வி {வயதுஃ () → இசட்// செயல்பாட்டு அறிவிப்பு பரிந்துரை, வாக்குஃ () → பி// முன்கணிப்பு அறிவிப்புகள்} கோட்பாடு டிஃ வி {வயது () <18இன் வாக்கு (). //கோட்பாடுஃ நீங்கள் 18 வயதிற்குட்பட்டவராக இருந்தால், நீங்கள் வாக்களிக்கக்கூடாது. பரிந்துரைக்கப்பட்ட () ணி (வயது () ≤18 ணி வாக்கு ()). இந்த குறியீட்டில், A → B என்பது A முதல் B வரையிலான செயல்பாட்டைக் குறிக்கிறது, முழு எண்களைக் குறிக்கிறது, பூலியன்களைக் குறிக்கிறது, எதிர்மறையைக் குறிக்கிறது, மற்றும் பொருள் நிபந்தனையைக் குறிக்கிறது. முன்கணிப்புகள் <மற்றும் ± ஆகியவை உள்ளமைக்கப்பட்டுள்ளன மற்றும் அவற்றின் வழக்கமான அர்த்தத்தைக் கொண்டுள்ளன. அத்தகைய அறிவுத் தளத்தை தானாகவே ஒரு ஊடாடும் வழக்கறிஞராக மாற்றலாம் (இங்கே பார்க்கவும்) குறிப்புகள் வெளிப்புற இணைப்புகள் ஃபோ (.) மொழி அறிவு பிரதிநிதித்துவ மொழிகள்