برنامج شيئين
Dixie Schlatter
هذه أداة عبر الإنترنت لاختيار الاسم أو العنصر بشكل عشوائي.يطلق عليه أيضًا منتقي الاسم العشوائي أو عجلة الأسماء أو الروليت عبر الإنترنت.في بعض الأحيان يكون من الصعب على الناس اتخاذ القرارات. ثم قم بعمل قائمة بالخيارات أو المرشحين الحاليين ثم حدد واحدًا منهم بشكل عشوائي. في هذه الحالة يمكنك استخدام أداتنا لاتخاذ القرارات. بسيط وممتع.يمكنك تعديل الأسماء في منطقة النص ضع اسمًا واحدًا في كل سطر.سيتم رسم الأسماء على الدائرة.فقط انقر فوق عجلة الدائرة وسوف تبدأ في الدوران لبضع ثوان. والنتيجة هي اختيار عشوائي لاسم في القائمة.نوفر أيضًا مفاتيح اختصار سهلة الاستخدام إذا كنت تستخدم سطح المكتب.
ماذا يحدث عندما تبدأ في التدوير (انقر)سيقوم البرنامج الموجود في هذه الصفحة بإنشاء رقم عشوائي حقًا بواسطة JavaScript api الأصلي وحساب هذا الرقم للإشارة إلى أحد الأسماء.ثم تبدأ عجلة الدائرة بالدوران باستخدام طريقة CSS3-2D.
الاستدلال الآلي هو مجال علوم الكمبيوتر الذي يحاول تقديم ضمان حول ما سيفعله النظام أو البرنامج أو لن يفعلاه أبدًا. يعتمد هذا الضمان على برهان رياضي. يحل الناس العديد من المشكلات المنطقية في الرياضيات والعلوم والحساب باستخدام إستراتيجيات منطقية مثل النظريات والاستنتاجات. يستخدم الاستدلال الآلي أجهزة الكمبيوتر التي تستخدم نفس الأدوات لحل التحديات المعقدة. تحاول أدوات الاستدلال الآلي الإجابة على أسئلة حول برنامج (أو صيغة منطقية) باستخدام تقنيات معروفة من الرياضيات. تساعدك الأدوات في التحقق من صحة الجملة أو التعبير.
يستخدم العلماء ومطورو البرامج الاستدلال الآلي لإثبات شيئين. أولاً يُثْبتون أن تصميم النظام أو تنفيذه يخضعان لمواصفاته. ثانيًا يُثْبتون أنه يعمل بالطريقة التي كان من المفترض أن يعمل بها.
يقوم الاستدلال الآلي بذلك عن طريق التوصّل للبراهين في المنطق الصوري المدعوم بالنظريات الرياضية أو الحقائق المعلومة. يستخدم الاستدلال الآلي أساليب تحقق رياضية تستند إلى المنطق للتوصّل إلى براهين تؤكد الأمان أو الصحة لجميع السلوكيات المحتملة.
يُمكن أيضًا استخدام الاستدلال الآلي لإثبات أن الأنظمة المستخدمة في تكوين الشبكات أو التي تسمح بالوصول إلى الشبكة أو تمنح الأذونات أو التي تحافظ على خصوصية البيانات وأمانها تعمل على النحو المنشود.
عند استخدام الاستدلال الآلي أولًا تقدم للنظام جملة المشكلة. ثم يقوم نظام الاستدلال الآلي بحساب الافتراضات والتحقق منها باستخدام جملة المشكلة. يقوم البرنامج بذلك حتى يستنفد جميع الخيارات.
يقوم نظام الاستدلال الآلي بتقييم ما إذا كانت جملة المشكلة صحيحةً. على وجه التحديد يستخدم الاستنتاج المنطقي. في هذه الحالة القطط من الثدييات والثدييات تعيش على الأرض. ولذلك يتحقق الاستدلال الآلي من أن القطط تعيش على الأرض.
لا يقوم الاستدلال الآلي بعمل تنبؤات أو تعميمات. على سبيل المثال يمكننا استخدام الاستدلال الآلي في تقديم وسيطة مثل هذه:
إن قدرة الاستدلال الآلي على إجراء استنتاجات منطقية خطوةً بخطوة مفيدة في مجالات كثيرة. باستخدام الاستدلال الآلي يُمكنك إثبات خصائص الأمان والامتثال والتوافر والمتانة والسلامة التي تمتاز بها البنيات واسعة النطاق.
يقوم العلماء والمهندسون وعلماء الرياضيات بحل المشكلات وتحقيق البراهين الرياضية من خلال تطبيق الصيغ الجبرية في التطبيقات العلمية. في هذه الممارسات يستخدمون النماذج الرياضية التي تعتمد على عدة متغيرات لاستنتاج الحلول المحتملة للمشكلة.
الاستدلال الآلي يساعد مهندسي الأجهزة في بناء منتجات موثوقة. يتيح لهم اكتشاف العيوب المحتملة التي تغفل عنها طرق الاختبار التقليدية.
على سبيل المثال يستخدم مهندسو تصميم الإلكترونيات تحليلات الاستدلال الآلي الرياضية الصارمة للتوصّل إلى برهان قاطع يؤكد استيفاء تصميم الجهاز لمواصفاته مثل سلوكيات الأنظمة أو عمليات التنفيذ.
تُظهر عملية التحقق أن جميع السلوكيات المحتملة للنظام تستوفي الخصائص الزمنية التي تتضمنها المواصفات. ويمكن أن تُظهر أيضًا أن كل سلوك محتمل يتضمنه تنفيذ النظام هو سلوك متوافق مع بعض سلوكيات مواصفات النظام عالية المستوى.
يستخدم مطورو البرامج الاستدلال الآلي للمساعدة في ضمان أن تكون التطبيقات قويةً ضد مشكلات الأمان غير المرغوب فيها ولضمان أن البرامج تعمل على النحو المنشود أو الذي صممت من أجله. مثل عملية التحقق من الأجهزة يسمح الاستدلال الآلي للمطورين بالتحقق من تدابير الأمان البرمجية وفقًا للعديد من السياسات.
على سبيل المثال يتحقق المهندسون في Amazon Web Services (AWS) من أن كود التمهيد (boot code) هو كود آمن لكل تكوين تمهيد مستخدمين في ذلك الاستدلال الآلي. مثال آخر هو أنهم يتحققون من أن البيانات المخزنة والتي تتم معالجتها على خدمة Amazon Simple Storage Service (Amazon S3) هي بيانات محمية. في هذا المثال يعتمدون على الاستدلال الآلي في النسخ المتماثل والاتساق والتحجيم التلقائي وموازنة التحميل وغيرها من مهام التنسيق.
يستخدم علماء الكمبيوتر تقنيات الاستدلال الآلي لتكوين إمكانية وصول. للقيام بذلك يكتبون سياسات تصف الوقت الذي يُسمح فيه لطلبات المستخدم بالوصول إلى المورد والوقت الذي يُرفض فيه الوصول. يتحقق ذلك من أن المستخدمين المستهدفين فقط هم من يمكنهم الوصول إلى المورد وهو أمر مهم لأمان المورد وخصوصيته.
المنطق الكلاسيكي هو فلسفة رياضية توفر نماذج الاستدلال الأساسية الخاصة ببرامج الاستدلال المنطقي الآلي. يعتمد هذا المنطق على مبدأ أن كل اقتراح له قيمة حقيقية سواءً كانت هذه القيمة صحيحةً أو خطأ ولكن ليس كليهما.
المنطق الكلاسيكي يركز بشكل أساسي على منطق الرتبة الأولى الذي يتيح لعلماء الرياضيات تمثيل متغيرات مجهولة مثل x باستخدام محددات كمية مثل there exists (توجد) في جملة. على سبيل المثال يطبق العلماء المنطق الكلاسيكي في البرمجة المنطقية للتوصل إلى x في هذه الجملة: توجد x حيث تقع x على الأرض وx هي حيوان ثديي.
المنطق الافتراضي هو نظام منطقي توجد فيه افتراضات قد تكون صحيحةً أو خطأ وإنشاء العلاقات بين هذه الافتراضات يُسمى الوسيطات.
الجملة الكلاسيكية للوسيطة في المنطق الافتراضي هي إذا كانت P فعندئذٍ Q. على سبيل المثال إذا كان اليوم هو "السبت" فإن اليوم هو عطلة نهاية الأسبوع.
الاستدلال الآلي يستخدم تقنيةً تُسمّى SAT solving. الاستدلال الآلي يستخدم أدوات تسمى أدوات SAT solver للبحث عن تعيينات تحقق الوسيطات في المنطق الافتراضي. هذا يعني أن المتغيرات التي تحقق الوسيطة هي متغيرات صحيحة.
الذكاء الاصطناعي هو علم يُعلّم أجهزة الكمبيوتر التفكير مثل الأشخاص عندما تتولى أجهزة الكمبيوتر مهمة حل مشكلة. أدت التطورات الأخيرة في الذكاء الاصطناعي إلى ظهور العديد من التخصصات الفرعية من بينها التعلم العميق وتحليلات البيانات وتعلّم الآلة.
03c5feb9e7