Research in Database Foundations and Logic Programming at anUndergraduate Institution
本科院校数据库基础与逻辑编程研究
基本信息
- 批准号:9200898
- 负责人:
- 金额:$ 8.46万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1992
- 资助国家:美国
- 起止时间:1992-08-15 至 1995-01-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This research addresses three important topics dealing with the foundations of knowledge bases: view updates, combining knowledge bases, and inconsistent knowledge bases. Algorithms are developed to provide solutions to several problems in this subject. The view update problem is concerned with the appropriate translation of the user's request to update a particular view into an update of the underlying relations. Algorithms that have previously been developed for stratified disjunctive databases are refined by using specialized data structures and extended to more general types of knowledge bases. Many different but related knowledge bases have been constructed in recent years. Previous research on combining knowledge bases considered primarily the case of definite deductive databases. Those algorithms are extended to more general types of knowledge bases using the stable and well-founded semantics. Sometimes a knowledge base may become inconsistent. Several different semantics have previously been proposed to define the meaning of such knowledge bases in order to localize inconsistencies. Algorithms are produced to compute answers to queries under these semantics using theorem-proving techniques. The research will be useful for the development of advanced knowledge based systems; it will also enhance the research environment at Towson State University, an undergraduate institution.
这项研究涉及涉及知识库基础的三个重要主题:视图更新、组合知识库和不一致知识库。开发算法是为了提供该主题中几个问题的解决方案。视图更新问题涉及将用户更新特定视图的请求适当地转换为底层关系的更新。以前为分层析取数据库开发的算法通过使用专门的数据结构进行了改进,并扩展到更通用的知识库类型。近年来,已经构建了许多不同但相关的知识库。先前关于组合知识库的研究主要考虑确定演绎数据库的情况。这些算法使用稳定且有充分依据的语义扩展到更通用类型的知识库。 有时知识库可能会变得不一致。先前已经提出了几种不同的语义来定义此类知识库的含义,以便定位不一致之处。生成的算法是使用定理证明技术来计算这些语义下查询的答案。该研究将有助于开发先进的基于知识的系统;它还将改善本科院校陶森州立大学的研究环境。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
John Grant其他文献
Measuring Inconsistency in Some Logics with Tense Operators
使用时态运算符测量某些逻辑中的不一致
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0.7
- 作者:
John Grant - 通讯作者:
John Grant
On optimizing the evaluation of a set of expressions
- DOI:
10.1007/bf00999727 - 发表时间:
1982-06-01 - 期刊:
- 影响因子:0.900
- 作者:
John Grant;Jack Minker - 通讯作者:
Jack Minker
Postulates for revising BDI structures
- DOI:
10.1007/s11229-010-9735-1 - 发表时间:
2010-07-21 - 期刊:
- 影响因子:1.300
- 作者:
John Grant;Sarit Kraus;Donald Perlis;Michael Wooldridge - 通讯作者:
Michael Wooldridge
Confirmation of empirical theories by observation sets
- DOI:
10.1007/bf02379249 - 发表时间:
1978-11-01 - 期刊:
- 影响因子:0.500
- 作者:
John Grant - 通讯作者:
John Grant
Shape statistics of particle clusters in a turbulent flow
湍流中粒子簇的形状统计
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
John Grant - 通讯作者:
John Grant
John Grant的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('John Grant', 18)}}的其他基金
RUI: Research in Database Foundations and Logic Programmingat an Undergraduate Institution
RUI:本科院校数据库基础与逻辑编程研究
- 批准号:
8921951 - 财政年份:1990
- 资助金额:
$ 8.46万 - 项目类别:
Continuing Grant
Research in Database Foundations and Logic Programming at an Undergraduate Institutions
本科院校数据库基础与逻辑编程研究
- 批准号:
8714544 - 财政年份:1988
- 资助金额:
$ 8.46万 - 项目类别:
Continuing Grant
Study of the Interaction of Internal Gravity Waves and Turbulence
内重力波与湍流相互作用的研究
- 批准号:
8415123 - 财政年份:1985
- 资助金额:
$ 8.46万 - 项目类别:
Continuing grant
RUI: Research in Database Foundations and Logic Programming at an Undergraduate Institution
RUI:本科院校数据库基础和逻辑编程研究
- 批准号:
8412662 - 财政年份:1985
- 资助金额:
$ 8.46万 - 项目类别:
Standard Grant
U. S. - Australia Joint Seminar/ Workshop on the "ComparisonOf Electron and Ion Beam Methods For Surface Analysis:" Canberra, Australia, February 23 Through 27, 1981
美国-澳大利亚“表面分析电子束和离子束方法比较”联合研讨会/讲习班:澳大利亚堪培拉,1981 年 2 月 23 日至 27 日
- 批准号:
8106723 - 财政年份:1981
- 资助金额:
$ 8.46万 - 项目类别:
Standard Grant
相似海外基金
Establishing the foundations of comparative law by developing a database of legal information in Japan, Korea, Taiwan and China.
通过开发日本、韩国、台湾和中国的法律信息数据库,奠定比较法的基础。
- 批准号:
20240024 - 财政年份:2008
- 资助金额:
$ 8.46万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Foundations, implementation and applications of advanced deductive database systems
高级演绎数据库系统的基础、实现与应用
- 批准号:
193552-1996 - 财政年份:1999
- 资助金额:
$ 8.46万 - 项目类别:
Discovery Grants Program - Individual
Foundations, implementation and applications of advanced deductive database systems
高级演绎数据库系统的基础、实现与应用
- 批准号:
193552-1996 - 财政年份:1998
- 资助金额:
$ 8.46万 - 项目类别:
Discovery Grants Program - Individual
Foundations, implementation and applications of advanced deductive database systems
高级演绎数据库系统的基础、实现与应用
- 批准号:
193552-1996 - 财政年份:1997
- 资助金额:
$ 8.46万 - 项目类别:
Discovery Grants Program - Individual
Foundations, implementation and applications of advanced deductive database systems
高级演绎数据库系统的基础、实现与应用
- 批准号:
193552-1996 - 财政年份:1996
- 资助金额:
$ 8.46万 - 项目类别:
Discovery Grants Program - Individual
Logical foundations for artificial intelligence and database theory
人工智能和数据库理论的逻辑基础
- 批准号:
9044-1992 - 财政年份:1995
- 资助金额:
$ 8.46万 - 项目类别:
Discovery Grants Program - Individual
Logical foundations for artificial intelligence and database theory
人工智能和数据库理论的逻辑基础
- 批准号:
9044-1992 - 财政年份:1994
- 资助金额:
$ 8.46万 - 项目类别:
Discovery Grants Program - Individual
Logical foundations for artificial intelligence and database theory
人工智能和数据库理论的逻辑基础
- 批准号:
9044-1992 - 财政年份:1993
- 资助金额:
$ 8.46万 - 项目类别:
Discovery Grants Program - Individual
Logical foundations for artificial intelligence and database theory
人工智能和数据库理论的逻辑基础
- 批准号:
9044-1992 - 财政年份:1992
- 资助金额:
$ 8.46万 - 项目类别:
Discovery Grants Program - Individual
Logic foundations for artificial intelligence and database theory
人工智能和数据库理论的逻辑基础
- 批准号:
9044-1989 - 财政年份:1991
- 资助金额:
$ 8.46万 - 项目类别:
Discovery Grants Program - Individual