Scalable Knowledge Representation and Solving
可扩展的知识表示和解决
基本信息
- 批准号:RGPIN-2017-06018
- 负责人:
- 金额:$ 1.68万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2019
- 资助国家:加拿大
- 起止时间:2019-01-01 至 2020-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
I propose to develop theoretical foundations for representing complex modular systems, a high-level programming language to specify such systems, and algorithms for finding solutions. The research will help businesses and other organizations to deal with an increasing amount of information and with increasingly complex tasks (including combinatorial optimization). Because of the complexity of the problem, the proposed research will proceed in three directions:***1) Develop a scalable knowledge representation formalism that supports modular high-level (declarative) problem solving;***2) Develop a computational framework with parameters to control its expressive power and the computational complexity of finding solutions; ***3) Develop algorithmic techniques for solving and synthesizing modular systems.***The scientific progress will be measured both in theoretical results and in the development and thorough evaluation of prototype systems. One of the core deliverables will be an adaptation of the technological ideas by a potential industrial partner. ***The proposed research has potential to contribute to the theory of computing, through developing new techniques for complexity analysis, and to technology, by offering a language with associated tools, that allows one to combine different solvers and (potentially only partially visible) databases for solving problems of a new magnitude.**
我建议开发表示复杂模块化系统的理论基础、指定此类系统的高级编程语言以及寻找解决方案的算法。该研究将帮助企业和其他组织处理越来越多的信息和日益复杂的任务(包括组合优化)。由于问题的复杂性,拟议的研究将朝着三个方向进行:***1)开发一种可扩展的知识表示形式,支持模块化的高级(声明性)问题解决;***2)开发一个带有参数的计算框架,以控制其表达能力和寻找解决方案的计算复杂性; ***3) 开发用于求解和综合模块化系统的算法技术。***科学进步将通过理论结果以及原型系统的开发和彻底评估来衡量。核心交付成果之一将是潜在工业合作伙伴对技术理念的改编。 ***所提出的研究有可能通过开发复杂性分析的新技术来为计算理论做出贡献,并通过提供一种带有相关工具的语言来为技术做出贡献,这种语言允许人们结合不同的求解器和(可能仅部分可见)数据库来解决新的问题。**
项目成果
期刊论文数量(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 }}
Ternovska, Evgenia其他文献
Ternovska, Evgenia的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ternovska, Evgenia', 18)}}的其他基金
Computational Aspects of Reasoning about Dynamic Systems
动态系统推理的计算方面
- 批准号:
RGPIN-2022-05453 - 财政年份:2022
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Scalable Knowledge Representation and Solving
可扩展的知识表示和解决
- 批准号:
RGPIN-2017-06018 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Scalable Knowledge Representation and Solving
可扩展的知识表示和解决
- 批准号:
RGPIN-2017-06018 - 财政年份:2020
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Scalable Knowledge Representation and Solving
可扩展的知识表示和解决
- 批准号:
RGPIN-2017-06018 - 财政年份:2018
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Scalable Knowledge Representation and Solving
可扩展的知识表示和解决
- 批准号:
RGPIN-2017-06018 - 财政年份:2017
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
相似海外基金
CRII: SaTC: Automated Knowledge Representation for IoT Cybersecurity Regulations
CRII:SaTC:物联网网络安全法规的自动化知识表示
- 批准号:
2348147 - 财政年份:2024
- 资助金额:
$ 1.68万 - 项目类别:
Standard Grant
CAREER: Digitize and Simulate the Large Physical World via Knowledge-Grounded Scene Representation
职业:通过基于知识的场景表示对大型物理世界进行数字化和模拟
- 批准号:
2340254 - 财政年份:2024
- 资助金额:
$ 1.68万 - 项目类别:
Continuing Grant
Travel: RI: Small: Student Travel Grant for 20th International Conference on Principles of Knowledge Representation and Reasoning and Doctoral Consortium
旅费:RI:小额:第 20 届知识表示和推理原理及博士联盟国际会议学生旅费补助
- 批准号:
2328173 - 财政年份:2023
- 资助金额:
$ 1.68万 - 项目类别:
Standard Grant
Cross-Lingual Knowledge Representation and Alignment in LLMs
法学硕士中的跨语言知识表示和协调
- 批准号:
2876276 - 财政年份:2023
- 资助金额:
$ 1.68万 - 项目类别:
Studentship
Representation Learning for Large Knowledge Graph Completion
大型知识图补全的表示学习
- 批准号:
2739427 - 财政年份:2022
- 资助金额:
$ 1.68万 - 项目类别:
Studentship
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理:推动前沿
- 批准号:
RGPIN-2020-05211 - 财政年份:2022
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Knowledge Representation and Information Security
知识表示和信息安全
- 批准号:
RGPIN-2019-04251 - 财政年份:2022
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理:推动前沿
- 批准号:
RGPIN-2020-05211 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Scalable Knowledge Representation and Solving
可扩展的知识表示和解决
- 批准号:
RGPIN-2017-06018 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Representation of facility engineers' knowledge and experiences using building information models that have information of building components and networks between building components
使用具有建筑组件和建筑组件之间网络信息的建筑信息模型来表示设施工程师的知识和经验
- 批准号:
21K14328 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Grant-in-Aid for Early-Career Scientists