Harmonic
Harmonic شركة ذكاء اصطناعي تطور تقنيات التحقق الصوري للبرمجيات وتصميم الشرائح، وتربط أبحاث الاستدلال الرياضي باحتياجات الفرق الهندسية.
البيانات الموحدة
- الوسم التعريفي
- استدلال مدعوم ببراهين قابلة للفحص الآلي
Harmonic شركة ذكاء اصطناعي تطور تقنيات التحقق الصوري للبرمجيات وتصميم الشرائح، وتربط أبحاث الاستدلال الرياضي باحتياجات الفرق الهندسية.
ما هي شركة Harmonic؟
Harmonic شركة تعمل على تطوير أنظمة استدلال تستطيع تقديم براهين قابلة للفحص الآلي. يجمع توجهها بين الذكاء الاصطناعي والرياضيات، مع الاهتمام بإمكانية مراجعة النتيجة والأساس الذي تستند إليه. ويظهر هذا الاختيار في اهتمامها بنتيجة يستطيع النظام فحصها، بحيث يكون الاستدلال مرتبطًا بخطوات يمكن مراجعتها لا بمجرد صياغة الإجابة.
مجال عمل الشركة
بدأ نشاطها من مسائل الرياضيات الصعبة وإثبات نتائجها. ويعكس ذلك اختيارًا تقنيًا يجعل البرهان جزءًا من العمل، بدل الاكتفاء بإجابة يصعب تتبع صحتها. وتوضح مسيرتها المنشورة انتقال العمل من إثبات المسائل الرياضية إلى تطبيق الأسلوب نفسه على أسئلة صحة البرامج وتصميمات الدوائر الرقمية.
علاقتها بالذكاء الاصطناعي
تطوّر الشركة Aristotle، ووسّعت تطبيق التقنية إلى التحقق من البرمجيات وتصميمات العتاد. ويوضح هذا المسار كيف يمكن نقل الاستدلال الرياضي إلى أسئلة عملية عن سلوك الأنظمة. يربط هذا الاستخدام بين وصف ما ينبغي أن يفعله النظام وفحص السلوك الذي يسمح به تصميمه، ضمن الخصائص والافتراضات المحددة للمهمة.
موقعها في منظومة الأعمال
تخاطب فرق البحث والهندسة التي تحتاج إلى فهم ما أُثبت وما بقي خارج نطاق الفحص. وتظل المواصفات والافتراضات التي يعتمدها الفريق جزءًا أساسيًا من تفسير أي نتيجة. لذلك تكون قراءة تقرير التحقق مهمة بقدر قراءة نتيجته، لفهم الادعاء الذي جرى إثباته والشروط اللازمة لبقاء هذا الادعاء صحيحًا.
بطاقة التعريف
Harmonic Aristotle وكيل للتحقق الصوري من كود C وتصميمات SystemVerilog، يفحص خصائص يحددها المهندس ويعيد براهين مفحوصة آليًا أو أمثلة مضادة، مع توضيح الافتراضات…