prolog | BriefGPT - AI 论文速递

关键词prolog

搜索结果 - 14

ACLLLM 中的算术推理：Prolog 生成与排列
使用大型语言模型来生成 Prolog 程序以解决数学问题，在 GSM8K 基准测试中，我们的 Prolog 算术问题解决方法在三个不同的大型语言模型中胜过了 Chain of Thought。我们提出对真值谓词进行排列组合，以通过数据增强方
PDFa month ago
神经马尔科夫逻辑
近期 AI 的快速进展主要是由于神经网络架构的创新推动。本文提出了一种工具，旨在辅助进一步创新架构的设计，并简单而准确地表达其结构。我们提出了基于马尔可夫逻辑和 Prolog 的语言 Neural Markov Prolog (NMP)，作
PDF7 months ago
探究图神经网络的内部逻辑及其逻辑性质
本文旨在探究利用逻辑程序模拟图神经网络的信息传播机制，在解决节点属性预测问题中的应用，通过实现一个类似 Prolog 程序的逻辑程序来模拟图神经网络的信息传播阶段，并利用相似节点的属性推断测试集中的节点属性，与链接结构进行比较，得到更好的表
PDF2 years ago
开放世界中的物理推理
本文研究开放世界推理，用 Prolog 实现了一个容器微世界的推理器。
PDF2 years ago
MM基于 Prolog 对话引擎的交互式文本图挖掘
本研究基于神经网络、自然语言处理和 Prolog 设计了一套对话引擎，可与排名文本数据库进行交互，在利用句法信息和 WordNet 等语义信息后能够动态展示文本图表中最相关的内容元素。
PDF4 years ago
MMOntoScene, 一种基于逻辑的场景解释器：在岩石艺术领域的实现和应用
OntoScene 是一个用于理解视觉场景的框架，它利用本体论表示知识和 Prolog 来实现 SceneInterpreter 引擎。OntoScene 的应用实验领域是史前岩画，该领域提供了一个有趣且具有挑战性的测试平台。
PDF5 years ago
MMSWISH：用于共享的 SWI-Prolog
本文介绍了一种基于 Web 技术的 Prolog 编程语言的 Web 前端 SWISH，它能够用于运行小型程序的展示，并支持协作开发、在线教育等功能，并将 SWISH 嵌入在线 Prolog 书籍 “Learn Prolog Now!” 中
PDF9 years ago
MM使用表格逻辑编程解决 Petrobras 规划问题
本研究介绍了在 Picat 语言中开发的计划程序，利用 Prolog 和 tabling 的核心建模和求解功能，以优化 Petrobras 方案的运输计划，通过使用 tabling 技术，我们可以实现更好的运行时效率和更好的计划质量。
PDF10 years ago
MMYAP Prolog 系统
本文介绍了 Prolog 系统 YAP 的结构和设计，重点介绍了 YAP 为逻辑编程社区做出的三个重要贡献：实现高效的 Prolog 引擎、提供动态索引机制并在单个逻辑编程系统中集成或并行和 tabling。
PDF13 years ago
MMECLiPSe - 从 LP 到 CLP
ECLiPSe 是一款基于 Prolog 的编程系统，旨在开发和部署约束编程应用程序，同时也用于教授组合问题求解的大多数方面，如问题建模、约束编程、数学规划和搜索技术。
PDF14 years ago
具有 Cut 操作的逻辑程序自动终止分析
本文介绍了一种新的预处理方法，将 Prolog 程序自动转换为无割程序，进而证明定义逻辑程序的终止性，该方法已应用于终止证明器 AProVE 并取得成功。
PDF14 years ago
MMProlog 中高效的描述逻辑推理：DLog 系统
本文描述了 DLog—— 一种基于分辨率的描述逻辑推理系统。DLog 将描述逻辑公理转换为 Prolog 程序，并使用标准的 Prolog 执行有效地回答实例检索查询，是全 SHIQ 语言的 ABox 推理引擎。DLog 的方法使得个体能够
PDF15 years ago
MMSWI-Prolog 和 Web
该论文提出了一种新的架构，使 Prolog 能够使用标准 HTTP 协议与 Web 应用程序的其他组件进行通信，从而避免了外部 Web 服务器的嵌入，并支持解析、表示和生成关键的 Web 文档类型，如 HTML、XML 和 RDF，该设计经
PDF17 years ago
ACL通过投票限制进行形态消歧
通过使用大约 500 个约束规则和一些简单的统计学方法，我们在土耳其语中实现了一个约束基础形态学消歧系统，其可达到 95-96％的召回率和 94-95％的精度，每个标记约 1.01 个解析。该系统是用 Prolog 实现的，并且我们目前正在
PDF27 years ago