BriefGPT.xyz
大模型
Ask
alpha
关键词
formalisms
搜索结果 - 5
认识您的异常：知识表示中的异常本体
基于例外性和可推翻性的框架，对比四个系统，揭示从本体论角度可能出现的差异。
PDF
4 months ago
在动态知识图谱中实现基于 SPIN 的描述时态动态算法的策略
计划和推理是最近逻辑和计算机科学研究中的重要问题，本研究提出了一种将行为嵌入到描述逻辑（DL）中的框架，用于表示和推理行为，并提出了一种算法来处理行动的各种情况。
PDF
6 months ago
关于增强学习中客观规范形式表达能力的研究
通过广泛比较 17 种强化学习目标规范形式的表达能力，我们发现不同形式主义存在多种限制，并未找到一种同时具有主导性表达能力和当前技术下优化简便性的形式主义。这些发现对策略优化和奖励学习有重要影响，并强调了未来研究在奖励学习方法中适应多种形式
→
PDF
9 months ago
紧急因果和意识基础
该研究探讨了在交互环境下，如何从正确的干预行为进行推理，并证明了在没有操作符的情况下，一个干预仍然可以被表示为变量，进而提出了一种去除预设抽象的形式化方法，透过归纳左右的抽象层次逐渐增加，直到能够代表自我和他人的干预效应，从而实现对意图与自
→
PDF
a year ago
ACL
从不相关数据中学习联合语义解析器
通过从多个数据集中学习语义解析器的新方法，我们将未观测到的正式语义注释视为潜在结构变量，并在现有基础上建模，从而在框架语义解析和语义依赖解析方面取得了改进。
PDF
6 years ago
Prev
Next