अमेज़न बेडरॉक ने दो नए मोड के साथ नीति शोधन को स्वचालित किया

AWS ने Amazon Bedrock Guardrails के Automated Reasoning चेकों के लिए स्वचालित नीति शोधन की घोषणा की है, जो उत्तर की सत्यता साबित करने के लिए औपचारिक सत्यापन का उपयोग करते हैं। शोधन इंजन विफल परीक्षणों का निदान करता है और औपचारिक तर्क में सुधार का प्रस्ताव रखता है, और उपयोगकर्ताओं को हर बदलाव को मंज़ूरी देनी होती है। दो नए मोड पेश किए गए हैं: नियम समस्याओं के लिए Iterative Refinement, जहाँ तर्क गलत है लेकिन अनुवाद सही है, और भाषा समस्याओं के लिए Ambiguous Variable Refinement, जहाँ अस्पष्ट चर विवरण या अतिव्यापी परिभाषाओं के कारण TRANSLATION_AMBIGUOUS परिणाम उत्पन्न होते हैं। दोनों मोड एक अतुल्यकालिक API वर्कफ़्लो (प्रारंभ, पोल, पुनर्प्राप्ति) और एक कंसोल वर्कफ़्लो का पालन करते हैं। Iterative Refinement वर्तमान नीति, एक स्रोत दस्तावेज़ और वैकल्पिक प्रतिक्रिया लेता है; यह नियम या चर परिवर्तन प्रस्तावित करता है और अभिसरण तक आंतरिक रूप से पुनरावृत्ति करता है। Ambiguous Variable Refinement स्पष्ट चर विवरण प्रस्तावित करता है और संभवतः अतिव्यापी चरों को विलय करता है। यह सुविधा Amazon Bedrock में उपलब्ध है, और उपयोगकर्ता समीक्षा स्क्रीन पर प्रस्तावित परिवर्तनों को स्वीकार या अस्वीकार कर सकते हैं।