Action language
கணினி அறிவியலில், ஒரு செயல் மொழி என்பது நிலை மாற்ற அமைப்புகளைக் குறிப்பிடுவதற்கான ஒரு மொழியாகும், மேலும் இது பொதுவாக உலகில் செயல்களின் விளைவுகளின் முறையான மாதிரிகளை உருவாக்க பயன்படுகிறது. செயல் மொழிகள் பொதுவாக செயற்கை நுண்ணறிவு மற்றும் ரோபாட்டிக்ஸ் களங்களில் பயன்படுத்தப்படுகின்றன, அங்கு அவை காலப்போக்கில் அமைப்புகளின் நிலைகளை எவ்வாறு பாதிக்கின்றன என்பதை விவரிக்கின்றன, மேலும் தானியங்கி திட்டமிடலுக்கு பயன்படுத்தப்படலாம். செயல் மொழிகள் இரண்டு பிரிவுகளாகப் பிரிக்கப்படுகின்றனஃ செயல் விளக்க மொழிகள் மற்றும் செயல் வினவல் மொழிகள். STRIPS, PDDL, மொழி A (STRIPS இன் பொதுமைப்படுத்தல்; பெட்னால்ட்டின் ADL இன் முன்மொழிவு பகுதி), மொழி B (மறைமுக விளைவுகளைச் சேர்க்கும் A இன் நீட்டிப்பு, நிலையான மற்றும் மாறும் சட்டங்களை வேறுபடுத்துகிறது) மற்றும் மொழி C (இது மறைமுக விளைவுகளையும் சேர்க்கிறது, மேலும் ஒவ்வொரு சரளமும் தானாகவே "நிலைத்தன்மை" என்று கருதுவதில்லை). செயல் வினா மொழிகள் பி, க்யூ மற்றும் ஆர் ஆகியவையும் உள்ளன. செயல் மொழிகளை மாற்றுவதற்கு பல்வேறு வழிமுறைகள் உள்ளன, குறிப்பாக, செயல் மொழி சி, தொகுப்பு நிரல்களுக்கு பதிலளிக்க. நவீன பதில்-தொகுப்பு தீர்வுகள் திருப்தியை மிக விரைவாக உறுதிப்படுத்த பூலியன் SAT வழிமுறைகளைப் பயன்படுத்துவதால், பூலியன் SAT தீர்க்கும் களத்தில் செய்யப்படும் முன்னேற்றத்தை செயல் மொழிகளும் அனுபவிக்க முடியும் என்பதை இது குறிக்கிறது. முறையான வரையறை அனைத்து செயல் மொழிகளும் ஒரு நிலை மாற்றம் அமைப்பின் வரையறையை சரளமான F தொகுப்புடன் பூர்த்தி செய்கின்றன, சரளமானவர்கள் எடுக்கக்கூடிய மதிப்புகளின் தொகுப்பு V, மற்றும் S × F முதல் V வரை வரைபடம் செய்யும் செயல்பாடு, இதில் S என்பது ஒரு நிலை மாற்றம் அமைப்பின் நிலைகளின் தொகுப்பாகும். மேலும் காண்க லீனியர் டெம்போரல் லாஜிக் GOLOG ஃப்ளூயென்ட் கால்குலஸ் சூழ்நிலை கால்குலஸ் நிகழ்வு கால்குலஸ் குறிப்புகள் நிரலாக்க மொழி வகைப்பாடு தானியங்கி திட்டமிடல் மற்றும் திட்டமிடல் மாற்றம் அமைப்புகள்