大模型推理能力

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

BeliefBank: Adding Memory to a Pre-Trained Language Model for a Systematic Notion of Belief

Nora Kassner, Oyvind Tafjord, Hinrich Schütze, Peter Clark

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

Comments EMNLP 2021 Camera Ready. arXiv admin note: substantial text overlap with arXiv:2104.08401

A Panoramic Survey of Natural Language Processing in the Arab World

Kareem Darwish, Nizar Habash, Mourad Abbas, Hend Al-Khalifa, Huseein T. Al-Natsheh, Samhaa R. El-Beltagy, Houda Bouamor, Karim Bouzoubaa, Violetta Cavalli-Sforza, Wassim El-Hajj, Mustafa Jarrar, Hamdy Mubarak

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

Frequency Effects on Syntactic Rule Learning in Transformers

Jason Wei, Dan Garrette, Tal Linzen, Ellie Pavlick

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

Comments Camera ready for EMNLP 2021

Online Action Recognition

Alejandro Suárez-Hernández, Javier Segovia-Aguas, Carme Torras, Guillem Alenyà

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

Comments Accepted version in AAAI 21: https://ojs.aaai.org/index.php/AAAI/article/view/17423

Solving Infinite-Domain CSPs Using the Patchwork Property

Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov

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

Comments 34 pages, 2 figures. Parts of this article appeared in the proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021)

Alternative Microfoundations for Strategic Classification

Meena Jagadeesan, Celestine Mendler-Dünner, Moritz Hardt

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

Comments Accepted for publication at ICML 2021

Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge

Joseph Halpern, Andrés Perea

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

Journal ref EPTCS 335, 2021

Deep Argumentative Explanations

Emanuele Albini, Piyawat Lertvittayakumjorn, Antonio Rago, Francesca Toni

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

Comments 16 pages, 10 figures

Robotic Assistant Agent for Student and Machine Co-Learning on AI-FML Practice with AIoT Application

Chang-Shing Lee, Mei-Hui Wang, Zong-Han Ciou, Rin-Pin Chang, Chun-Hao Tsai, Shen-Chien Chen, Tzong-Xiang Huang, Eri Sato-Shimokawara, Toru Yamaguchi

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

Hybrid Intelligence

Dominik Dellermann, Philipp Ebel, Matthias Soellner, Jan Marco Leimeister

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

Contrastive Explanations of Plans Through Model Restrictions

Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith

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

Comments 80 pages, 32 figures, 7 tables

Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models

Ramon Fraga Pereira, Francesco Fuggitti, Giuseppe De Giacomo

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

Problems in AI research and how the SP System may help to solve them

J Gerard Wolff

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

Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework

Yasir Mahmood, Arne Meier, Johannes Schmidt

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

Comments Technical report to the final version at AAAI21

Handling Epistemic and Aleatory Uncertainties in Probabilistic Circuits

Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy

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

Comments Under submission to MACH

A Metamodel and Framework for Artificial General Intelligence From Theory to Practice

Hugo Latapie, Ozkan Kilic, Gaowen Liu, Yan Yan, Ramana Kompella, Pei Wang, Kristinn R. Thorisson, Adam Lawrence, Yuhong Sun, Jayanth Srinivasa

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

Comments arXiv admin note: text overlap with arXiv:2008.12879

Neuro-symbolic Neurodegenerative Disease Modeling as Probabilistic Programmed Deep Kernels

Alexander Lavin

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

Taking Principles Seriously: A Hybrid Approach to Value Alignment

Tae Wan Kim, John Hooker, Thomas Donaldson

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

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

KRISP: Integrating Implicit and Symbolic Knowledge for Open-Domain Knowledge-Based VQA

Kenneth Marino, Xinlei Chen, Devi Parikh, Abhinav Gupta, Marcus Rohrbach

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

Thinking About Causation: A Causal Language with Epistemic Operators

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

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

Comments This is the long version of a paper that is to be published in the post-proceedings of the 3rd Dali Workshop on Dynamic Logic: New Trends and Applications. The post-proceedings will be published by Springer as a Lecture Notes in Computer Science volume