The problem of ensuring logically c

The problem of ensuring logically correct definition, analysis and synthesis of goals in complex systems and correct results of these procedures, viz. structures of goals and schemes of achieving goals, is stated. Models and methods that allow classifying the possible logical errors in the structures of goals and developing a human-machine system for analyzing and synthesizing goals are proposed.

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

ระบุปัญหามั่นใจคำจำกัดความถูกต้องทางตรรกะ การวิเคราะห์ และสังเคราะห์ของเป้าหมายในระบบที่ซับซ้อนและผลที่ถูกต้องของขั้นตอนเหล่านี้ โครงสร้างได้แก่เป้าหมายและแผนงานของการบรรลุเป้าหมาย การ เสนอรูปแบบและวิธีการที่อนุญาตให้มีการจัดประเภทข้อผิดพลาดทางตรรกะได้ในโครงสร้างของเป้าหมาย และพัฒนาระบบบุคคลเครื่องจักรสำหรับการวิเคราะห์ และสังเคราะห์เป้าหมาย

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

ปัญหาของการสร้างความมั่นใจในความหมายที่ถูกต้องมีเหตุผลการวิเคราะห์และการสังเคราะห์ของเป้าหมายในระบบที่ซับซ้อนและผลที่ถูกต้องของขั้นตอนเหล่านี้ ได้แก่ โครงสร้างของเป้าหมายและแผนการดำเนินงานให้บรรลุเป้าหมายที่ระบุไว้ รูปแบบและวิธีการที่ช่วยให้การแบ่งประเภทของข้อผิดพลาดตรรกะที่เป็นไปได้ในโครงสร้างของเป้าหมายและการพัฒนาระบบมนุษย์และเครื่องจักรสำหรับการวิเคราะห์และสังเคราะห์เป้าหมายที่นำเสนอ

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

ปัญหาของการให้เหตุผลที่ถูกต้องนิยาม วิเคราะห์ สังเคราะห์ ของเป้าหมายในระบบที่ซับซ้อน และแก้ไขผลของขั้นตอนเหล่านี้ ได้แก่ โครงสร้างของเป้าหมายและแผนของการบรรลุเป้าหมาย ระบุไว้ รูปแบบและวิธีการที่ช่วยให้ข้อมูลที่เป็นไปได้ ตรรกะ ข้อผิดพลาดในโครงสร้างของเป้าหมายและพัฒนาระบบ - วิเคราะห์และสังเคราะห์เป้าหมายที่เสนอ