大模型推理能力

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

On Model Reconciliation: How to Reconcile When Robot Does not Know Human's Model?

Ho Tuan Dung, Tran Cao Son

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

Comments In Proceedings ICLP 2022, arXiv:2208.02685

Journal ref EPTCS 364, 2022, pp. 27-48

Embracing AWKWARD! Real-time Adjustment of Reactive Plans Using Social Norms

Leila Methnani, Andreas Antoniades, Andreas Theodorou

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

Comments 18 pages, 2 figures, 3 Tables, 4 Formalisms, Accepted at COINE 2022 Workshop

CoSe-Co: Text Conditioned Generative CommonSense Contextualizer

Rachit Bansal, Milan Aggarwal, Sumit Bhatia, Jivat Neet Kaur, Balaji Krishnamurthy

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

Comments Accepted at NAACL 2022 (main conference)

Unifying Framework for Optimizations in non-boolean Formalisms

Yuliya Lierler

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

Comments Under consideration in Theory and Practice of Logic Programming (TPLP). arXiv admin note: text overlap with arXiv:2206.06440

Option Discovery for Autonomous Generation of Symbolic Knowledge

Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci

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

A Logic-based Tractable Approximation of Probability

Paolo Baldi, Hykel Hosni

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