Method and system for interactive design of a knowledge base free of ambiguities

摘要

According to the method, a knowledge base is grasped (A) having ambiguities, one grasps a set (B) of mathematical categories as coherent fragments of a functional programming language, is made to interact the base (10) and the assembly (13) for specifying the components of a programming source code, extract the ambiguities of the base and obtain a base (14) free of ambiguities.; The method is implemented with at least one computer, the basic input software means (10), means of calculation computer software (13) for, under control of at least one operator, cooperate with means capture and remove ambiguities in the knowledge base.