Mathematical Sciences: Toward a Theory of Well-Founded Orderings for Use in Automated Deduction
Mathematical Sciences: Toward a Theory of Well-Founded Orderings for Use in Automated Deduction
批准号:
9510164
负责人:
Patricia Johann
金额:
$1.8万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1995
资助国家:
美国
项目状态:
已结题
起止时间:
1995-09-01 至 1997-02-28
中文摘要
9510164 Johann良基排序在自动演绎中无处不在,对于基于重写的演绎系统中的计算的终止证明的开发以及旨在限制饱和过程中的搜索空间的演绎策略的开发是基础。 然而,确定适合于特定目的的有根据的排序通常需要大量的专业技术知识,并且由于重写的终止一般是不可判定的,因此可以希望的最好情况是对足够多的排序有足够的理解,以便能够处理实践中发生的多种终止和效率问题。 这项研究计划补助金承诺开发一个全面的理论,有理有据的排序的基础上,他们的逻辑和数值不变量。 进一步研究的两个具体方向是将已知的结果扩展到更大的项类,并对更一般的良基序(如指数序)获得类似的结果。作为一个进一步的,相关的调查路线,非完全良基序的理论将进行探讨。 由于序类型的概念对非全序没有意义,因此需要确定适当的逻辑不变量。 ***
英文摘要
9510164 Johann Well-founded orderings are ubiquitous in automated deduction, being fundamental to the development of termination proofs for computations in rewrite-based deduction systems, as well as of deduction strategies aiming to restrict search spaces in saturation processes. The determination of well-founded orderings suitable for a particular purpose, however, typically requires a good deal of technical expertise, and because termination of rewriting is undecidable in general the best that can be hoped for is to have a sufficient understanding of a sufficient variety of orderings to be able to cope with the many kinds of termination and efficiency problems which occur in practice. This research planning grant undertakes to develop a comprehensive theory of well-founded orderings based on their logical and numerical invariants. Two specific directions for further research are extending known results to larger classes of terms, and obtaining similar results for more general well- founded orderings, such as exponential orderings. As a further, related line of inquiry, a theory of nontotal well-founded orderings will be explored. Since the notion of order type makes no sense for nontotal orderings, appropriate logical invariants will need to be determined. ***
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF:Small:RUI: Deep Induction Rules for Advanced Data Types
-
批准号:2203217
-
项目类别:Standard Grant
-
资助金额:$61.31万
-
财政年份:2022
-
负责人:Patricia Johann
-
依托单位:
SHF:Small:RUI: Semantic Complexity of Advanced Data Types
-
批准号:1906388
-
项目类别:Standard Grant
-
资助金额:$51.08万
-
财政年份:2019
-
负责人:Patricia Johann
-
依托单位:
SHF: Small: RUI: New Foundations for Indexed Programming
-
批准号:1713389
-
项目类别:Standard Grant
-
资助金额:$46.35万
-
财政年份:2017
-
负责人:Patricia Johann
-
依托单位:
SHF: Small: Relational Parametricity for Program Verification
-
批准号:1420175
-
项目类别:Standard Grant
-
资助金额:$37.71万
-
财政年份:2014
-
负责人:Patricia Johann
-
依托单位:
Categorical Foundations for Indexed Programming
-
批准号:EP/G068917/1
-
项目类别:Research Grant
-
资助金额:$35.92万
-
财政年份:2010
-
负责人:Patricia Johann
-
依托单位:
RUI:Initial Algebra Packages for GADTs: Principled Tools for Structured Programming
-
批准号:0700341
-
项目类别:Standard Grant
-
资助金额:$13.8万
-
财政年份:2007
-
负责人:Patricia Johann
-
依托单位:
RUI: Provable Safety for Performance-Improving Free Theorems-Based Program Transformations
-
批准号:0429072
-
项目类别:Continuing Grant
-
资助金额:$12.38万
-
财政年份:2004
-
负责人:Patricia Johann
-
依托单位:
RUI: Testing and Enhancing a Prototype Program Fusion Engine
-
批准号:0296006
-
项目类别:Standard Grant
-
资助金额:$5.04万
-
财政年份:2001
-
负责人:Patricia Johann
-
依托单位:
RUI: Testing and Enhancing a Prototype Program Fusion Engine
-
批准号:9900510
-
项目类别:Standard Grant
-
资助金额:$5.04万
-
财政年份:1999
-
负责人:Patricia Johann
-
依托单位:
Mathematical Sciences: Toward a Theory of Well-Founded Orderings for Use in Automated Deduction
-
批准号:9696043
-
项目类别:Standard Grant
-
资助金额:$1.8万
-
财政年份:1995
-
负责人:Patricia Johann
-
依托单位:
International Postdoctoral Fellows Program: A Transformation-Based Order-Sorted Higher-Order Unification Algorithm in Combinatory Logic
-
批准号:9224443
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1993
-
负责人:Patricia Johann
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Handbook of the Mathematics of the Arts and Sciences的中文翻译
-
批准号:12226504
-
项目类别:数学天元基金项目
-
资助金额:20.0万元
-
批准年份:2022
-
负责人:黄朝凌
-
依托单位:
SCIENCE CHINA: Earth Sciences
-
批准号:41224003
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:魏建晶
-
依托单位:
Journal of Environmental Sciences
-
批准号:21224005
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:冯庆彩
-
依托单位:
SCIENCE CHINA Information Sciences
-
批准号:61224002
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:宋扉
-
依托单位:
SCIENCE CHINA Technological Sciences
-
批准号:51224001
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:安梅
-
依托单位:
SCIENCE CHINA Life Sciences (中国科学 生命科学)
-
批准号:81024803
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:李纪元
-
依托单位:
Journal of Environmental Sciences
-
批准号:21024806
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:冯庆彩
-
依托单位:
SCIENCE CHINA Earth Sciences(中国科学:地球科学)
-
批准号:41024801
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:魏建晶
-
依托单位:
SCIENCE CHINA Technological Sciences
-
批准号:51024803
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:安梅
-
依托单位: