大模型推理能力

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

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