蕴含系及其性质

蕴含系概念由物元蕴含系统概念推广而得。物元蕴含系统概念及其特例——限域蕴含系统的性质由本文作者于 1 996年提出。根据这些性质所建立的两种诊断方法——静态诊断法和动态诊断法具有如下功能 :根据问题的表面成因集查找问题根本成因 ,搜索、挖掘问题的隐含成因和潜在成因 ;寻求预警信息、机遇信息和解题切入点。工程科学中有大量的上述诊断问题 ,但许多问题的成因集无法用同物物元表示 ,因而不能构成限域蕴含系 ,使上述诊断方法具有很大的局限性。为此 ,本文将物元蕴含系统的概念推广到蕴含系 ,并证明了限域蕴含系统的某些性质对于蕴含系仍然成立。同时 。