该论文提出了一种具有社会关注的领域特定语言来描述机器学习数据集的结构以及数据出处的新方法,这将促进任何机器学习倡议来利用和从机器学习的数据中获益。
Jul, 2022
使用约束逻辑编程 (CL) 对 SQL 查询进行建模,通过关注语义属性来对数据无关的抽象层进行建模,以发现可能存在的错误。该方法使用不同的约束域,这些约束域映射到 SQL 类型,并提出它们协作以提高准确性,最终我们获得一个包括 SQL 和 Datalog 的演绎系统并在课堂上实现它,和其他方法相比,表现出巨大的优势和差异,并展示其性能数据。
Jul, 2019
本文通过基于 DL 本体的规划来解决开放世界状态约束,并提出了一种新的编译方案,即基于 DL 查询重写为具有分层否定的 Datalog 的标准 PDDL,以应对更具表现力的 DL,同时还证明了我们的方法可以优于以前的 DL 本体规划工作。
Mar, 2022
该论文提出了一种新的知识表示语言 DLP <,通过继承扩展了具有强否定的分段逻辑编程。文中提供了 DLP < 的声明性模型论语义,并通过将经典的非单调问题编码为 DLP < 来说明其知识建模功能,证明了继承不会导致任何计算开销。
May, 2001
研究表明话语处理需要满足话语计划系统的两个代表性需求:充分地表达产生的话语的意图结构,以便使计算话语代理能够有效地响应交际失败,并且表达话语的信息结构。除了这些代表性的需求,我们认为话语计划者应当可在完备性和严密性方面形式化定义。
Jun, 1994
设计过程中,通过概念形成框架和语言描述设计目标和设计过程,并开发了一个设计过程语言(DPL),用于构建一个更有用、更智能的计算机设计过程。
Apr, 2024
本文探讨了长句等复杂问题会增加法律文件的解释难度,提出了运用 NLP 技术和本体论发展原则将安全指令转化为本体论的自动化方法,并在欧洲最高级别的网络安全预防指令 NIS 2 上进行了案例研究,表明该方法可支持指令控制和本体论发展。
Jun, 2023
本文通过广泛探究 Circumscription 与 DL-lite_R、EL 及其片段相结合的知识库的计算复杂性,确定了其复杂度范围从 P 到多项式层次的第二层,以及复杂度上升至 PSPACE 及以上的片段。
Jan, 2014
提出一种将抽象级别作为一等公民并提供概念和角色的抽象和细化的显式运算符的 DLs 扩展,它可以支持多个抽象级别上的知识表示,并证明在这个扩展的 DLs 家族中推理是可判定的,而一些看似无害的变化则是不可判定的。
介绍了基于纯逻辑物理模型语言的扩展的逻辑编程形式,其中的复杂定义是作为规则集的表示,并且通过多种形式的推理来解决不同的计算问题。