AbstractWe propose an interesting a

Abstract
We propose an interesting application of Constraint Logic Programming to automatic generation and explanation of mathematics exercises. A particular topic in mathematics is considered to investigate and illustrate the advantages of using the CLP paradigm. The goal is to develop software components that make the formulation and explanation of exercises easier. We describe exercises by grammars which enables us to get specialized forms almost for free, by imposing further conditions through constraints. To de.ne the grammars we concentrate on the solving procedures that are taught instead of trying to abstract an exercise template from a sample of similar exercises. Prototype programs indicate that Constraint Logic Programming frameworks may be adequate to implement such a tool. These languages have the right expressiveness to encode control on the system in an elegant and declarative way.
Work partially supported by funds granted to LIACC throug

ผลลัพธ์ (ไทย) 1:

บทคัดย่อเรานำเสนอคำอธิบายของแบบฝึกหัดคณิตศาสตร์และโปรแกรมที่น่าสนใจของข้อจำกัดตรรกะการเขียนโปรแกรมให้โดยอัตโนมัติ หัวข้อเฉพาะในวิชาคณิตศาสตร์เป็นการตรวจสอบ และแสดงให้เห็นถึงข้อดีของการใช้กระบวนทัศน์ CLP เป้าหมายคือการ พัฒนาส่วนประกอบซอฟต์แวร์ที่ทำสูตรและคำอธิบายของการออกกำลังกายได้ง่าย เราสามารถอธิบายการออกกำลังกาย โดย grammars ซึ่งช่วยให้เราสามารถขอแบบฟอร์มเฉพาะเกือบฟรี ตามเงื่อนไขการผ่านข้อจำกัดการจัดเก็บภาษี การ de.ne grammars การที่เรามีสมาธิในขั้นตอนการแก้ปัญหาที่สอนเพื่อนามธรรมแบบออกกำลังกายจากตัวอย่างของการออกกำลังกายคล้าย ต้นแบบโปรแกรมบ่งชี้ว่า ตรรกะการเขียนโปรแกรมในข้อจำกัดกรอบอาจเพียงพอที่จะใช้เครื่องมือ ภาษาเหล่านี้ได้แสดงออกขวาเข้ารหัสควบคุมระบบในทางหรูหรา และประกาศได้งานที่บางส่วนได้รับการสนับสนุน โดยเงินที่ได้รับ LIACC throug

ผลลัพธ์ (ไทย) 2:

บทคัดย่อ
เราเสนอโปรแกรมที่น่าสนใจของการเขียนโปรแกรมลอจิก จำกัด การผลิตอัตโนมัติและคำอธิบายของการออกกำลังกายคณิตศาสตร์ หัวข้อเฉพาะในวิชาคณิตศาสตร์เป็นที่ยอมรับว่าการตรวจสอบและแสดงให้เห็นถึงข้อดีของการใช้กระบวนทัศน์ CLP เป้าหมายคือการพัฒนาส่วนประกอบซอฟต์แวร์ที่ทำให้การกำหนดและคำอธิบายของการออกกำลังกายได้ง่ายขึ้น เราอธิบายการออกกำลังกายโดยไวยากรณ์ซึ่งจะช่วยให้เราได้รับในรูปแบบเฉพาะเกือบได้ฟรีโดยการจัดเก็บภาษีเพิ่มเติมผ่านเงื่อนไขข้อ จำกัด เพื่อ de.ne ไวยากรณ์ที่เรามีสมาธิในขั้นตอนการแก้ปัญหาที่ได้รับการสอนแทนที่จะพยายามนามธรรมแม่แบบการออกกำลังกายจากตัวอย่างของการออกกำลังกายที่คล้ายกัน โปรแกรมต้นแบบระบุว่าข้อ จำกัด การเขียนโปรแกรมลอจิกกรอบอาจจะเพียงพอที่จะใช้เครื่องมือดังกล่าว ภาษาเหล่านี้มีการแสดงออกที่เหมาะสมในการเข้ารหัสในระบบการควบคุมในวิธีที่สง่างามและเปิดเผยได้.
Work ได้รับการสนับสนุนบางส่วนจากเงินทุนที่ได้รับอนุญาตให้ LIACC throug