Constraint Solving and Matching: Parallel Algorithms and Applications

约束求解和匹配:并行算法和应用

基本信息

  • 批准号:
    9220960
  • 负责人:
  • 金额:
    $ 21.99万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    1993
  • 资助国家:
    美国
  • 起止时间:
    1993-03-15 至 1996-09-30
  • 项目状态:
    已结题

项目摘要

The quest for a flexible and efficient knowledge representation mechanism is one of the key research problems in Artificial Intelligence (AI). Instantaneous matching of a complex object description to a large set of predefined objects is a key computational primitive in many intelligent systems. This function of memory based reasoning manifests itself in different activities such as pattern recognition tasks in computer vision, language understanding or general problem solving. Simultaneous satisfaction of many possibly conflicting constraints is another very important functional requirement in intelligent systems, which is critical for learning, planning and general problem solving. It is generally believed that humans perform such tasks efficiently (i.e., in almost constant time) by exploiting massive parallelism in the brain. This research is aimed at deriving a precise characterization of the utility of parallelism in fundamental AI problems such as constraint solving and matching. The ultimate goal of the research is to produce a computational framework for parallel intelligent systems. Specific research objectives are design of efficient parallel algorithms for constraint networks, development of methods to integrate multiple constraint solving activities, and applications of generalized matching and constraint solving to reactive planning, resource allocation and analysis of scientific data.//
寻求一种灵活高效的知识表示机制是人工智能的关键研究问题之一。在许多智能系统中,复杂对象描述与大量预定义对象的瞬时匹配是一个关键的计算原语。基于记忆的推理的这种功能体现在不同的活动中,如计算机视觉中的模式识别任务、语言理解或一般问题解决。同时满足许多可能冲突的约束是智能系统中另一个非常重要的功能需求,它对于学习、规划和一般问题的解决是至关重要的。人们普遍认为,人类通过利用大脑中的大规模并行性有效地(即,在几乎不变的时间内)完成这类任务。这项研究的目的是得到并行在约束求解和匹配等基本人工智能问题中的效用的精确表征。这项研究的最终目标是为并行智能系统产生一个计算框架。具体的研究目标是为约束网络设计高效的并行算法,开发集成多个约束求解活动的方法,以及将广义匹配和约束求解应用于反应性规划、资源分配和科学数据分析。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Simon Kasif其他文献

Inductive Inference : An Axiomatic Approach ∗ Itzhak Gilboa and David Schmeidler
归纳推理:一种公理化方法 * Itzhak Gilboa 和 David Schmeidler
  • DOI:
  • 发表时间:
    2001
  • 期刊:
  • 影响因子:
    0
  • 作者:
    I. Gilboa;D. Schmeidler;Yoav Binyamini;Didier Dubois;D. Fudenberg;Bruno Jul;E. Karni;Simon Kasif;Daniel Lehmann;Sujoy Mukerji;R. Myerson;Klaus Nehring;Ariel Rubinstein;Lidror Troyanski;Peter Wakker;Peyton Young
  • 通讯作者:
    Peyton Young
Towards a Constraint-Based Engineering Framework for Algorithm Design and Application
  • DOI:
    10.1023/a:1009719616574
  • 发表时间:
    1997-04-01
  • 期刊:
  • 影响因子:
    1.300
  • 作者:
    Simon Kasif
  • 通讯作者:
    Simon Kasif
Term matching on a mesh-connected array of processors
Predicting Malaria Interactome Classifications from Time-course Transcriptomic Data along the Intraerythrocytic Developmental Cycle
从红细胞内发育周期的时程转录组数据预测疟疾相互作用组分类
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Antonina Mitrofanova;Samantha Kleinberg;Jane Carlton;Simon Kasif;Bud Mishra
  • 通讯作者:
    Bud Mishra
Biochemical networks: The evolution of gene annotation
生化网络:基因注释的演化
  • DOI:
    10.1038/nchembio.288
  • 发表时间:
    2010-01-01
  • 期刊:
  • 影响因子:
    13.700
  • 作者:
    Simon Kasif;Martin Steffen
  • 通讯作者:
    Martin Steffen

Simon Kasif的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Simon Kasif', 18)}}的其他基金

ITR-(ASE+NHS)-(dmc): Rational Genomic Annotation Systems: Integration, Mining and Modeling of Biological Data
ITR-(ASE NHS)-(dmc):Rational 基因组注释系统:生物数据的集成、挖掘和建模
  • 批准号:
    0428715
  • 财政年份:
    2004
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Standard Grant
Comparative Genomic Analysis Using Evidence Integration Frameworks
使用证据集成框架进行比较基因组分析
  • 批准号:
    0239435
  • 财政年份:
    2003
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Continuing Grant
Efficient Algorithms for Learning and Reasoning from Data
从数据中学习和推理的高效算法
  • 批准号:
    0196442
  • 财政年份:
    2001
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Continuing Grant
KDI: Intelligent Computational Genomic Analysis
KDI:智能计算基因组分析
  • 批准号:
    0196227
  • 财政年份:
    2000
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Standard Grant
KDI: Intelligent Computational Genomic Analysis
KDI:智能计算基因组分析
  • 批准号:
    9980088
  • 财政年份:
    1999
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Standard Grant
Efficient Algorithms for Learning and Reasoning from Data
从数据中学习和推理的高效算法
  • 批准号:
    9616254
  • 财政年份:
    1996
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Continuing Grant
SGER: Fast Queries and Updates in Probabilistic Networks
SGER:概率网络中的快速查询和更新
  • 批准号:
    9529227
  • 财政年份:
    1995
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Standard Grant
PARALLEL LOGIC PROGRAMMING
并行逻辑编程
  • 批准号:
    8809324
  • 财政年份:
    1988
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Standard Grant

相似海外基金

Solving the disability data puzzle to ensure progress towards equity
解决残疾数据难题,确保在实现公平方面取得进展
  • 批准号:
    IE230100561
  • 财政年份:
    2024
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Early Career Industry Fellowships
Solving cashflow shortfalls in the construction industry using digital payments with embedded finance
使用数字支付和嵌入式金融解决建筑行业的现金流短缺
  • 批准号:
    10097800
  • 财政年份:
    2024
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Collaborative R&D
CAREER: Solving Estimation Problems of Networked Interacting Dynamical Systems Via Exploiting Low Dimensional Structures: Mathematical Foundations, Algorithms and Applications
职业:通过利用低维结构解决网络交互动力系统的估计问题:数学基础、算法和应用
  • 批准号:
    2340631
  • 财政年份:
    2024
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Continuing Grant
Solving key issues in wearable thermoelectrics for practical applications
解决可穿戴热电器件实际应用中的关键问题
  • 批准号:
    DE240100519
  • 财政年份:
    2024
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Discovery Early Career Researcher Award
The Science of Solving Hard Subgraph Problems
解决困难子图问题的科学
  • 批准号:
    EP/X030032/1
  • 财政年份:
    2024
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Research Grant
CAREER: Investigating linguistic and cognitive abstractions for solving word problems in minds and machines
职业:研究语言和认知抽象以解决大脑和机器中的文字问题
  • 批准号:
    2339729
  • 财政年份:
    2024
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Continuing Grant
Solving smoke taint: Overcoming the impacts of vineyard exposure to smoke
解决烟雾污染:克服葡萄园暴露于烟雾的影响
  • 批准号:
    LP210300715
  • 财政年份:
    2023
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Linkage Projects
Fast and accurate algorithms for solving large eigenvalue problems
用于解决大型特征值问题的快速准确的算法
  • 批准号:
    23K11226
  • 财政年份:
    2023
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Study for solving problems related to multimorbid conditions using an innovative QOL evaluation method
使用创新的生活质量评估方法解决与多病相关的问题的研究
  • 批准号:
    23H03127
  • 财政年份:
    2023
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Waste Stream Valorisation: Solving sustainable chemical production
废物流增值:解决可持续化学品生产问题
  • 批准号:
    2881252
  • 财政年份:
    2023
  • 资助金额:
    $ 21.99万
  • 项目类别:
    Studentship
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了