Concurrent MetateM
સમવર્તી મેટાટેમ એ એક બહુ-એજન્ટ ભાષા છે જેમાં દરેક એજન્ટને તે જે વર્તન પ્રદર્શિત કરવું જોઈએ તેના (સંવર્ધિત) ટેમ્પોરલ લોજિક સ્પષ્ટીકરણોના સમૂહનો ઉપયોગ કરીને પ્રોગ્રામ કરવામાં આવે છે. આ સ્પષ્ટીકરણો એજન્ટની વર્તણૂક પેદા કરવા માટે સીધા જ ચલાવવામાં આવે છે. પરિણામે, સિસ્ટમોની જેમ તર્કને અમાન્ય બનાવવાનું કોઈ જોખમ નથી જ્યાં તાર્કિક સ્પષ્ટીકરણને પહેલા નીચલા સ્તરના અમલીકરણમાં અનુવાદિત કરવું આવશ્યક છે. મેટાટએમ ખ્યાલનું મૂળ ગબ્બેનું વિભાજન પ્રમેય છે; કોઈપણ મનસ્વી ટેમ્પોરલ લોજિક સૂત્રને તાર્કિક રીતે સમકક્ષ ભૂતકાળના ભાવિ સ્વરૂપમાં ફરીથી લખી શકાય છે. અમલ ઇતિહાસ સાથે સતત મેળ ખાતા નિયમોની પ્રક્રિયા દ્વારા આગળ વધે છે, અને જ્યારે પૂર્વજો સંતુષ્ટ થાય ત્યારે તે નિયમોને લાગુ કરે છે. કોઈપણ તાત્કાલિક ભાવિ-સમયના પરિણામો પ્રતિબદ્ધતાઓ બની જાય છે જે પછીથી સંતુષ્ટ થવી જોઈએ, પુનરાવર્તિત રીતે કાર્યક્રમના નિયમોથી બનેલા સૂત્ર માટે એક મોડેલ ઉત્પન્ન કરે છે. ટેમ્પોરલ કનેક્ટીવ્સ સમવર્તી મેટાટેમના ટેમ્પોરલ કનેક્ટીવ્સને બે વર્ગોમાં વિભાજિત કરી શકાય છે, જે નીચે મુજબ છેઃ સ્ટ્રિક્ટ પાસ્ટ ટાઇમ કનેક્ટીવ્સઃ '●' (નબળું છેલ્લું), '′' (મજબૂત છેલ્લું), 'Â' (હતું), 'Â' (અત્યાર સુધી), S (ત્યારથી), અને Z (ઝીન્સ, અથવા નબળું ત્યારથી). વર્તમાન અને ભવિષ્યના સમયના સંયોજનોઃ '(આગામી),' (ક્યારેક), '(હંમેશા), યુ (સુધી), અને ડબલ્યુ (સિવાય કે). જોડણીઓ એકસરખી છે; બાકીની દ્વિસંગી છે. જો અગાઉના સમયમાં ρ સાચું હોત તો સખત ભૂતકાળના સમયના જોડાણો છેલ્લા ρ નબળા હવે સંતુષ્ટ થાય છે. જો સમયની શરૂઆતમાં ρ નું અર્થઘટન કરવામાં આવે, તો વાસ્તવિક અગાઉનો સમય ન હોવા છતાં તે સંતુષ્ટ થાય છે. તેથી "નબળા" છેલ્લા. જો અગાઉના સમયમાં ρ સાચું હતું તો મજબૂત છેલ્લું ρ હવે સંતુષ્ટ છે. જો સમયની શરૂઆતમાં ρ નું અર્થઘટન કરવામાં આવે, તો તે સંતુષ્ટ નથી કારણ કે ત્યાં કોઈ વાસ્તવિક અગાઉનો સમય નથી. તેથી "મજબૂત" છેલ્લું. જો ρ સમયની અગાઉની કોઈપણ ક્ષણે સાચું હતું તો શું ρ હવે સંતુષ્ટ છે. જો ρ સમયની દરેક અગાઉની ક્ષણે સાચું હતું તો અત્યાર સુધી κρ હવે સંતુષ્ટ છે. કારણ કે ρSsi હવે સંતુષ્ટ છે જો si અગાઉની કોઈપણ ક્ષણે સાચું હોય અને ρ તે ક્ષણ પછીની દરેક ક્ષણે સાચું હોય. ઝીન્સ, અથવા નબળું કારણ કે ρZsi હવે સંતુષ્ટ છે જો (si અગાઉની કોઈપણ ક્ષણે સાચું છે અને ρ તે ક્ષણ પછીની દરેક ક્ષણે સાચું છે) અથવા si ભૂતકાળમાં બન્યું નથી. જો ρ સમયની આગલી ક્ષણે સાચું હોય તો વર્તમાન અને ભાવિ સમયના જોડાણો આગામી ρ હવે સંતુષ્ટ છે. જો ρ અત્યારે સાચું હોય અથવા સમયની કોઈપણ ભાવિ ક્ષણે હોય તો ક્યારેક ρ હવે સંતુષ્ટ થાય છે. જો ρ અત્યારે અને ભવિષ્યની દરેક ક્ષણે સાચું હોય તો હંમેશા ρ હવે સંતુષ્ટ થાય છે. જ્યાં સુધી ρUsi હવે સંતુષ્ટ ન થાય ત્યાં સુધી જો si ભવિષ્યની કોઈપણ ક્ષણે સાચું હોય અને ρ અગાઉની દરેક ક્ષણે સાચું હોય. જ્યાં સુધી ρWsi હવે સંતુષ્ટ ન થાય ત્યાં સુધી જો (si ભવિષ્યની કોઈપણ ક્ષણે સાચું હોય અને ρ અગાઉની દરેક ક્ષણે સાચું હોય) અથવા si ભવિષ્યમાં થતું નથી. સંદર્ભો બાહ્ય કડીઓ મેટાટએમ દુભાષિયાનું જાવા અમલીકરણ અહીંથી ડાઉનલોડ કરી શકાય છે આર્ટિફિશિયલ ઇન્ટેલિજન્સ