Feb, 2022

带有 FO (.) 和 IDP-Z3 的交互式配置器

PDF
TL;DR本文介绍了新型的基于知识库的配置器和 FO（）KR 语言的推理引擎 IDP-Z3, 并探讨了其在解决人机交互下的约束求解问题方面的应用。
interactive configuration problemsconstraint solving problemsknowledge-based configuratorsreasoning enginefo(.) kr language
发现论文，激发创造
  • 面向 IDP 的 Web-based IDE

    使用基于 Web 技术的 IDE，方便用户在线使用 IDP 知识库系统，该系统基于一阶逻辑，可用于开发大型应用。

    Nov, 2015

  • 使用 IDPD3 可视化交互推断

    介绍了 IDPD3 库，作为一种 visualisations 工具， 用于知识库系统中逻辑理论和交互式模拟的可视化和解释。

    Nov, 2015

  • 谓词逻辑作为建模语言：采用 IDP3 进行机器学习和数据挖掘问题的建模与解决

    该论文提供了使用 IDP3 系统解决问题的简要介绍，介绍了 IDP3 的核心部分 - 有限模型生成器，它支持第一阶逻辑，以及丰富了类型，归纳定义，聚合和部分函数。除了小的例子，文章举了三个应用实例，分别涉及 philology、生物学和学习最小化自动机。

    Sep, 2013

  • 本体概念的计量和聚合

    该论文描述了一种扩展一阶逻辑的方法，使方案更加容易修改，并引入了一个保护机制来保证公式的正确性，同时将该方案应用于四个不同问题领域的知识表示中。

    Feb, 2022

  • 谓词逻辑作为建模语言：IDP 系统

    介绍了基于纯逻辑物理模型语言的扩展的逻辑编程形式，其中的复杂定义是作为规则集的表示，并且通过多种形式的推理来解决不同的计算问题。

    Jan, 2014

  • 更加表意与抽象的逻辑程序的配置

    本篇论文重点针对模型导向人工智能的方法及其应用中 SAT 和 ASP 这两个系统的输入形式进行分析，特别是通过将输入形式重新制定和配置，优化推理过程。经过广泛领域内数据的实验证明，使用这种方法可以获得不同的优势。

    Mar, 2022

  • 决策图上的交互式成本配置

    这篇论文讨论了如何将基于二进制决策图（BDD）的配置扩展到涉及表示用户偏好的成本函数的情景中，并证明即使在其最简单的形式下，多成本配置也是 NP - 难问题。

    Jan, 2014

  • KB 范式及其在交互式配置中的应用

    本文分析了知识库范式在交互式配置问题中的原则和可行性，并表明在形式化配置领域的规范化说明上应用不同形式的逻辑推理，可以实现该领域的多种功能。通过在银行业的实际应用实现了该方法的概念验证。

    May, 2016

  • 为声明式编程降低学习曲线：IDP 系统的 Python API

    本文提出了一种 API，将 IDP 知识库系统集成到 Python 编程语言中，旨在让 Python 程序员能够使用 IDP 的声明性功能，而无需学习任何新的语法或语义，并实现最小代码的修改使 IDP 能够轻松添加到 / 从现有代码库中删除

    Nov, 2015

  • 基于知识的黏合剂选择支持：能否粘合？

    通过与粘接专家团队的合作，本研究提出了一种高级工具，包括一个知识库和交互界面，能够协助粘接专家节省时间并找到更合适的胶粘剂。

    Nov, 2023