ฉันใช้ทฤษฎีบทต่อไปนี้:
เพื่อให้เข้าใจได้ดีขึ้นว่าฉันสามารถแปลงฟังก์ชันยูทิลิตี้ที่คาดหวัง
ตัวอย่างของการทำงาน:
ฉันต้องการแสดงให้เห็นว่าการตั้งค่าที่แสดงในที่นี้เป็นไปตามความจริงสามประการ [A1, A2, A3] ที่แสดงลักษณะของยูทิลิตีที่คาดหวัง [คำสั่งความต่อเนื่องและความเป็นอิสระ]
ที่ไหน
สิ่งที่ฉันต้องการจะทำคือการแปลง EUF ที่กำหนด:
แก้ไข
บางทีนี่อาจเป็นทางออก ข้อเสนอแนะใด ๆ
นี่ไม่ใช่การบ้าน ฉันกำลังศึกษาอยู่เพราะฉันไม่เข้าใจสิ่งนี้ดี