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.