Jan, 2023

Ithaca. 一个在 Unity 中集成模糊逻辑的工具

PDF
TL;DR本文介绍了一个基于 Fuzzy Logic 的插件 Ithaca，旨在提供一种直观、自然的方式来构建先进的人工智能系统，使其实现更快、更经济。该软件包括一个 C# 框架和 API，用于编写推理系统，以及一套图形开发和调试工具。此外，还提供了 Fuzzy Control Language (FCL) 解析器，以导入使用此标准之前定义的系统。
发现论文，激发创造
  • FuzzyLogic.jl：高效灵活的模糊推理库

    介绍了一个名为 FuzzyLogic.jl 的 Julia 库，用于执行模糊推理，支持 Mamdani，Sugeno 等常见推理系统，并能从 Matlab .fis，FCL 或 FML 等格式中读取模糊模型。

    Jun, 2023

  • 针对可解释性人工智能（XAI）的符号 AI：评估 LFIT 归纳编程在公平和可解释自动招聘中的应用

    本文介绍了一种将归纳逻辑编程 (ILP) 技术应用于机器学习的通用方法，通过在自动工具中集成确定的解释，来实现公平招聘，并展示了对于特定问题而言，支持这种方法的表现力。

    Dec, 2020

  • 逻辑磨床 -- 知识导航系统

    Logic Mill 是一个可扩展性强、开放可访问的软件系统，使用先进的自然语言处理技术在单个领域特定语料库或多领域语料库内识别语义相似的文档，通过大型预训练语言模型生成文档表示，并且可以通过简单的 API 或 Web 接口轻松访问，其更大的文本语料库包括了超过两亿的科学出版物和专利文件。

    Dec, 2022

  • AppLP: 逻辑编程应用对话

    2016 年 Applications of Logic Programming Workshop 会议在纽约市 Flushing 举行，与国际逻辑编程会议（ICLP）相关，文章介绍了会议的主要贡献。

    Apr, 2017

  • 协同构思中的增强集体智能：议程和挑战

    研究探讨使用增强的集体智能的应用，结合人类和大型语言模型在协同创意中的表现，进一步介绍了一个名为 Polis 的实时集合工具，并总结出三个挑战以期设计并完成实验。

    Mar, 2023

  • 使用归纳逻辑编程进行的程序合成与抽象推理语料库

    提出一种使用归纳逻辑编程的程序合成系统来解决抽象与推理语料库（ARC）的方法。通过定义一个与 ARC 相关的领域特定语言（DSL）和逻辑程序，该系统能够通过少量示例任务进行泛化和推理，从而解决需要不同推理方法的 ARC 中的任务。

    May, 2024

  • 交互式小说游戏：巨大的冒险

    介绍了 Jericho，IF 游戏的学习环境，并通过对丰富游戏集合上的文本代理进行全面研究，强调了代理可以提高的方向。

    Sep, 2019

  • FLUX：一种用于推理代理的逻辑编程方法

    FLUX 使用约束处理规则系统对代理进行编程，使其能够在不完整知识的情况下合理地推理其行为和传感器信息，并通过表达式演算法提供形式语义学。由于限制表达的准确性和升级推理范式，FLUX 表现出优秀的计算行为。

    Aug, 2004

  • INACIA: 巴西审计法院中大型语言模型的整合：机会与挑战

    INACIA 是一个整合大型语言模型（LLMs）到巴西联邦法院（TCU）操作框架中的革命性系统，通过自动化案件分析的各个阶段，提取相关信息、评估其合法性，并生成司法建议。通过一系列实验，论文展示了 INACIA 在处理复杂法律任务方面的潜力，并讨论了其未来的潜在增强和应用。

    Jan, 2024

  • 可微逻辑机

    该研究提出了一种新型神经逻辑架构，可以解决归纳逻辑编程和深度强化学习问题，其能够提供完全可解释的解决方案并能够在测试阶段得到更好的运行表现。

    Feb, 2021