大模型推理能力

Visual Question Answering based on Formal Logic

Muralikrishnna G. Sethuraman, Ali Payani, Faramarz Fekri, J. Clayton Kerce

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

ProTo: Program-Guided Transformer for Program-Guided Tasks

Zelin Zhao, Karan Samel, Binghong Chen, Le Song

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

Comments Accepted in NeurIPS 2021

Analyzing Differentiable Fuzzy Logic Operators

Emile van Krieken, Erman Acar, Frank van Harmelen

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

Comments 47 pages, 18 figures. V2: Added analysis for existential quantification. Improved experiments and writing

CLIPort: What and Where Pathways for Robotic Manipulation

Mohit Shridhar, Lucas Manuelli, Dieter Fox

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

Comments CoRL 2021. Project Website: https://cliport.github.io/

Neuro-Symbolic AI: An Emerging Class of AI Workloads and their Characterization

Zachary Susskind, Bryce Arden, Lizy K. John, Patrick Stockton, Eugene B. John

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

Comments 11 pages, 7 figures

Supporting Context Monotonicity Abstractions in Neural NLI Models

Julia Rozanova, Deborah Ferreira, Mokanarangan Thayaparan, Marco Valentino, André Freitas

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

Comments NALOMA'21 (NAtural LOgic Meets MAchine Learning) @IWCS 2021

NLP is Not enough -- Contextualization of User Input in Chatbots

Nathan Dolbir, Triyasha Dastidar, Kaushik Roy

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

Cognitive Homeostatic Agents

Amol Kelkar

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

Comments Accepted at AAMAS2021 Blue Sky Ideas Track

Journal ref In Proc. of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), Online, May 3-7, 2021, IFAAMAS, 5 pages

Online Learning Probabilistic Event Calculus Theories in Answer Set Programming

Nikos Katzouris, Alexander Artikis, Georgios Paliouras

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

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

Classification and Feature Transformation with Fuzzy Cognitive Maps

Piotr Szwed

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

ConjNLI: Natural Language Inference Over Conjunctive Sentences

Swarnadeep Saha, Yixin Nie, Mohit Bansal

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

Comments EMNLP 2020 (14 pages)

Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains

Vaishak Belle

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

Three Modern Roles for Logic in AI

Adnan Darwiche

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

Comments To be published in PODS 2020

Neuro-symbolic Architectures for Context Understanding

Alessandro Oltramari, Jonathan Francis, Cory Henson, Kaixin Ma, Ruwan Wickramarachchi

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

Comments In: Ilaria Tiddi, Freddy Lecue, Pascal Hitzler (eds.), Knowledge Graphs for eXplainable AI -- Foundations, Applications and Challenges. Studies on the Semantic Web, IOS Press, Amsterdam, 2020. arXiv admin note: text overlap with arXiv:1910.14087

Cost-Based Goal Recognition Meets Deep Learning

Mariane Maynard, Thibault Duhamel, Froduald Kabanza

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

Comments An earlier version of this paper was published in PAIR (AAAI 2019 workshop)

A Spoken Dialogue System for Spatial Question Answering in a Physical Blocks World

Georgiy Platonov, Benjamin Kane, Aaron Gindi, Lenhart K. Schubert

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

Comments 9 pages (with references), 2 figures

Engaging in Dialogue about an Agent's Norms and Behaviors

Daniel Kasenberg, Antonio Roque, Ravenna Thielstrom, Matthias Scheutz

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

Comments Accepted to the 1st Workshop on Interactive Natural Language Technology for Explainable Artificial Intelligence (NL4XAI)

Generating Justifications for Norm-Related Agent Decisions

Daniel Kasenberg, Antonio Roque, Ravenna Thielstrom, Meia Chita-Tegmark, Matthias Scheutz

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

Comments Accepted to the Proceedings of the 12th International Conference on Natural Language Generation (INLG 2019)

A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders

Francesco Calimeri, Francesco Cauteruccio, Luca Cinelli, Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Francoise Durand-Dubief, Dominique Sappey-Marinier

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

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

Comparison of Artificial Intelligence Techniques for Project Conceptual Cost Prediction

Haytham H. Elmousalami

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

Comments arXiv admin note: text overlap with arXiv:1905.11804

LYRICS: a General Interface Layer to Integrate Logic Inference and Deep Learning

Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Marco Gori

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

Comments To appear in proceedings of ECML PKDD 2019

Grounding Value Alignment with Ethical Principles

Tae Wan Kim, Thomas Donaldson, John Hooker

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

Human-aided Multi-Entity Bayesian Networks Learning from Relational Data

Cheol Young Park, Kathryn Blackmond Laskey

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

Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples

Arindam Mitra, Chitta Baral

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

Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science

Dimitrios Kartsaklis, Martha Lewis, Laura Rimell

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

Journal ref EPTCS 221, 2016

Question Answering via Integer Programming over Semi-Structured Knowledge

Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth

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

Comments Extended version of the paper accepted to IJCAI'16

Towards AI-Complete Question Answering: A Set of Prerequisite Toy Tasks

Jason Weston, Antoine Bordes, Sumit Chopra, Alexander M. Rush, Bart van Merriënboer, Armand Joulin, Tomas Mikolov

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

Large Margin Nearest Neighbor Embedding for Knowledge Representation

Miao Fan, Qiang Zhou, Thomas Fang Zheng, Ralph Grishman

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

Comments arXiv admin note: text overlap with arXiv:1503.08155

Analysing the behaviour of robot teams through relational sequential pattern mining

Grazia Bombini, Raquel Ros, Stefano Ferilli, Ramon Lopez de Mantaras

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

Comments 25 pages

Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?

相同公式，不同语义：语言模型是否遵循模态逻辑规范？

Réemi Andrieu, Damien Sileo

机构 * Univ. Lille（里尔大学） ； Inria（法国国家信息与自动化研究所） ； CNRS（法国国家科学研究中心） ； Centrale Lille（里尔中央理工学院） ； UMR 9189 - CRIStAL（UMR 9189 - CRIStAL（法国国家科研中心联合研究机构）） 纠错

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

AI总结 该研究探究语言模型是否遵循模态逻辑规范，构建成对模态问题测试五款模型，发现遵循规定模态语义依赖推理模式与模型身份，发布相关产物。

Comments 9 pages. Code: https://github.com/sileod/modal-semantics-reasoning. Data and artifacts: https://huggingface.co/datasets/sileod/modal-semantics-reasoning