权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Artificial Intelligence Logic Programming and Deductive Databases

人工智能逻辑编程与演绎数据库

基本信息

批准号：
8916059
负责人：
Jack Minker
金额：
$ 28.34万
依托单位：
University of Maryland, College Park
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1990
资助国家：
美国
起止时间：
1990-07-15 至 1993-12-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8916059&HistoricalAwards=false
关键词：
Artificial Intelligence Logic Programming Deductive

项目摘要

The research covers theoretical investigations, experimental work, and practical techniques in logic programming and deductive databases. Research is conducted on extending well-founded semantics of logic programs to general well-founded logic programs and then to disjunctive well-founded logic programs. Their model theoretic, proof theoretic and fixpoint semantics are investigated. Proof procedures are planned for implementation. In deductive databases, alternative definitions of null values and to develop their model theoretic, proof theoretic and fixpoint semantics are investigated. Proof procedures that are developed are considered for implementation. In the area of disjunctive deductive databases, bottom-up and top-down computation methods are to be investigated, algorithms that are free of implications are studied, and finally the general case with implications is considered. Computing answers to negated queries and conditions under which one might reasonably compute answers in disjunctive databases are also investigated. In separate efforts, investigations into approximate answers to disjunctive logic programs and research in parallel inference systems are conducted. The research will be useful for the development of knowledge base systems and deductive databases in which the application requires disjuncts as part of the theory.

研究内容包括理论研究、实验研究、工作，并在逻辑编程和演绎实用技术数据库。研究是在扩展有根据的逻辑程序到一般良基逻辑的语义程序，然后到析取良基逻辑程序。他们的模型理论，证明理论和不动点语义是研究了已计划实施证明程序。在演绎数据库中，空值的替代定义并发展他们的模型理论，证明理论和研究了不动点语义。证明程序，已制定并考虑实施。领域的析取演绎数据库，自底向上和自顶向下计算方法是要调查，算法，研究了无蕴涵问题，最后研究了一般情况下的无蕴涵问题。的影响被认为。计算否定的答案可以合理计算的查询和条件在析取数据库中的答案也进行了研究。在单独的努力，调查近似的答案，选言逻辑程序与并行推理研究系统进行。该研究将有助于开发知识库系统和演绎数据库，应用程序需要将其作为理论的一部分。