大模型推理能力

GPT-RE: In-context Learning for Relation Extraction using Large Language Models

Zhen Wan, Fei Cheng, Zhuoyuan Mao, Qianying Liu, Haiyue Song, Jiwei Li, Sadao Kurohashi

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments Accepted by EMNLP 2023 Main Conference (long paper)

Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs

Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Accepted to the journal Artificial Intelligence (AI); an extended version of the KR'21 conference paper https://proceedings.kr.org/2021/39/

Journal ref Artificial Intelligence, Vol.326, 104045, Elsevier, 2024

The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models

Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

QA-NatVer: Question Answering for Natural Logic-based Fact Verification

Rami Aly, Marek Strong, Andreas Vlachos

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments EMNLP 2023

Solving Multi-Agent Target Assignment and Path Finding with a Single Constraint Tree

Yimin Tang, Zhongqiang Ren, Jiaoyang Li, Katia Sycara

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

Question Answering as Programming for Solving Time-Sensitive Questions

Xinyu Zhu, Cheng Yang, Bei Chen, Siheng Li, Jian-Guang Lou, Yujiu Yang

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments Accepted to EMNLP 2023 Main Conference

Synergistic Integration of Large Language Models and Cognitive Architectures for Robust AI: An Exploratory Analysis

Oscar J. Romero, John Zimmerman, Aaron Steinfeld, Anthony Tomasic

专题命中 逻辑推理 ：chain-of-thought(abstract)；分类 cs.AI

Comments AAAI 2023 Fall Symposium

On Exploiting Hitting Sets for Model Reconciliation

Stylianos Loukas Vasileiou, Alessandro Previti, William Yeoh

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

DISC-LawLLM: Fine-tuning Large Language Models for Intelligent Legal Services

Shengbin Yue, Wei Chen, Siyuan Wang, Bingxuan Li, Chenchen Shen, Shujun Liu, Yuxuan Zhou, Yao Xiao, Song Yun, Xuanjing Huang, Zhongyu Wei

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

CoRRPUS: Code-based Structured Prompting for Neurosymbolic Story Understanding

Yijiang River Dong, Lara J. Martin, Chris Callison-Burch

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments Accepted to Findings of ACL 2023

Journal ref Findings of ACL 2023, pp. 13152-13168

Neuro-Symbolic Recommendation Model based on Logic Query

Maonian Wu, Bang Chen, Shaojun Zhu, Bo Zheng, Wei Peng, Mingyi Zhang

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 17 pages, 6 figures

Strong-AI Autoepistemic Robots Build on Intensional First Order Logic

Zoran Majkic

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 25 pages, 2 figures

TRIVEA: Transparent Ranking Interpretation using Visual Explanation of Black-Box Algorithmic Rankers

Jun Yuan, Kaustav Bhattacharjee, Akm Zahirul Islam, Aritra Dasgupta

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Accepted for publication in SpringerNature's Visual Computer Journal

Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge

Rineke Verbrugge

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Journal ref EPTCS 379, 2023

Legal Syllogism Prompting: Teaching Large Language Models for Legal Judgment Prediction

Cong Jiang, Xiaolei Yang

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments Nineteenth International Conference on Artificial Intelligence and Law (ICAIL 2023)

Depth-bounded Epistemic Logic

Farid Arthaud, Martin Rinard

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments In Proceedings TARK 2023, arXiv:2307.04005

Journal ref EPTCS 379, 2023, pp. 46-65

Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles

Paul Tarau

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 23 pages, 1 figure, more information at https://github.com/ptarau/recursors

Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models

Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

Comments arXiv admin note: substantial text overlap with arXiv:2103.11692

Scalable Neural-Probabilistic Answer Set Programming

Arseny Skryagin, Daniel Ochs, Devendra Singh Dhami, Kristian Kersting

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 37 pages, 14 figures

SNeL: A Structured Neuro-Symbolic Language for Entity-Based Multimodal Scene Understanding

Silvan Ferreira, Allan Martins, Ivanovitch Silva

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Learnability with PAC Semantics for Multi-agent Beliefs

Ionela G. Mocanu, Vaishak Belle, Brendan Juba

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs

Masood Feyzbakhsh Rankooh, Tomi Janhunen

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

Comments Paper presented at the 39th International Conference on Logic Programming (ICLP 2023), 14 pages

Structured Knowledge Grounding for Question Answering

Yujie Lu, Siqi Ouyang, Kairui Zhou

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

On simple expectations and observations of intelligent agents: A complexity study

Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Accepted in KR 2023

ChatGPT for PLC/DCS Control Logic Generation

Heiko Koziolek, Sten Gruener, Virendra Ashiwal

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 8 pages, 6 figures

Large Language Models Need Holistically Thought in Medical Conversational QA

Yixuan Weng, Bin Li, Fei Xia, Minjun Zhu, Bin Sun, Shizhu He, Kang Liu, Jun Zhao

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Event Knowledge Incorporation with Posterior Regularization for Event-Centric Question Answering

Junru Lu, Gabriele Pergola, Lin Gui, Yulan He

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments work in process

The Roles of Symbols in Neural-based AI: They are Not What You Think!

Daniel L. Silver, Tom M. Mitchell

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 28 pages

A Memory System of a Robot Cognitive Architecture and its Implementation in ArmarX

Fabian Peller-Konrad, Rainer Kartmann, Christian R. G. Dreher, Andre Meixner, Fabian Reister, Markus Grotz, Tamim Asfour

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 35 pages, 19 figures, submitted to RAS

Journal ref Robotics and Autonomous Systems (2023)

Safe Exploration Incurs Nearly No Additional Sample Complexity for Reward-free RL

Ruiquan Huang, Jing Yang, Yingbin Liang

专题命中 逻辑推理 ：planning(abstract)；分类 cs.LG

Comments Accepted by ICLR 2023