Results 141 to 150 of about 1,452,650 (193)
Some of the next articles are maybe not open access.
Meta-Reasoning: Monitoring and Control of Thinking and Reasoning
Trends in Cognitive Sciences, 2017Meta-Reasoning refers to the processes that monitor the progress of our reasoning and problem-solving activities and regulate the time and effort devoted to them. Monitoring processes are usually experienced as feelings of certainty or uncertainty about how well a process has, or will, unfold.
Ackerman, Rakefet, Valerie Thompson
exaly +3 more sources
Meta-reasoning in Assembly Robots
2021As robots become increasingly pervasive in human society, there is a need for developing theoretical frameworks for “human–machine shared contexts.” In this chapter, we develop a framework for endowing robots with a human-like capacity for meta-reasoning. We consider the case of an assembly robot that is given a task slightly different from the one for
Priyam Parashar, Ashok K. Goel
openaire +1 more source
Meta-reasoning: An incremental compilation approach
[1991] Proceedings. Seventh International Conference on Data Engineering, 2002An incremental compilation approach to meta-reasoning is presented together with a method to update dynamically changing knowledge bases. The compilation process translates meta-level specification of facts and hypotheses into sentences of clausal logic.
Abdul Sattar 0001, Randy Goebel
openaire +1 more source
2005
The ACL2 system is based upon a first-order logic and implements traditional first-order reasoning techniques, notably (conditional) rewriting, as well as extensions including mathematical induction and a “functional instantiation” capability for mimicking second-order reasoning.
Warren A. Hunt Jr. +4 more
openaire +2 more sources
The ACL2 system is based upon a first-order logic and implements traditional first-order reasoning techniques, notably (conditional) rewriting, as well as extensions including mathematical induction and a “functional instantiation” capability for mimicking second-order reasoning.
Warren A. Hunt Jr. +4 more
openaire +2 more sources
A Case Study in Computer-Assisted Meta-reasoning
2021We discuss human and mechanized reasoning with regards to the use of proof assistants, in particular Isabelle/HOL. We use the development of novel NAND- and NOR-based micro provers as a case study. Current, widely available automated reasoning technology is suitable for assisting humans with certain types of reasoning, like finding proofs for well ...
Asta Halkjær From +2 more
openaire +1 more source