Applications and Investigation of Formalism for Resource-Bounded Argument

形式主义在资源有限论证中的应用和研究

• 批准号: 9008012
• 负责人: Ronald Loui
• 金额: $ 10.99万
• 依托单位: Washington University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-09-15 至 1993-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9008012&HistoricalAwards=false
• 关键词: Applications; Investigation; Formalism; Resource; Bounded

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.

这项研究旨在研究资源的各个方面- 有界可废止推理及其适用性 形式主义 本次调查的范围包括1. 资源受限决策的可废止推理; 2.控制 资源有限的论点; 3.基于实例的可废止推理 在法律和预测从小样本; 4。的应用 现有的统计可废止推理，具体来说， 现有的超文本和糖尿病项目;以及5.数学和 可废止推理的哲学 该研究还 预计会对非单调性等相关工作产生影响 推理和逻辑编程。