大模型推理能力

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

Dynamic Neuro-Symbolic Knowledge Graph Construction for Zero-shot Commonsense Question Answering

Antoine Bosselut, Ronan Le Bras, Yejin Choi

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

Are Pretrained Language Models Symbolic Reasoners Over Knowledge?

Nora Kassner, Benno Krojer, Hinrich Schütze

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

Comments Accepted to CoNLL 2020

Multi-Agent Systems based on Contextual Defeasible Logic considering Focus

Helio H. L. C. Monte-Alto, Mariela Morveli-Espinoza, Cesar A. Tacla

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

Comments 11 pages, 3 figures, paper was accepted for conference ICAART 2020: 12th International Conference on Agents and Artificial Intelligence, but was withdrew

On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models

Ronald de Haan, Iris van de Pol

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

Comments To appear in the Journal of Applied Logics

ToyArchitecture: Unsupervised Learning of Interpretable Models of the World

Jaroslav Vítků, Petr Dluhoš, Joseph Davidson, Matěj Nikl, Simon Andersson, Přemysl Paška, Jan Šinkora, Petr Hlubuček, Martin Stránský, Martin Hyben, Martin Poliak, Jan Feyereisl, Marek Rosa

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

Comments Revision: changed the pdftitle

Multi-Player Games with LDL Goals over Finite Traces

Julian Gutierrez, Giuseppe Perelli, Michael Wooldridge

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

Multi-agent model for risk prediction in surgery

Bruno Perez, Julien Henriet, Christophe Lang, Laurent Philippe

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

An Explicitly Relational Neural Network Architecture

Murray Shanahan, Kyriacos Nikiforou, Antonia Creswell, Christos Kaplanis, David Barrett, Marta Garnelo

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

Comments In Proceedings ICML 2020

Intention as Commitment toward Time

Marc van Zee, Dragan Doder, Leendert van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit

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

Comments 83 pages, 4 figures, Artificial Intelligence journal pre-print

Journal ref Artificial Intelligence, Volume 283, June 2020, 103270

Logical Learning Through a Hybrid Neural Network with Auxiliary Inputs

Fang Wan, Chaoyang Song

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

Comments 11 pages, 9 figures, 4 tables

Journal ref Front. Robot. AI, 30 July 2018