课题基金 / 基金详情

Database Methods in Expert Systems

Database Methods in Expert Systems
专家系统中的数据库方法
批准号:
8903507
负责人:
Michael Kifer
金额:
$12.29万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1989
资助国家:
美国
项目状态:
已结题
起止时间:
1989-10-01 至 1992-09-30

项目摘要

项目成果

Michael Kifer的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
In recent years rule-based and frame-based systems became popular tools for developing a wide range of knowledge intensive applications. Although these tools provide significant help to the application developer, building expert systems remains a largely ad hoc and a very labor-intensive activity. Recent achievements in knowledge representation and deductive database research made time ripe for attempting a systematic logic-based approach to expert systems. The proposed contention is that expert system programming can be made more declarative by releaving the developer from the burden of specifying most details of control strategy. This burden should be taken over by the system which will use various optimization techniques to achieve desirable response time. In this research, a language which integrates rules and frames under one roof, and is suitable for reasoning with uncertainty will be designed and implemented. Being purely declarative, this language will allow shortening of the development phase of knowledge-intensive applications and make them more reliable and extensible. Industrial expert system developers as well as knowledge engineering researchers will benefit from theresults of this research.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CCF-BSF: SHF: Small: Integration and Evolution of Software Models with Executable Logic
  • 批准号:
    1814457
  • 项目类别:
    Standard Grant
  • 资助金额:
    $41.25万
  • 财政年份:
    2018
  • 负责人:
    Michael Kifer
  • 依托单位:
SHF: Medium:Performance Analysis and Optimization for Logic Rule Engines
  • 批准号:
    0964196
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $80.8万
  • 财政年份:
    2010
  • 负责人:
    Michael Kifer
  • 依托单位:
A Deductive Engine for the Semantic Web
  • 批准号:
    0311512
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $29.86万
  • 财政年份:
    2003
  • 负责人:
    Michael Kifer
  • 依托单位:
Logic-based Modeling Analysis, and Implementation of Workflow Management Systems
  • 批准号:
    0072927
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $47.99万
  • 财政年份:
    2000
  • 负责人:
    Michael Kifer
  • 依托单位:
国内基金
海外基金
Computational Methods for Analyzing Toponome Data