大模型推理能力 - arXivDaily 专题

2102.10865 2021-02-23 cs.AI 57%

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

2102.06112 2021-02-12 cs.AI 57%

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

2009.07738 2021-01-13 cs.LG stat.ML 57%

Neuro-symbolic Neurodegenerative Disease Modeling as Probabilistic Programmed Deep Kernels

Alexander Lavin

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

2012.11705 2020-12-23 cs.AI cs.CY 57%

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

2012.11014 2020-12-22 cs.CV cs.CL 57%

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

2010.16217 2020-11-02 cs.AI cs.LO 57%

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

1911.03876 2020-11-02 cs.CL 57%

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

Antoine Bosselut, Ronan Le Bras, Yejin Choi

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

2006.10413 2020-10-13 cs.CL 57%

Are Pretrained Language Models Symbolic Reasoners Over Knowledge?

Nora Kassner, Benno Krojer, Hinrich Schütze

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

Comments Accepted to CoNLL 2020

2010.00168 2020-10-02 cs.AI cs.LO 57%

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

1805.09880 2020-09-21 cs.CC cs.AI cs.LO 57%

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

1903.08772 2020-09-10 cs.AI 57%

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

2008.05647 2020-08-14 cs.LO cs.AI cs.GT cs.MA 57%

Multi-Player Games with LDL Goals over Finite Traces

Julian Gutierrez, Giuseppe Perelli, Michael Wooldridge

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

2005.10738 2020-07-23 cs.AI cs.MA 57%

Multi-agent model for risk prediction in surgery

Bruno Perez, Julien Henriet, Christophe Lang, Laurent Philippe

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

1905.10307 2020-06-24 cs.LG stat.ML 57%

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

2004.08144 2020-04-20 cs.LO cs.AI 57%

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

1705.08200 2020-03-10 cs.AI 57%

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

2001.05139 2020-01-16 cs.CL 57%

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

1911.09606 2019-12-02 cs.AI cs.MM 57%

An Introduction to Symbolic Artificial Intelligence Applied to Multimedia

Guilherme Lima, Rodrigo Costa, Marcio Ferreira Moreno

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

1812.05362 2019-10-22 cs.AI 57%

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

1910.03014 2019-10-09 cs.AI cs.CY 57%

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

1805.11063 2018-07-23 cs.LG stat.ML 57%

Theory and Experiments on Vector Quantized Autoencoders

Aurko Roy, Ashish Vaswani, Arvind Neelakantan, Niki Parmar

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

1705.10726 2018-05-29 cs.AI 57%

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

1805.02859 2018-05-09 cs.LO cs.AI 57%

On the Conditional Logic of Simulation Models

Duligur Ibeling, Thomas Icard

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

Comments IJCAI 2018

1803.11261 2018-04-02 cs.AI cs.IT math.IT stat.ML 57%

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

Kush R. Varshney

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

1712.02831 2017-12-11 stat.ML cs.LG 57%

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

1707.08750 2017-07-28 cs.CR cs.AI cs.LO cs.MA 57%

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

1611.08037 2017-07-04 cs.AI 57%

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

cs/0605064 2017-01-11 cs.LO cs.AI cs.CC 57%

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

1605.01995 2016-11-24 cs.AI cs.LO 57%

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)

1610.04211 2016-11-18 cs.CL stat.ML 57%

Gated End-to-End Memory Networks

Julien Perez, Fei Liu

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

Comments 9 pages, 3 figures, 3 tables

1. 逻辑推理 3027 篇

Handling Epistemic and Aleatory Uncertainties in Probabilistic Circuits

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

Neuro-symbolic Neurodegenerative Disease Modeling as Probabilistic Programmed Deep Kernels

Taking Principles Seriously: A Hybrid Approach to Value Alignment

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

Thinking About Causation: A Causal Language with Epistemic Operators

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

Are Pretrained Language Models Symbolic Reasoners Over Knowledge?

Multi-Agent Systems based on Contextual Defeasible Logic considering Focus

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

ToyArchitecture: Unsupervised Learning of Interpretable Models of the World

Multi-Player Games with LDL Goals over Finite Traces

Multi-agent model for risk prediction in surgery

An Explicitly Relational Neural Network Architecture

Intention as Commitment toward Time

Logical Learning Through a Hybrid Neural Network with Auxiliary Inputs

A Knowledge-Enhanced Pretraining Model for Commonsense Story Generation

An Introduction to Symbolic Artificial Intelligence Applied to Multimedia

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

Artificial Intelligence: Powering Human Exploration of the Moon and Mars

Theory and Experiments on Vector Quantized Autoencoders

Strength Factors: An Uncertainty System for a Quantified Modal Logic

On the Conditional Logic of Simulation Models

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

RelNN: A Deep Neural Model for Relational Learning

An Epistemic Foundation for Authentication Logics (Extended Abstract)

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

Modal Logics of Topological Relations

Beyond knowing that: a new generation of epistemic logics

Gated End-to-End Memory Networks