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

Logic Programming and Deductive Databases

逻辑编程和演绎数据库

基本信息

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

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

项目摘要

9300691 Minker This is the first year funding of a three-year continuing award. Two related topics, logic programming and deductive databases are to be studied. In the former, the semantics of extended disjunctive logic programs with logical negation and negation-by- default are to be developed. Model theoretic, proof theoretic and fixpoint semantics are to be devised for this class of programs. Alternative rules for negation-by-default are to be considered. Work in extended disjunctive logic programming is related to commonsense and nonmonotonic reasoning. It will extend the expressive power of logic programming and will permit users to naturally combine logical negation and negation-by-default in one theory and to compute in that theory. In deductive databases topics to be studied are: alternative theories for disjunctive normal and extended deductive databases; the view update problem in disjunctive theories; cooperative answering; and combining multiple databases with priorities among atoms. Work in deductive databases will permit computation in situations where data is indefinite. This is important for databases containing imprecise information (e.g., medical). A formal theory of database updates is to be developed for disjunctive databases. Cooperative answering systems will provide meaningful answers to user queries in databases and will permit queries to be relaxed when there are no answers to the original query. ***

9300691 Minker这是一个为期三年的持续奖励的第一年资助。两个相关的主题，逻辑编程和演绎数据库将被研究。在前者中，发展了具有逻辑否定和默认否定的扩展析取逻辑程序的语义。模型论、证明论和不动点语义是为这类程序设计的。将考虑默认否定的替代规则。扩展析取逻辑规划的工作与常识和非单调推理有关。它将扩展逻辑编程的表达能力，并允许用户自然地将逻辑否定和默认否定结合在一个理论中，并在该理论中进行计算。在演绎数据库中，需要研究的主题有：析取正规和扩展演绎数据库的替代理论；析取理论中的观点更新问题合作回答;并将多个数据库与原子之间的优先级结合起来。演绎数据库的工作将允许在数据不确定的情况下进行计算。这对于包含不精确信息（例如，医学信息）的数据库很重要。将为析取数据库开发一种正式的数据库更新理论。协作应答系统将为数据库中的用户查询提供有意义的答案，并允许在原始查询没有答案时放松查询。＊＊＊