会员服务
演绎推理（Deductive Reasoning）是由一般到特殊的推理方法。与“归纳法”相对。推论前提与结论之间的联系是必然的，是一种确实性推理。演绎推理的形式有三段论、假言推理和选言推理等。
Breaking through the classical Shannon entropy limit: A new frontier through logical semantics
Arxiv
0+阅读 · 2024年12月31日
VEL: A Formally Verified Reasoner for OWL2 EL Profile
Arxiv
1+阅读 · 2024年12月11日
Datalog with First-Class Facts
Arxiv
0+阅读 · 2024年11月21日
Boosting Deductive Reasoning with Step Signals In RLHF
Arxiv
0+阅读 · 2024年10月24日
Abstraction Engineering
Arxiv
0+阅读 · 2024年8月26日
Project SHADOW: Symbolic Higher-order Associative Deductive reasoning On Wikidata using LM probing
Arxiv
0+阅读 · 2024年8月27日
Symbolic Working Memory Enhances Language Models for Complex Rule Application
Arxiv
0+阅读 · 2024年8月24日
Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs
Arxiv
0+阅读 · 2024年8月7日
Audio Entailment: Assessing Deductive Reasoning for Audio Understanding
Arxiv
0+阅读 · 2024年7月25日
A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters
Arxiv
0+阅读 · 2024年7月11日
Comparing Inferential Strategies of Humans and Large Language Models in Deductive Reasoning
Arxiv
0+阅读 · 2024年6月3日
Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
Arxiv
0+阅读 · 2024年3月30日
Dual Box Embeddings for the Description Logic EL++
Arxiv
0+阅读 · 2024年3月25日
Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
Arxiv
0+阅读 · 2024年3月14日
Concise and Organized Perception Facilitates Large Language Models for Deductive Reasoning
Arxiv
0+阅读 · 2024年3月1日
参考链接
微信扫码咨询专知VIP会员
Top