基于知识的软件智能化技术——非单调推理、真值维持和约束满足问题

人工智能最关键的问题是常识和推理,近十年来在常识和推理研究方面,形成化非单调推理的发展是重要的一步。实现非单调推理系统的核心技术之一是维持推理的一致性,并在出现矛盾(不一致)时及时加以解决。