← नवीनतम पेपर
💻 computer science

FormIDEAble: Safe and Socially-aware Autonomous Systems

FormIDEAble एक औपचारिक रूप से आधारित ढांचा है जो अनिश्चितता के बीच नेविगेट करते हुए सुरक्षा गारंटी सुनिश्चित करने के लिए मानव-एजेंट संपर्क को एक प्राइस्ड टाइमड मार्कोव डिसीजन प्रोसेस के रूप में मॉडल करके सामाजिक-महत्वपूर्ण परिवेशों में स्वायत्त एजेंटों के लिए सामाजिक रूप से जागरूक सहयोग रणनीतियों को संश्लेषित करता है।

मूल लेखक: Livia Lestingi, Amel Bennaceur, Marcello M. Bersani, Carlos Gavidia-Calderon, Anastasia Kordoni, Mark Levine, Bashar Nuseibeh, Matteo Rossi

प्रकाशित 2026-07-01
📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

मूल लेखक: Livia Lestingi, Amel Bennaceur, Marcello M. Bersani, Carlos Gavidia-Calderon, Anastasia Kordoni, Mark Levine, Bashar Nuseibeh, Matteo Rossi

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

एक अराजक आपातकालीन दृश्य की कल्पना करें, जैसे कि किसी इमारत में आग लगी हो। धुएं के बीच, आपके पास लोगों को सुरक्षित बाहर निकालने की कोशिश करने वाला एक रोबोट है। रोबोट के सामने एक कठिन विकल्प है: क्या उसे पास खड़े किसी अजनबी से घायल व्यक्ति को उठाने में मदद करने के लिए कहना चाहिए, या उसे एक पेशेवर अग्निशमन कर्मी (फायरफाइटर) को बुलाना चाहिए?

यदि वह अजनबी से पूछता है, तो यह तेज़ हो सकता है, लेकिन अजनबी घबराकर भाग सकता है। यदि वह अग्निशमन कर्मी को बुलाता है, तो यह भरोसेमंद है, लेकिन अग्निशमन कर्मी दूर हो सकता है, और इंतज़ार करने के दौरान घायल व्यक्ति को चोट लग सकती है।

यह वही समस्या है जिसे FormIDEAble हल करने की कोशिश करता है। यह रोबोटों के लिए एक नया "मस्तिष्क" है जो उन्हें इन पलक झपकते ही लिए जाने वाले निर्णयों में मदद करता है। यह दो काम एक साथ करता है जो अन्य रोबोटों के लिए करना मुश्किल होता है:

  1. यह लोगों को समझता है: यह जानता है कि इंसान केवल मशीनें नहीं हैं; वे अपने सामाजिक समूहों और भावनाओं (जैसे, "हम सब इस स्थिति में एक साथ हैं") के आधार पर कार्य करते हैं।
  2. यह सुरक्षा की गारंटी देता है: यह गणितीय रूप से सिद्ध करता है कि वह जो भी निर्णय लेता है, वह "सुरक्षा नियमों" (जैसे, "व्यक्ति को 10 मिनट के भीतर मदद मिलनी चाहिए") का उल्लंघन नहीं करेगा।

यह कैसे काम करता है, इसे सरल भागों में यहाँ दिया गया है:

1. "गेम बोर्ड" (PTMDP)

शोधकर्ताओं ने इस स्थिति को मॉडल करने के लिए एक विशेष प्रकार का गेम बोर्ड बनाया है। इसे एक बोर्ड गेम की तरह समझें जहाँ:

  • रोबोट एक खिलाड़ी है जो चालें चुन सकता है (जैसे "मदद के लिए पूछना" या "प्रोफेशनल को बुलाना")।
  • इंसान अन्य खिलाड़ी हैं, लेकिन वे अप्रत्याशित हैं। कभी-कभी वे मदद करते हैं, कभी-कभी नहीं। रोबोट निश्चित रूप से नहीं जानता कि वे क्या करेंगे, लेकिन वह अनुमान लगा सकता है कि समूहों में लोग आमतौर पर कैसे व्यवहार करते हैं, इसके आधार पर संभावनाओं का अंदाजा लगा सकता है।
  • घड़ी और स्कोर: हर चाल में समय लगता है और संसाधनों (जैसे बैटरी या अग्निशमन कर्मियों की सीमित संख्या) का उपयोग होता है।

2. "सोशल आइडेंटिटी" क्रिस्टल बॉल

रोबोट एक उपकरण का उपयोग करता है जिसे "आइडेंटिटी प्रेडिक्टर" कहा जाता है। कल्पना करें कि रोबोट के पास एक क्रिस्टल बॉल है जो किसी व्यक्ति के कपड़ों, उनके द्वारा कही जा रही बातों, या वे किसके साथ खड़े हैं, इसे देखती है। यह इसका अनुमान लगाने के लिए इसका उपयोग करता है: "क्या इस व्यक्ति की संभावना है कि वह एक टीम का हिस्सा महसूस करेगा और मदद करेगा?"
यदि रोबोट सोचता है, "हाँ, यह व्यक्ति एक टीममेट की तरह महसूस कर रहा है," तो वह उनसे मदद मांग सकता है। यदि वह सोचता, "नहीं, वे डरे हुए और अकेले लग रहे हैं," तो वह उन्हें छोड़कर सीधे प्रोफेशनल को बुला सकता है।

