Results 21 to 30 of about 47,988 (269)
Learning, Social Intelligence and the Turing Test - why an "out-of-the-box" Turing Machine will not pass the Turing Test [PDF]
, 2012 The Turing Test (TT) checks for human intelligence, rather than any putative general intelligence. It involves repeated interaction requiring learning in the form of adaption to the human conversation partner.
A. Trewavas +13 more
core +2 more sources
Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
Data in Brief, 2019 The authors universal (meta-)logical reasoning approach is demonstrated and assessed with a prominent riddle in epistemic reasoning: the Wise Men Puzzle.
Christoph Benzmüller
doaj +1 more source
The foundation of a generic theorem prover [PDF]
, 1989 Isabelle is an interactive theorem prover that supports a variety of logics. It represents rules as propositions (not as functions) and builds proofs by combining rules.
Paulson, LC
core +3 more sources
Performance and Metacognition in Scientific Reasoning: The Covariation Detection Task
Psychological Topics, 2019 The aim of this study was to introduce a modified version of the covariation detection task to the meta-reasoning framework. This task has been used to assess scientific reasoning through the evaluation of fictitious experiment outcomes and hypothesis ...
Pavle Valerjev, Marin Dujmović
doaj +2 more sources
Revisiting Epistemic Specifications
, 2011 In 1991, Michael Gelfond introduced the language of epistemic specifications. The goal was to develop tools for modeling problems that require some form of meta-reasoning, that is, reasoning over multiple possible worlds.
Truszczynski, Miroslaw
core +1 more source
Meta Reasoning over Knowledge Graphs
, 2019 The ability to reason over learned knowledge is an innate ability for humans and humans can easily master new reasoning rules with only a few demonstrations. While most existing studies on knowledge graph (KG) reasoning assume enough training examples, we study the challenging and practical problem of few-shot knowledge graph reasoning under the ...
Wang, Hong +5 more
openaire +2 more sources
Few-shot Relation Reasoning Model Based on Graph Neural Network and Meta-Learning [PDF]
Jisuanji gongchengKnowledge graph relation reasoning aims to infer missing links between entities. Current knowledge graph relation reasoning models perform poorly when reasoning with few-shot relations and struggle to reason for entities that are not seen during training.
LIU Wenjie, CHEN Liang, REN Zhijie
doaj +1 more source
Further Tests of the Metacognitive Advantage Model: Counterfactuals, Confidence and Affect
Psychological Topics, 2019 This study tested whether people have an accurate sense of how good their reasoning is, as measured by their confidence in their responses, and how good they feel after they give those responses.
André Mata
doaj +2 more sources
Evaluating arguments and making meta-arguments
Informal Logic, 2001 This paper explores the outlines of a framework for evaluating arguments. Among the factors to take into account are the strength of the arguers' inferences, the level of their engagement with objections raised by other interlocutors, and their ...
Daniel H. Cohen
doaj +1 more source
Variable Ranges in Linear Constraints [PDF]
, 2010 We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linearrange constraints is provided in terms of parameterized linear systems.
Fred Mesnard, Salvatore Ruggieri
core +2 more sources