Applications and Investigation of Formalism for Resource-Bounded Argument

本研究旨在探讨资源有界可否定推理的各个方面及其形式主义的适用性。本次调查的范围包括：1。资源有限决策的可推翻推理；2. 资源边界参数的控制；3. 基于案例的法律推理与小样本预测4. 将现有的统计推理应用于现有的超文本和糖尿病项目；和5。可否定推理的数学和哲学。本研究还有望对非单调推理和逻辑规划等相关工作产生影响。

This research is aimed at studying various aspects of resource- bounded defeasible reasoning and the applicability of the formalism. The scope of this investigation includes 1. defeasible reasoning about resource-bounded decisions; 2. control of resource-bounded argument; 3. case-based defeasible reasoning in law and projection from small samples; 4. applications of existing statistical defeasible reasoning, specifically, to existing HyperText and Diabetes projects; and 5. mathematics and philosophy of defeasible reasoning. The research is also expected to have an impact on such related work as non-monotonic reasoning and logic programming.