推理与命题逻辑
形式表征:系统的、独立于上下文的
问题:我们如何才能正确推理?
真相保护行动
问题:自然语言和语义不容易以这种方式形式化
逻辑上等价,但不是因果关系。(中文:“如果……那么)
网络知识表示
语义网络
框架
脚本
概念图
推理与命题逻辑
形式表征:系统的、独立于上下文的
问题:我们如何才能正确推理?
真相保护行动
问题:自然语言和语义不容易以这种方式形式化
逻辑上等价,但不是因果关系。(中文:“如果……那么)
网络知识表示
语义网络
框架
脚本
概念图