ดาวน์โหลด AutomaticReasoning IntelligentSystems - ดาวน์โหลดซอร์สโค้ด AutomaticReasoning IntelligentSystems

AutomaticReasoning IntelligentSystems

หมวดหมู่อื่นๆ

1.0.0

ดาวน์โหลด

โครงการการใช้เหตุผลอัตโนมัติ

นี่คือชุดโปรเจ็กต์ที่ฉันพัฒนาขึ้นสำหรับหลักสูตรระบบอัจฉริยะและการเป็นตัวแทนความรู้ และการใช้เหตุผลอัตโนมัติในหลักสูตรวิทยาศาสตรบัณฑิตสาขาวิทยาการคอมพิวเตอร์ที่ UDC (สเปน) ชั้นปีที่สองและมัธยมศึกษาตอนต้น โครงการมีดังต่อไปนี้:

โปรแกรมแต่งเพลง Canon อัตโนมัติพร้อมเสียงหลายเสียงโดยใช้โปรแกรมชุดคำตอบ ที่คำนึงถึงข้อจำกัดและความชอบด้านทำนองเพลงมากมาย ใช้เครื่องมือ gringo,clasp,python และ Lilypond มีไฟล์เสียงตัวอย่างสั้นๆ ให้ไว้ ซึ่งสร้างขึ้นด้วยไฟล์การตั้งค่าไฟล์ใดไฟล์หนึ่งที่มีให้ ใช้ Python, เข็มกลัด, gringo และ Lilypond
ตัวแก้ปัญหา Sokoban โดยการค้นหาแบบศึกษาสำนึก ที่แก้เกม Sokoban ด้วยความช่วยเหลือของโค้ดบางส่วนที่ดึงมาจากหนังสือของ Russell&Norvig03 โดยตรง ฉันและหุ้นส่วนได้พัฒนาโดเมนเฉพาะและการวิเคราะห์พฤติกรรมที่เหมาะสม Greedy, BSF, DSF และ A* สามารถใช้ในการค้นหาได้ วัตถุประสงค์คือเพื่อย้ายผู้เล่น (@) ขึ้น ลง ซ้าย และขวา เพื่อรวบรวมเป้าหมาย (.) ผนัง (#) ไม่สามารถเคลื่อนย้ายได้ แต่วัตถุ ($) สามารถเคลื่อนย้ายได้ ฮิวริสติกที่เลือกคือระยะทางขั้นต่ำถึงเป้าหมาย
Hitori Puzzle Solver ที่แปลงปริศนา Hitori เวอร์ชันง่าย ๆ ให้เป็นชุดคำสั่งบูลีน CNF ตามกฎของเกม เรียกตัวแก้ปัญหาความพึงพอใจเชิงประพจน์ (SAT) และสร้างวิธีแก้ปัญหา ใช้ Python และ picosat
การใช้เหตุผลแบบน่าจะเป็นพร้อมชุดคำตอบ ที่คำนวณความน่าจะเป็นของสิ่งต่าง ๆ ที่เกิดขึ้นในเกมทฤษฎีบิ๊กแบง ร็อค กระดาษ กรรไกร จิ้งจก สป็อค การใช้ P-log
โครงการ พิสูจน์บททฤษฎีบท ที่ตรวจสอบว่าข้อสรุปตามมาจากสถานที่โดยใช้เครื่องพิสูจน์ทฤษฎีบทสำหรับแคลคูลัสภาคแสดงที่เรียกว่า Prover9 หรือไม่ ซอฟต์แวร์นี้ยอมรับรายการสูตรใน First Order Logic และตัดสินใจว่าสูตรนั้นถูกต้องหรือไม่โดยการหักล้างโดยใช้การแก้ปัญหา
8ตัวแก้ปริศนาโดยการค้นหาแบบฮิวริสติก ที่ค้นหาวิธีแก้ปัญหาสำหรับเกม ด้วยความช่วยเหลือของโค้ดบางส่วนที่ดึงมาจากหนังสือของ Russell&Norvig03 โดยตรง เราได้พัฒนาโดเมนเฉพาะและการวิเคราะห์พฤติกรรมที่เหมาะสม Greedy, BSF, DSF และ A* สามารถใช้ในการค้นหาได้ ฮิวริสติกที่ดีที่สุดคือระยะทางของรถแท็กซี่
ค้นหาแผนงานโรมาเนีย ที่ค้นหาเส้นทางไปบูคาเรสต์จากอาราด (ควรสั้นที่สุด) ด้วยความช่วยเหลือของโค้ดบางส่วนที่ดึงมาจากหนังสือของ Russell&Norvig03 โดยตรง เราได้พัฒนาโดเมนเฉพาะและการวิเคราะห์พฤติกรรมที่เหมาะสม Greedy, BSF, DSF และ A* สามารถใช้ในการค้นหาได้ ฮิวริสติกที่ใช้คือระยะทางตรง