大模型推理能力

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

Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs

Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta

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

Morpho-logic from a Topos Perspective: Application to symbolic AI

Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramon Pino Perez

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

A Critical Review of Inductive Logic Programming Techniques for Explainable AI

Zheng Zhang, Liangliang Xu, Levent Yilmaz, Bo Liu

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

Comments arXiv admin note: text overlap with arXiv:1907.10952 by other authors

Can Pretrained Language Models (Yet) Reason Deductively?

Zhangdie Yuan, Songbo Hu, Ivan Vulić, Anna Korhonen, Zaiqiao Meng

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

Comments EACL 2023 camera-ready version

Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata

Mingyu Cai, Shaoping Xiao, Zhijun Li, Zhen Kan

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

Comments arXiv admin note: text overlap with arXiv:2010.06797, arXiv:2007.14325

Explaining Deep Learning Hidden Neuron Activations using Concept Induction

Abhilekha Dalal, Md Kamruzzaman Sarker, Adrita Barua, Pascal Hitzler

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

Comments Submitted to IJCAI-23

Modelling and Explaining Legal Case-based Reasoners through Classifiers

Xinghan Liu, Emiliano Lorini, Antonino Rotolo, Giovanni Sartor

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

Comments 16 pages

Chunk-aware Alignment and Lexical Constraint for Visual Entailment with Natural Language Explanations

Qian Yang, Yunxin Li, Baotian Hu, Lin Ma, Yuxing Ding, Min Zhang

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

Comments 11 pages (including Supplementary Materials); Accepted to ACM MM 2022

Journal ref ACM International Conference on Multimedia. 2022. 3587-3597

Differentiable Fuzzy $\mathcal{ALC}$: A Neural-Symbolic Representation Language for Symbol Grounding

Xuan Wu, Xinhao Zhu, Yizheng Zhao, Xinyu Dai

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

PLOG: Table-to-Logic Pretraining for Logical Table-to-Text Generation

Ao Liu, Haoyu Dong, Naoaki Okazaki, Shi Han, Dongmei Zhang

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

Comments EMNLP'22

Graph-based Neural Modules to Inspect Attention-based Architectures: A Position Paper

Breno W. Carvalho, Artur D'Avilla Garcez, Luis C. Lamb

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

Neuro-symbolic Explainable Artificial Intelligence Twin for Zero-touch IoE in Wireless Network

Md. Shirajum Munir, Ki Tae Kim, Apurba Adhikary, Walid Saad, Sachin Shetty, Seong-Bae Park, Choong Seon Hong

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

Comments Submitted to a journal for peer review

Explainable Goal-Driven Agents and Robots -- A Comprehensive Review

Fatai Sado, Chu Kiong Loo, Wei Shiung Liew, Matthias Kerzel, Stefan Wermter

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

Developmental Network Two, Its Optimality, and Emergent Turing Machines

Juyang Weng, Zejia Zheng, Xiang Wu

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

Comments US patent application document 81 pages, 17 figures, patent approval pending