3. "सेफ्टी नेट" (औपचारिक गारंटी)

यह सबसे महत्वपूर्ण हिस्सा है। कई रोबोट स्मार्ट होने की कोशिश करते हैं, लेकिन वे यह वादा नहीं कर सकते कि वे गलती नहीं करेंगे। FormIDEAble अलग है। कोई भी चाल चलने से पहले, यह एक सुपर-फास्ट गणितीय जांच करता है।

  • यह पूछता है: "यदि मैं इस रास्ते को चुनता हूँ, तो क्या इस बात की कोई संभावना है कि व्यक्ति को बहुत लंबा इंतज़ार करना पड़ेगा?"
  • यदि उत्तर "हाँ, इसमें जोखिम है" है, तो रोबट वह रास्ता नहीं चुन सकता।
  • यह केवल उस पथ को चुनता है जो गणितीय रूप से सुरक्षित होने के लिए सिद्ध है, जबकि साथ ही यथासंभव तेज़ होने की कोशिश भी करता है।

4. "रेफरी" (रणनीति संश्लेषण)

यह प्रणाली एक रेफरी की तरह कार्य करती है जो रोबोट के लिए एक 'प्लेबुक' (रणनीति पुस्तिका) तैयार करती है। यह सभी संभावित परिदृश्यों को देखती है (क्या होगा यदि आग फैल जाए? क्या होगा यदि जीवित बचा व्यक्ति भाग जाए?), प्रत्येक के लिए सर्वोत्तम चाल की गणना करती है, और एक "रणनीति" बनाती है।

  • FormIDEAble के बिना: रोबोट केवल अंदाज़ा लगाएगा और बेहतर होने की उम्मीद करेगा।
  • FormIDEAble के साथ: रोबोट एक पूर्व-अनुमोदित प्लेबुक का पालन करता है जो कहता है, "स्थिति A में, X करें। स्थिति B में, Y करें," जिससे यह सुनिश्चित होता है कि सुरक्षा नियमों का कभी उल्लंघन न हो।

उन्होंने इसका परीक्षण कैसे किया

शोधकर्ताओं ने कंप्यूटर सिमुलेशन में एक सामूहिक निकासी (जैसे सैकड़ों लोगों के साथ फायर ड्रिल) के माध्यम से इसका परीक्षण किया।

  • उन्होंने अपने रोबोट की तुलना निम्नलिखित से की:
    • ऐसे रोबोट जो कुछ नहीं करते।
    • रोबोट जो हमेशा प्रोफेशनल्स को बुलाते हैं (समय बर्बाद करते हुए)।
    • रोबोट जो हमेशा जीवित बचे लोगों से पूछते हैं (जोखिम भरा)।
    • पुराने, कम सुरक्षित तरीके का उपयोग करने वाले रोबोट।
  • परिणाम: FormIDEAble रोबोट "कुछ न करने वाले" या "हमेशा पूछने वाले" रोबोटों की तुलना में लोगों को बाहर निकालने में तेज़ था। महत्वपूर्ण रूप से, इसने पेशेवर अग्निशमन कर्मियों को उन लोगों के लिए बचा लिया जिन्हें वास्तव में उनकी आवश्यकता थी, जबकि यह भी सुनिश्चित किया कि कोई भी बहुत लंबे समय तक इंतज़ार न करे। यह यह अनुमान लगाने में भी बहुत अच्छा था कि क्या इसकी योजना वास्तव में सिमुलेशन में काम करेगी।

निचोड़

FormIDEable एक सामाजिक रूप से स्मार्ट मस्तिष्क की तरह है जो एक गणितीय सुरक्षा कवच में लिपटा हुआ है। यह स्वायत्त एजेंटों (autonomous agents) को खतरनाक स्थितियों में मनुष्यों के साथ काम करने की अनुमति देता है, जिससे यह सुनिश्चित होता है कि वे कुशल होने के प्रयास में कभी भी खतरे की रेखा पार न करें।

पेपर में उल्लेख है कि यह वर्तमान में एक "प्रोटोटाइप" है जिसका परीक्षण सिमुलेशन में किया गया है। यह अभी तक वास्तविक जलती हुई इमारत में दौड़ने वाला रोबोट नहीं है, लेकिन गणित दिखाता है कि यह सिद्धांत में काम करता है और कंप्यूटर मॉडल में भी। शोधकर्ता भविष्य में इसे अन्य क्षेत्रों (जैसे स्वास्थ्य सेवा या सॉफ्टवेयर टीमों) में परीक्षण करने की योजना बना रहे हैं, लेकिन फिलहाल, उन्होंने यह सिद्ध कर दिया है कि यह अवधारणा काम करती है।

अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?

आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।

Digest आज़माएँ →