MMJul, 2011

归纳学习在规范性设计中的应用

PDF
TL;DR本文提出了一种以用例为驱动的迭代设计方法，用于规范开放系统的虚拟机构；文中介绍了一种基于答案集语义的逻辑程序计算模型，并通过归纳逻辑编程方法实现计算模型；该方法以设计者描述的用例为指导，通过生成附加规则或更改现有规则的方式实现规范框架的完善和修订，从而实现规范框架的自动化学习；该过程整合了一种基于 ASP 的理论修订方法，为规范框架的发展提供了新思路。
use-case-driveniterative design methodologynormative frameworkslogic programmingtheory revision
发现论文，激发创造
  • 一种基于逻辑和神经网络的框架，用于研究神经系统疾病的进化

    该研究提出了一种结合机器学习和 Answer Set Programming 技术的新框架，以便于帮助医生和研究人员理解神经疾病的复杂机制，并在神经疾病演化模拟任务中发挥重要作用。

    Oct, 2019

  • 利用 ASP 生成和可视化论证框架

    本文提出了一个利用 ASP 构造图形化参数框架的方法。第一步通过一个程序生成基于逻辑的参数集合，第二个程序利用第一个程序的结果来指定参数之间的关系。该方法不仅对于基于实例化的论证提供了一种灵活可扩展的工具，而且还提供了一种新的通用的答案集可视化方法。

    Jan, 2013

  • 基于归纳学习的 ASP 领域特定启发式策略生成

    该研究论文介绍了一种自动学习领域特定启发式的新方法，利用归纳逻辑编程从例子中学习声明性的领域特定启发式，从而提高问题求解的性能和解决方案质量。

    Aug, 2023

  • 基于神经网络的程序综合和验证

    提出一种神经网络引导的程序和不变量综合框架，其利用设计和训练神经网络提取出训练神经网络权重和偏置值上的整数逻辑公式，并用于正 / 反例和蕴含约束的公式合成，具有很好的实验结果，并在 ICE-learning-based CHC 求解、程序验证和归纳不变量合成等方面有重要应用。

    Mar, 2021

  • 学习 Answer Set Programming 中的弱约束

    本文提出了一种新的学习框架，“从有序答案集学习”，它允许在答案集编程（ASP）中学习弱约束条件，它是在归纳逻辑编程领域的一项贡献，我们提出了一种新的算法 ILASP2，它基于正常规则、选择规则、硬约束和弱约束等假设，能够有效地学习 ASP 程序，尤其是在学习 ASP 没有弱约束条件的程序时，相对于之前的方法能够更加高效。

    Jul, 2015

  • 从嘈杂例子中归纳学习答案集程序

    本文提出了一种噪声容忍的 ILASP3 系统，并在合成和现实数据集上评估该系统的性能，包括学习从答案集语义中的常识知识以及将其推广到更复杂的数据集、与不同框架的模型进行比较等。

    Aug, 2018

  • 利用答案集程序设计的技术提升抽象论证系统

    本文通过实验比较了原有编码与新的 metasp 编码，提供了最近引入的基于解析的基础语义的新编码，结果表明 metasp 方法在编码问题的复杂性适当反映的情况下表现良好。

    Aug, 2011

  • 基于上下文相关例子的答案集程序迭代学习

    本文提出了一种基于上下文的 Inductive Logic Programming (归纳逻辑编程) 扩展方法，通过结构化背景知识建模上下文依赖，进一步提出了一种新的算法 ILASP2i，应用于具有大量例子的学习任务，与传统方法 ILASP2 相比，同时保持平均正确率的情况下，速度提高了两个数量级，内存使用量减小了两个数量级，从而极大地提高了系统的可扩展性。

    Aug, 2016

  • 学习基于假设的论证框架

    本文提出了一种基于逻辑的学习方法，通过利用给定的背景知识从正负样例中生成基于假设的辩证框架，并将这些框架映射到可能是非分层的失败否定的逻辑程序。该方法通过采用转换规则来处理常规规则的例外，其中包括一些从逻辑程序转换规则改编的规则，例如折叠，以及类似于背诵学习和假设引入的其他规则。我们提出了一个应用这些转换规则学习分层框架的通用策略，并还提出了一种处理非分层情况的变体。通过多个示例，我们展示了此方法的优点。

    May, 2023

  • 使用 s (LAW) 进行带有行动裁量的自动法律推理

    自动法律推理在智能合约和自动决策中的应用日益受到关注，然而伦理和法律问题使得自动推理器在人能理解的术语中进行理由指明变得必要。本文提出使用 s (CASP) 来建模不确定性和其他模糊概念，并实现了一个框架来模拟、推理和证实适用法规，并通过翻译和基准测试了一个代表性用例，即 “Comunidad de Madrid” 的学生录取标准。

    Jan, 2024