Gentzen系统相关论文
在智能推理当中,特别是常识知识推理中,信息的不完备是不可避免的.缺省推理是用来处理不完备信息的一种有效手段.缺省逻辑是缺省推理......
提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺......