当前是知识爆炸的年代，人们积累了大量知识，随着科技日新月异，爆炸性的知识和技术，让人们应接不暇，疲于奔命。虽然人们不断努力，通过制定各种流程、划分各种专业试图控制庞杂所造成的混乱，但是知识本身的描述方式，从来都是简化问题的关键所在：而在物理和数学这种科学推理公式、人的自然语言之外，我们还需要一种能够描述各种概念的形式，把各种概念整理清楚，以便可以一目了然的理解各种概念的关系。因为软件逻辑所特有的面向人的逻辑思维、涉及各个行而在物理和数学这种科学推理公式、人的自然语言之外，我们还需要一种能够描述各种概念的形式，把各种概念整理清楚，以便可以一目了然的理解各种概念的关系。因为软件逻辑所特有的面向人的
