تنزيل AutomaticReasoning IntelligentSystems - تنزيل كود مصدر AutomaticReasoning IntelligentSystems

AutomaticReasoning IntelligentSystems

فئات أخرى

1.0.0

تنزيل

مشاريع التفكير التلقائي

هذه مجموعة من المشاريع التي قمت بتطويرها لدورات النظام الذكي وتمثيل المعرفة والتفكير التلقائي في السنة الثانية والسنة الأولى من درجة البكالوريوس في علوم الكمبيوتر في UDC (إسبانيا). المشاريع هي التالية:

مؤلف Canon الآلي بأصوات متعددة باستخدام برمجة مجموعة الإجابة التي تأخذ في الاعتبار العديد من القيود والتفضيلات اللحنية. ويستخدم أدوات gringo، clasp، python وlilypond. يتم توفير مثال قصير لملف صوتي، تم إنشاؤه باستخدام أحد ملفات التفضيلات المتوفرة. باستخدام بايثون، المشبك، غرينغو وليليبوند.
Sokoban حلالا عن طريق البحث التجريبي الذي يحل لعبة Sokoban. بمساعدة بعض التعليمات البرمجية المستخرجة مباشرة من كتاب Russell&Norvig03، قمت أنا وشريكي بتطوير المجال المحدد والاستدلال المناسب. يمكن استخدام Greedy وBSF وDSF وA* لإجراء البحث. الهدف هو تحريك اللاعب (@) لأعلى ولأسفل ولليسار ولليمين لجمع الأهداف (.). لا يمكن تحريك الجدران (#) ولكن يمكن تحريك الكائنات ($). الكشف عن مجريات الأمور المحدد هو الحد الأدنى من المسافات إلى الأهداف.
Hitori Puzzle Solver الذي يحول نسخة مبسطة من أحجية Hitori إلى مجموعة من عبارات CNF المنطقية بناءً على قواعد اللعبة، يستدعي حلاً للرضا المقترح (SAT) ويخلق الحل. باستخدام بايثون وبيكوسات.
المنطق الاحتمالي مع مجموعات الإجابات التي تحسب احتمالات حدوث أشياء مختلفة في لعبة نظرية الانفجار الكبير صخرة، ورقة، مقص، سحلية، سبوك. باستخدام P-سجل.
مشروع إثبات النظرية الذي يتحقق مما إذا كان الاستنتاج يتبع من المبنى باستخدام مُثبت نظرية لحساب التفاضل والتكامل المسند يسمى Prover9. يقبل هذا البرنامج قائمة الصيغ في منطق الدرجة الأولى ويقرر ما إذا كانت الصيغة صالحة أم لا عن طريق التفنيد باستخدام الدقة.
8 حل اللغز عن طريق البحث التجريبي الذي يجد حلاً للعبة. وبمساعدة بعض التعليمات البرمجية المستخرجة مباشرة من كتاب Russell&Norvig03، قمنا بتطوير المجال المحدد وإرشاد مناسب. يمكن استخدام Greedy وBSF وDSF وA* لإجراء البحث. أفضل طريقة مجربة كانت مسافة سيارة الأجرة.
رومانيا خريطة الطريق ابحث عن طريق إلى بوخارست من أراد (ويفضل أن يكون الأقصر). وبمساعدة بعض التعليمات البرمجية المستخرجة مباشرة من كتاب Russell&Norvig03، قمنا بتطوير المجال المحدد وإرشاد مناسب. يمكن استخدام Greedy وBSF وDSF وA* لإجراء البحث. وكان الكشف عن مجريات الأمور المستخدمة هي المسافة المستقيمة.