FO(.)
કોમ્પ્યુટર સાયન્સમાં, એફઓ (.) (એ. કે. એ. એફઓ-ડોટ) એ ફર્સ્ટ-ઓર્ડર લોજિક (એફઓ) પર આધારિત જ્ઞાન પ્રતિનિધિત્વ ભાષા છે. તે પ્રકારો, એકત્રીકરણ (ગણતરી, સારાંશ, મહત્તમ. સમૂહ પર), અંકગણિત, પ્રેરક વ્યાખ્યાઓ, આંશિક કાર્યો અને સઘન પદાર્થો સાથે FO ને વિસ્તરે છે. પોતે જ, એક એફઓ (.) જ્ઞાનનો આધાર ચલાવી શકાતો નથી, કારણ કે તે માત્ર "માહિતીની થેલી" છે, જેનો ઉપયોગ વિવિધ સામાન્ય તર્ક અલ્ગોરિધમ્સ માટે ઇનપુટ તરીકે થાય છે. તર્ક એન્જિન કે જે FO (.) નો ઉપયોગ કરે છે તેમાં IDP-Z3, IDP અને FOLASP નો સમાવેશ થાય છે. ઉદાહરણ તરીકે, આઇ. ડી. પી. પ્રણાલી એફ. ઓ. (F. O.) પર અન્ય પ્રકારનાં અનુમાનની સાથે મોડેલો બનાવવા, સેટ ક્વેરીઝના જવાબ આપવા, બે સિદ્ધાંતો વચ્ચે પ્રવેશની તપાસ કરવા અને સંતોષકારકતાની તપાસ કરવાની મંજૂરી આપે છે. જ્ઞાન આધાર. એફઓ (.) તેમાં ચાર પ્રકારના નિવેદનો છેઃ પ્રકાર, કાર્ય અને અનુમાનિત ઘોષણાઓ, સ્વયંસિદ્ધ, એટલે કે, સંભવિત વિશ્વો વિશેના તર્ક વાક્યો, વ્યાખ્યાઓ કે જે વ્યાખ્યાયિત પ્રતીકના અનન્ય અર્થઘટનને સ્પષ્ટ કરે છે, તેના પરિમાણોનું અર્થઘટન આપવામાં આવે છે. વ્યાખ્યાઓ પ્રેરક હોઈ શકે છે. ગણતરીઓ, એટલે કે, ગણતરી દ્વારા પ્રતીકોની વ્યાખ્યાઓ. ઉદાહરણ મતદાન કાયદો સ્પષ્ટ કરે છે કે મતદાન કરવા માટે નાગરિકોની ઉંમર ઓછામાં ઓછી 18 વર્ષની હોવી જોઈએ. વધુમાં, જો મતદાન કાયદાને સૂચિત તરીકે અર્થઘટન કરવામાં આવે, તો જ્યારે તમે 18 વર્ષથી વધુ હો ત્યારે મતદાન ફરજિયાત છે. આને એફઓ (.) માં રજૂ કરી શકાય છે. નીચે પ્રમાણેઃ શબ્દભંડોળ V {ઉંમરઃ () → Z// કાર્ય ઘોષણા સૂચિત, મતઃ () → B// અનુમાનિત ઘોષણાઓ} સિદ્ધાંત T: V {ઉંમર () <18 ુણુત (). //સ્વયંસિદ્ધઃ જો તમે 18 વર્ષથી ઓછી ઉંમરના હો, તો તમે મત ન આપી શકો. પ્રિસ્ક્રિપ્ટિવ () ુણ (ઉંમર () ± 18 ણ મત ()). //સ્વયંસિદ્ધઃ જો સૂચિત હોય તોઃ જો તમે ઓછામાં ઓછા 18 વર્ષના હો, તો તમારે મત આપવો જ જોઇએ} આ કોડમાં, A → B એ A થી B સુધીના કાર્યને સૂચવે છે, પૂર્ણાંકોને સૂચવે છે, બુલિયનોને સૂચવે છે, ¬ નકારાત્મકતાને સૂચવે છે, અને ̃ ભૌતિક શરતી સૂચવે છે. આગાહીઓ <અને ω બિલ્ટ-ઇન છે અને તેનો સામાન્ય અર્થ છે. આવા જ્ઞાન આધારને આપમેળે ઇન્ટરેક્ટિવ વકીલમાં ફેરવી શકાય છે (અહીં જુઓ) સંદર્ભો બાહ્ય કડીઓ એફઓ (.) ભાષા જ્ઞાન પ્રતિનિધિત્વ ભાષાઓ