大模型推理能力

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

An Enactivist account of Mind Reading in Natural Language Understanding

Peter Wallis

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

Comments 18 pages, 46 references, 2 figures. As accepted to MTI special issue on speech-based interaction, with some better English

Active Inference and Epistemic Value in Graphical Models

Thijs van de Laar, Magnus Koudahl, Bart van Erp, Bert de Vries

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

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams

Kevin Leahy, Austin Jones, Cristian-Ioan Vasile

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

On the Configuration of More and Less Expressive Logic Programs

Carmine Dodaro, Marco Maratea, Mauro Vallati

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

Comments Under consideration in Theory and Practice of Logic Programming (TPLP)

Concept Representation Learning with Contrastive Self-Supervised Learning

Daniel T. Chang

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

The Rational Selection of Goal Operations and the Integration ofSearch Strategies with Goal-Driven Autonomy

Sravya Kondrakunta, Venkatsampath Raja Gogineni, Michael T. Cox, Demetris Coleman, Xiaobao Tan, Tony Lin, Mengxue Hou, Fumin Zhang, Frank McQuarrie, Catherine R. Edwards

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

Comments Presented at The Ninth Advances in Cognitive Systems (ACS) Conference 2021 (arXiv:2201.06134)

COMET-ATOMIC 2020: On Symbolic and Neural Commonsense Knowledge Graphs

Jena D. Hwang, Chandra Bhagavatula, Ronan Le Bras, Jeff Da, Keisuke Sakaguchi, Antoine Bosselut, Yejin Choi

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

Journal ref Proceedings of the AAAI Conference on Artificial Intelligence (2021), 35(7), 6384-6392

Symbols as a Lingua Franca for Bridging Human-AI Chasm for Explainable and Advisable AI Systems

Subbarao Kambhampati, Sarath Sreedharan, Mudit Verma, Yantian Zha, Lin Guan

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

Observing Interventions: A logic for thinking about experiments

Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie

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

Comments This is the extended version of a paper that will appear in a special issue of the Journal of Logic and Computation dedicated to the 3rd DaL{í} Workshop on Dynamic Logic: New Trends and Applications. Different from the journal version, here the reader can find the full technical appendix

Modular Design Patterns for Hybrid Actors

André Meyer-Vitali, Wico Mulder, Maaike H. T. de Boer

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

Journal ref Cooperative AI Workshop at NeurIPS 2021