Database Methods in Expert Systems
Database Methods in Expert Systems
批准号:
8903507
负责人:
Michael Kifer
金额:
$12.29万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1989
资助国家:
美国
项目状态:
已结题
起止时间:
1989-10-01 至 1992-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
U.S.-Turkey Cooperative Research: Modeling and Verification of Workflow Processes
-
批准号:9809945
-
项目类别:Standard Grant
-
资助金额:$2.55万
-
财政年份:1999
-
负责人:Michael Kifer
-
依托单位:
Research into Declarative, Object-Oriented Languages for Programming Data and Knowledge
-
批准号:9404629
-
项目类别:Continuing Grant
-
资助金额:$18.8万
-
财政年份:1994
-
负责人:Michael Kifer
-
依托单位:
Design and Implementation of a Higher-Order Logic Programming Language
-
批准号:9102159
-
项目类别:Continuing Grant
-
资助金额:$35.48万
-
财政年份:1991
-
负责人:Michael Kifer
-
依托单位:
An Efficient Implementation of Deductive Database Systems
-
批准号:8603676
-
项目类别:Standard Grant
-
资助金额:$11.5万
-
财政年份:1986
-
负责人:Michael Kifer
-
依托单位:
国内基金
海外基金
Computational Methods for Analyzing Toponome Data
-
批准号:60601030
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2006
-
负责人:Axel Mosig
-
依托单位: