arXiv:2502.09256v1 宣告类型: cross
摘要: 血液病变分割在眼科诊断中发挥着关键作用，直接影响早期疾病检测、治疗计划和治疗效果评估。然而，由于病变形态多样、边界模糊以及与背景组织对比度低，该任务面临着重大挑战。为了提高诊断准确性和治疗效果，开发先进的分割技术仍然是必要的。本文提出了一种基于对抗学习的动态架构调整方法，该方法集成了分层 U 形编码解码器、残差块、注意力机制和 ASPP 模块。通过动态优化特征融合，我们的方法提高了分割性能。实验结果表明，Dice系数为0.6802，交并比(IoU)为0.5602，召回率(Recall)为0.766，精确率(Precision)为0.6525，准确率(Accuracy)为0.9955，有效地解决了视网膜图像出血分割中的挑战。[* 对应作者。]
arXiv:2502.09254v1 宣告类型：交叉
摘要：图异常检测（GAD）旨在识别与图中大多数节点不同的异常节点，近年来引起了显著的关注。现有的通用图模型在不同图任务中取得了显著的成功，但在GAD任务上难以泛化。这一局限性源于它们在学习捕捉来自不同领域图中固有的稀少、不规则和异质异常模式的一般性知识方面存在困难。为了解决这一挑战，我们提出了一种面向GAD的图基础模型AnomalyGFM，它支持零样本推理和少量样本提示调优，以在不同的图数据集中进行GAD。一个关键的洞见是，在不同的图中支持有效零样本/少量样本GAD所需要的正常类和异常类的图无关表示是必需的。受此启发，AnomalyGFM被预训练以对齐数据无关的、可学习的正常类和异常类原型，与节点表示残差（即节点与其邻居之间的表示偏差）。残差特征本质上将节点信息投影到一个统一的特征空间，在该空间中我们可以以一致的方式有效测量来自不同图的节点的异常性。这为学习正常类和异常类的图无关、辨别性原型提供了驱动力，可以使用这些原型在新图上实现零样本GAD，包括非常大规模的图。如果新图中有少量带标签的正常节点可供使用，AnomalyGFM还可以进一步支持提示调优，以利用这些节点进行更好的适应。在11个广泛使用的具有实际异常的GAD数据集上进行的全面实验表明，在零样本和少量样本GAD设置下，AnomalyGFM明显优于最先进的竞争方法。
arXiv:2502.09247v1 交叉类型：公告
摘要：联合实体-关系抽取是将无结构或半结构化文本转换为三元组的关键任务，有助于构建大规模知识图谱，并支持各种下游应用。尽管这项任务的重要性不言而喻，但对于中文文本的研究，尤其是对于医学等专业领域中复杂的语义，研究仍然有限。为了填补这一空白，我们提出了CH-DDI数据集，这是一个专门设计用于捕捉医学文本复杂性的中文药物-药物相互作用数据集。利用注意机制在捕捉长范围依赖性方面的优势，我们提出了SEA模块，该模块增强了对复杂上下文语义信息的抽取，从而提高了实体识别和关系抽取的效果。此外，为了缓解现有方法在促进实体识别和关系抽取之间的信息交流方面的效率问题，我们提出了一个交互式融合表示模块。该模块通过双向注意机制在任务之间进行信息交换，并通过BiLSTM进一步细化特征提取。我们在我们的CH-DDI数据集和公开的CoNLL04数据集上的实验结果表明，我们的模型具有较强的泛化能力。在CH-DDI数据集上，我们的模型在实体识别上的F1分数为96.73%，关系抽取的F1分数为78.43%。在CoNLL04数据集上，实体识别的准确率为89.54%，关系抽取的准确率为71.64%。
arXiv:2502.09232v1 类型: cross
摘要: 如今，正在出现一些复杂的领域，需要适当的正式主义来准确地指定这些领域，以便对其进行推理。其中一个领域是由智能合约构成的，这些智能合约在虚拟物理系统中涌现出来，作为一种机制，用于执行这些系统组件之间的正式协议。智能合约能够在去中心化的系统中通过区块链自执行，并与多个参与者共享业务流程。在许多情况下，法律合同是复杂文档，包含多种例外和多个从属合同。基于法律合同实现智能合约是一个漫长而耗时的过程，需要包括与合同执行相关的所有行动、程序以及行动的效果。在这个领域中存在的一个持续的公开问题是，如何使用某种统一且略显普遍的正式主义，正式地对智能合约进行描述。本论文提出使用情况演算逻辑为基础，为智能合约奠定逻辑基础。情况演算逻辑是一种用于执行行动推理的逻辑方法，提供了足够的逻辑机制来规定和实现动态复杂系统，如合同。情况演算逻辑适用于展示世界如何动态变化。智能合约将使用Golog（用Prolog编写）进行实现，Golog是一种基于情况演算逻辑的编程语言，用于建模复杂和动态的行为。
arXiv:2502.09230v1 声明类型: cross
摘要: 逻辑程序设计范式（ASP）是知识表示与推理领域的重要工具。作为一种简洁、人类可读且声明式的语言，ASP 是开发可信赖（特别是人工智能）软件系统的优秀工具。然而，正式验证 ASP 程序面临着一些独特的挑战，例如：
1. 缺乏模块性（规则的意义难以在脱离包含程序的情况下定义），
2. 由输入数据决定的地面化和求解语义（规则的意义依赖于程序所涉及的数据），
3. 现有工具的限制。
我的研究议程一直致力于解决这些问题，旨在使 ASP 验证成为一项可访问且常规的任务，该任务可以在程序开发过程中定期进行。在这个方向上，我已经研究了基于向此处-那里逻辑和多型一阶逻辑的 ASP 替代语义。这些语义促进了逻辑程序的模块化理解，回避了地面化步骤，并使我们能够使用自动定理证明器来自动验证程序的属性。
arXiv:2502.09220v1 类型：交叉
摘要：正逻辑程序的正规模型是一种特殊的部分模型（即三值模型），它们对应于具有最小未定义性的稳定部分模型。在本文中，我们探讨了有限地归正逻辑程序的依赖图上的图形条件，以分析该程序的正规模型的存在性、唯一性及数量。我们展示了三个主要结果：1) 呈现一个非平凡（即非两值）正规模型存在的必要条件；2) 提出一个唯一存在正规模型的充分条件；3) 根据正反馈点集设立两个正规模型数量的上界。前两个条件在You 和 Yuan (1994) 对正逻辑程序有良基分层的情况下有限情形的基础上进行了泛化。第三个结果据我们所知也是新的。我们证明的关键在于我们在有限地归正逻辑程序与布尔网络理论之间建立的联系。
arXiv:2502.09219v1 类型: cross
摘要: 在本文中，我们研究了一种视觉问答（VQA）问题，其中图像和查询由缺乏领域数据的ASP程序表示。我们提供了一种与现有知识增强技术正交且互补的方法，在该方法中，我们通过过去的例子推导出图像构造的领域关系。在界定 abduction 问题后，我们提供了一种基线方法及其实现，该实现显著提高了查询回答的准确性，但只需要少量示例。
arXiv:2502.09218v1 交叉公告类型
摘要：本文提出了一种完整的可解释系统，用于解释一组数据，抽象其潜在特征，并选择自然语言进行描述。该系统依赖于两个关键阶段：(i) 从数据中识别出新兴属性并将其转化为抽象概念，和(ii) 将这些概念转换为自然语言。尽管大规模语言模型展示了令人印象深刻的自然语言生成能力，但其统计性质及其内部机制的复杂性仍迫使我们将其作为一种黑盒技术使用，从而牺牲了可信度。开发一种数据解释管道将有助于其在医疗信息处理等关键安全领域中的应用，并允许非专业人士和视障人士访问叙述信息。为此，我们认为知识表示和自动推理研究领域可能会提供一种有效的替代方案。基于先前研究针对第一阶段(i) 的工作，我们专注于第二阶段，名为Concept2Text。由于该系统具有可解释性，数据转换可以通过逻辑规则轻松建模，再次强调了声明性编程在实现AI可解释性中的作用。本文探索了一种基于Prolog/CLP的重写系统来解释用类和关系术语表述的概念，并从通用本体中推导出常识，生成自然语言文本。该系统的功能包括分层树重写、模块化多语言生成、在语义、语法和词汇层面上支持等效变体，以及透明的基于规则的系统。我们概述了该系统的架构，并通过一些示例展示了其灵活性，这些示例能够根据输入概念生成大量多样且等效的重写。
arXiv:2502.09215v1 Announce Type: 横向交叉
摘要：本文提出了一种架构，用于模拟具有预定规范遵从行为的人工智能代理的动作，该行为后来可以由人类控制器更改。当代理涉及时间敏感的救援任务时，将其行为模式从遵守规范更新为更具风险的模式可能是相关的。我们的工作基于 Gelfond 和 Lobo 为规范规范设计的授权和义务政策语言 AOPL。我们引入了一种架构和原型软件系统，可以在不同的行为模式下模拟代理的计划，并且这些模式可以后来由控制器更改。我们设想这种软件对政策制定者来说是有用的，因为它们可以更 easily地理解代理在某些情况下可能如何行动，基于代理对规范遵从的态度。如果模拟显示了不希望的后果，政策制定者可以据此调整其政策。
arXiv:2502.09206v1 声明类型: cross
摘要：元建模是指本体中类和角色可以成为类的成员或出现在角色中的情形。在多种应用中，这是一个 desirable 的建模特征，但如果不加以限制地允许这种建模，有几个原因会带来问题，主要是因为它导致了不可判定性。因此，实践中的语言要么明确禁止元建模，要么在语义上将类的出现视为不同于其他出现的实例，从而不从语义上允许元建模。已经提出了多种扩展以部分提供这种元建模。基于早期将元建模查询回答减少为 Datalog 查询回答的工作，最近提出了将查询回答减少到混合知识库查询的回答的方法，目的是仅在必要时使用 Datalog 转换。初步工作表明该方法可行，但尚未观察到期望的性能改进。在这项工作中，我们通过改进这些减少方法的理论基础，并使用具有竞争力性能的替代工具进一步扩展了这项工作。