论文部分内容阅读
本文简单介绍了ER模型(美国数据库专家PeterP.Cher教授的实体—关系模型),强调了用它描述客观世界,尤其是面向结构对象知识的可行性。接着阐述了知识表示中用我国杰出的逻辑学家林邦谨的制约逻辑(简称LEL)取代正统数理逻辑的必要性和可能性。最后作者提出了一种通用的知识表示模式——CERLEL方法(实体—关系模型和制约逻辑相结合的方法)。提出CERLEL方法的目的是为知识库系统的设计提供一种通用工具。