缺省逻辑是Raymond Reiter提出的非单调逻辑,用于使用默认假设来形式化推理。 缺省逻辑可以…
知识表达和推理(Knowledge representation and reasoning, KR…
思维导图(Mind map)是用于可视化组织信息的图。 思维导图是分层的,显示整体的各个部分之间的关…
图案语言(Pattern language)是一种描述良好设计实践或专业领域内有用组织图案的方法。 …