大模型推理能力

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

A Knowledge-Enhanced Pretraining Model for Commonsense Story Generation

Jian Guan, Fei Huang, Zhihao Zhao, Xiaoyan Zhu, Minlie Huang

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

Comments Accept at Transactions of the Association for Computational Linguistics 2020

An Introduction to Symbolic Artificial Intelligence Applied to Multimedia

Guilherme Lima, Rodrigo Costa, Marcio Ferreira Moreno

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

Representation, Justification and Explanation in a Value Driven Agent: An Argumentation-Based Approach

Beishui Liao, Michael Anderson, Susan Leigh Anderson

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

Comments 24 pages, 6 figures, submitted to JASSS

Artificial Intelligence: Powering Human Exploration of the Moon and Mars

Jeremy D. Frank

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

Comments Presented at AAAI FSS-19: Artificial Intelligence in Government and Public Sector, Arlington, Virginia, USA

Theory and Experiments on Vector Quantized Autoencoders

Aurko Roy, Ashish Vaswani, Arvind Neelakantan, Niki Parmar

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

Strength Factors: An Uncertainty System for a Quantified Modal Logic

Naveen Sundar Govindarajulu, Selmer Bringsjord

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

Comments Presented on August 20, 2017 at the Logical Foundations for Uncertainty and Machine Learning Workshop @ IJCAI 2017 in Melbourne, Australia

On the Conditional Logic of Simulation Models

Duligur Ibeling, Thomas Icard

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

Comments IJCAI 2018

How an Electrical Engineer Became an Artificial Intelligence Researcher, a Multiphase Active Contours Analysis

Kush R. Varshney

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

RelNN: A Deep Neural Model for Relational Learning

Seyed Mehran Kazemi, David Poole

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

Comments 9 pages, 8 figures, accepted at AAAI-2018

An Epistemic Foundation for Authentication Logics (Extended Abstract)

Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella

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

Comments In Proceedings TARK 2017, arXiv:1707.08250

Journal ref EPTCS 251, 2017, pp. 306-323

A Spatio-Temporal Representation for the Orienteering Problem with Time-Varying Profits

Zhibei Ma, Kai Yin, Lantao Liu, Gaurav S. Sukhatme

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

Modal Logics of Topological Relations

Carsten Lutz, Frank Wolter

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

Journal ref Logical Methods in Computer Science, Volume 2, Issue 2 (June 22, 2006) lmcs:2253

Beyond knowing that: a new generation of epistemic logics

Yanjing Wang

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

Comments 36 pages, to appear in Jaakko Hintikka on knowledge and game theoretical semantics, Springer's Outstanding Contributions to Logic Series (some references are updated in this version)

Gated End-to-End Memory Networks

Julien Perez, Fei Liu

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

Comments 9 pages, 3 figures, 3 tables

Extended Graded Modalities in Strategy Logic

Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin

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

Comments In Proceedings SR 2016, arXiv:1607.02694

Journal ref EPTCS 218, 2016, pp. 1-14

A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs

Krishnendu Chatterjee, Martin Chmelik, Jessica Davies

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

Comments Full version of "A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs" AAAI 2016

LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners

Max Wisniewski, Alexander Steen, Christoph Benzmüller

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

Comments 6 pages, to appear in the proceedings of CICM'2015 conference

Logics of Temporal-Epistemic Actions

Bryan Renne, Joshua Sack, Audrey Yap

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

Towards a Logic-Based Unifying Framework for Computing

Robert Kowalski, Fariba Sadri

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

Comments An improved version of this paper will be published in the journal, New Generation Computing, with the title "Reactive Computing as Model Generation". In the meanwhile, a copy of the revised paper can be found on http://www.doc.ic.ac.uk/~rak/

Backdoors to Tractable Answer-Set Programming

Johannes Klaus Fichte, Stefan Szeider

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

Comments This paper extends and updates papers that appeared in the proceedings of IJCAI'11 (arXiv:1104.2788) and ESSLLI'11 (arXiv:1205.3663). We provide a higher detail level, full proofs and more examples; present new results on preprocessing, a general method to lift parameters from normal programs to disjunctive programs, and a theoretical comparison of ASP-parameters; and provide some empirical data