Inheritance Theory and Knowledge Bases

以前发展和支持的可否定推理理论将进一步研究。扩展将包括具有表现力增强的网络，例如：有限循环的网络；网络中节点的布尔组合；对论证的研究，这些论证通过使导致特定结论的推理失效而干扰给定的论证；九头蛇继承;高阶链接；可撤销继承的语义基础还有关于角色和关系的额外工作。这是一项以继承为核心的推理基础研究，在非单调方法中具有重要意义。

Theories of defeasible reasoning previously developed and supported will be further investigated. Expansion will include networks with expressive enhancements such as: nets with limited cyclicity; Boolean combinations of nodes in nets; study of arguments which interfere with a given argument by disabling inferences leading to a particular conclusion; hydra inheritance; higher order links; semantic foundations for defeasible inheritance; and additional work on roles and relations. This is basic research on reasoning focusing on inheritance and having significance in non-monotonic methods.