Results 221 to 230 of about 47,988 (269)

Meta-Reasoning: Monitoring and Control of Thinking and Reasoning

Trends in Cognitive Sciences, 2017
Meta-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.
Rakefet Ackerman, Valerie A Thompson
exaly   +3 more sources

Collaborative Meta-reasoning in Creative Contexts

2023
Meta-reasoning refers to the metacognitive processes that monitor and control ongoing thinking, reasoning and problem-solving. These monitoring processes are usually experienced as feelings of “certainty” or “uncertainty” regarding how well a process is unfolding.
Richardson, Beth H.   +3 more
openaire   +2 more sources

Meta-reasoning in Assembly Robots

2021
As 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 in ACL2

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   +4 more
openaire   +1 more source

A Meta-reasoner to Rule Them All

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014
It has been shown, both theoretically and empirically, that reasoning about large and expressive ontologies is computationally hard. Moreover, due to the different reasoning algorithms and optimisation techniques employed, each reasoner may be efficient for ontologies with different characteristics.
Yong-Bin Kang   +2 more
openaire   +1 more source

Meta-reasoning for a distributed agent architecture

Proceedings of the 33rd Southeastern Symposium on System Theory (Cat. No.01EX460), 2002
Agent based computing offers the ability to decentralize computing solutions by incorporating autonomy and intelligence into cooperating, distributed applications. It provides an effective medium for expressing solutions to problems that involve interaction with real-world environments and allows modelling of the world state and its dynamics.
D. Chelberg   +4 more
openaire   +1 more source

Meta‐Reasoning and Practical Deliberation

Philosophy and Phenomenological Research, 2009
Fallibilism about our practical judgments is uncontroversial: we are frequently wrong when we make decisions about what to do often badly wrong and everyone knows it. But efforts to characterize and respond to our lamentably imperfect decision-making have lagged. There has been some work in related fields.
openaire   +1 more source

Meta-reasoning: An incremental compilation approach

[1991] Proceedings. Seventh International Conference on Data Engineering, 2002
An 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.
A. Sattar, R. Goebel
openaire   +1 more source

Home - About - Disclaimer - Privacy