The Integration and Interaction of Multiple Mathematical Reasoning Processes

多种数学推理过程的整合与交互

• 批准号: EP/N014758/1
• 负责人: Andrew Ireland
• 金额: $ 166.21万
• 依托单位: Heriot-Watt University
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2015
• 资助国家: 英国
• 起止时间: 2015 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FN014758%2F1
• 关键词: Integration; Interaction; Multiple; Mathematical; Reasoning

Our work in the DReaM group involves a unique blend of the techniques of artificial intelligence and theoretical computer science, enabling us to take a uniquely holistic perspective on automated reasoning and mathematical discovery.The proposed Platform Grant renewal will be used to provide essential infrastructure and to enable exploratory activities that will support a portfolio of projects which focus on the automation of mathematical reasoning processes, including their analysis, development and interaction. We can be broadly classified by our holistic perspective on automated reasoning. Central to this theme is the interplay between representation and reasoning. That is, discovering the right representation can often dramatically simplify the reasoning required in solving a problem, and conversely, meta-level reasoning, and in particular proof-failure analysis, can often provide guidance in evolving the right representations.The renewal of the Platform Grant will enable us to maintain and strengthen the momentum that has been built up around this theme - in terms of basic research as well as applications. The former covers a spectrum of topics, including: cognitive aspects of theory formation; mathematical discovery and automatic theorem generation; ontology creation, repair and evolution; proof procedures; computability; proof planning; AI problem reformulation; quantum computation; computational creativity; and the visualisation of reasoning processes. The latter covers wide ranging applications such as: software verification; formal modelling of software intensive systems; security and privacy analysis and design; graphic design; videogame design; disaster recovery planning; and the modelling of healthcare processes; poetry and art.The positive effective of our current Platform Grant funding can be seen across all aspects of our research - it enables us to: collaborate and exchange ideas with the best researchers in the world; explore and test new ideas; develop adventurous grant proposals and win funding; consolidate the results of our research projects and secure the follow-on funding that enables the impact of our research to be fully realised; and help develop the next generation of research stars and leaders in our field. A renewed Platform Grant would enable us to continue to grow as a research group, in terms of the career development of our researchers, the depth and breadth of our research, and the impact it has on wider aspects of society.

我们在梦想小组的工作涉及人工智能和理论计算机科学技术的独特融合，使我们能够以独特的整体视角看待自动推理和数学发现。拟议的平台授权续订将用于提供必要的基础设施，并支持探索性活动，这些活动将支持一系列专注于数学推理过程的自动化的项目组合，包括分析、开发和交互。我们可以根据我们对自动推理的整体观点大致进行分类。这一主题的核心是表现和推理之间的相互作用。也就是说，发现正确的表示通常可以极大地简化解决问题所需的推理，相反，元级别推理，特别是证明失败分析，通常可以为发展正确的表示提供指导。Platform Grant的续订将使我们能够保持和加强围绕这一主题建立的势头-在基础研究和应用方面。前者涵盖了一系列主题，包括：理论形成的认知方面；数学发现和自动定理生成；本体创建、修复和进化；证明程序；可计算性；证明规划；人工智能问题重新表述；量子计算；计算创造力；以及推理过程的可视化。后者涵盖广泛的应用，例如：软件验证；软件密集型系统的正式建模；安全和隐私分析和设计；平面设计；视频游戏设计；灾难恢复规划；以及医疗保健过程的建模；诗歌和艺术。我们目前的平台赠款资金的积极有效体现在我们研究的各个方面-它使我们能够：与世界上最好的研究人员合作和交流想法；探索和测试新的想法；开发冒险的赠款提案并赢得资金；巩固我们研究项目的结果，并确保后续资金使我们的研究的影响得到充分实现；并帮助培养我们领域的下一代研究明星和领导者。续签Platform Grant将使我们作为一个研究小组在我们研究人员的职业发展、我们研究的深度和广度以及它对社会更广泛方面的影响方面继续发展。

项目成果

Language and domain aware lightweight ontology matching

语言和领域感知的轻量级本体匹配

• DOI: 10.1016/j.websem.2017.03.003
• 发表时间: 2017
• 期刊: Journal of Web Semantics
• 影响因子: 2.5
• 作者: Bella G

A multi-lingual Ontology Matcher

多语言本体匹配器

• 发表时间: 2015
• 作者: Bella, G.

The Use of Automated Theory Formation in Support of Hazard Analysis

使用自动理论形成支持危害分析

• 发表时间: 2018
• 作者: A. Ireland

A Step Towards the Standardisation of HIV Care Practices

迈向艾滋病毒护理实践标准化的一步

• 发表时间: 2017
• 作者: Alexandru CA

Multilingual Ontology Matching

多语言本体匹配

• 发表时间: 2015
• 作者: Bella, G.