课题基金 / 基金详情

RI: SMALL: Efficient Implementations of Goal-Directed Solvers for Answer Set Programming

RI: SMALL: Efficient Implementations of Goal-Directed Solvers for Answer Set Programming
RI:SMALL:答案集编程的目标导向求解器的高效实现
批准号:
1718945
负责人:
Gopal Gupta
金额:
$42.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2017
资助国家:
美国
项目状态:
已结题
起止时间:
2017-09-01 至 2021-08-31

项目摘要

项目成果

Gopal Gupta的其他基金

相似基金

相关文献

中文摘要
翻译
该项目的目标是开发有效的实现技术,以实现模仿人类风格的常识推理的自动推理系统。自动化常识推理对于开发人工智能的高级应用非常重要,特别是在需要自动化专家思维过程的领域,例如,医生在诊断和开出治疗处方期间进行的推理。人类的推理很难在计算机上模拟,因为人类通过使用默认结论(例如,如果Tweety是一只鸟,它一定会飞)以及提出异常(如果Tweety后来被证明是一只企鹅,收回关于Tweety飞行能力的结论)来简化推理。由于人类推理的这种特殊性质,基于标准逻辑的方法并不能很好地发挥作用:人们不得不求助于非单调逻辑,也就是说,在这种逻辑中,现在得出的结论可能会在以后获得新信息时被撤回。在这个项目中进行的研究将导致这些非单调逻辑的高效、查询驱动的实现。该项目的成功完成将带来先进的应用,例如可以向医生建议如何治疗特定疾病的自动化系统,或者可以模仿人类驾驶专业知识的自动驾驶汽车决策系统。该项目将依靠答案集编程(ASP)的范式来表示常识性知识。答案集程序由包含(可能是否定的)谓词的规则组成。目前的ASP系统依赖于首先建立答案集程序来获得等价的命题程序,然后使用布尔可满足性(SAT)求解器来找到包含用户所寻求的答案的命题程序的模型。接地要求限制了可以执行的程序的范围。该项目建立在早期对直接执行谓词回答集程序的研究之上,即不首先将它们接地。它的目的是通过设计一个虚拟机来实现这些系统的更快的实现,答案集程序将被编译并执行。
英文摘要
The goal of this project is to develop efficient implementation techniques for realizing automated reasoning systems that emulate human-style common sense reasoning. Automating common sense reasoning is important for developing advanced applications of artificial intelligence (AI), particularly, in areas where the thought process of an expert needs to be automated, e.g., reasoning performed by a medical doctor during diagnosis and prescribing a treatment. Human reasoning is difficult to emulate on a computer, as humans simplify reasoning by using default conclusions (e.g., if Tweety is a bird, it must fly) coupled with raising exceptions (if Tweety turns out to be a penguin later, retract the conclusion about Tweety's flying abilities). Because of this peculiar nature of human reasoning, approaches based on standard logic do not work very well: one has to resort to a non-monotonic logic, i.e., a logic in which conclusions reached now may be withdrawn later as new information becomes available. Research conducted in this project will result in efficient, query-driven implementations of these non-monotonic logics. Successful completion of this project will result in advanced applications such as an automated system that can advise a physician on how to treat a particular disease, or a self-driving car's decision-making system that can emulate a human's driving expertise.The project will rely on the paradigm of answer set programming (ASP) to represent common sense knowledge. An answer set program consists of rules containing (possibly negated) predicates. Current ASP systems rely on first grounding the answer set program to obtain an equivalent propositional program, and then using a Boolean satisfiability (SAT) solver to find models of this propositional program that contain the answer that is sought by the user. The grounding requirement restricts the range of programs that can be executed. This project builds upon earlier research on directly executing predicate answer set programs, i.e., without grounding them first. It aims to realize faster implementations of such systems by designing a virtual machine to which an answer set programs will be compiled to and executed.
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
Knowledge-driven Natural Language Understanding of English Text and its Applications
知识驱动的英语文本自然语言理解及其应用
DOI: --
发表时间: 2021
期刊: Proc. AAAI 2021
影响因子: --
作者: [Basu, Kinjal, Varanasi, Sarat, Farhad, Shakerin, Arias, Joaquin, Gupta, Gopal]
通讯作者: Gupta, Gopal
I-Corps: An AI-based Physician Advisory System for Disease Management
  • 批准号:
    1916206
  • 项目类别:
    Standard Grant
  • 资助金额:
    $5.0万
  • 财政年份:
    2019
  • 负责人:
    Gopal Gupta
  • 依托单位:
RI: SMALL: Inducing Answer Set Programs to Provide Accurate and Concise Explanation of Machine-learned Models
  • 批准号:
    1910131
  • 项目类别:
    Standard Grant
  • 资助金额:
    $45.0万
  • 财政年份:
    2019
  • 负责人:
    Gopal Gupta
  • 依托单位:
RI: Small: Design and Implementation of Goal-directed Solvers for Answer Set Programming
  • 批准号:
    1423419
  • 项目类别:
    Standard Grant
  • 资助金额:
    $49.51万
  • 财政年份:
    2014
  • 负责人:
    Gopal Gupta
  • 依托单位:
CISE Research Resources: Resources for Research in Scalable Parallel Computing and Networking Simulation
  • 批准号:
    0130847
  • 项目类别:
    Standard Grant
  • 资助金额:
    $6.33万
  • 财政年份:
    2001
  • 负责人:
    Gopal Gupta
  • 依托单位:
国内基金
海外基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
  • 依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    10.0万元
  • 批准年份:
    2022
  • 负责人:
    张祥忠
  • 依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 项目类别:
    面上项目
  • 资助金额:
    58.0万元
  • 批准年份:
    2019
  • 负责人:
    高学文
  • 依托单位: