Results 241 to 250 of about 47,988 (269)

Terminological meta-reasoning by reification and multiple contexts

1995
We introduce a model and a system architecture for second-order reasoning about statements expressed in a (first-order) terminological representation language. This meta-reasoning approach is based on the reification of first-order propositions and the mediation between second- and first-order expressions via translation rules operating on multiple ...
Klemens Schnattinger, Udo Hahn, Manfred Klenner   +2 more
openaire   +1 more source

Meta-reasoning in law: a computational model

1993
The legal decision-making process can be reproduced by a model in which the deductive structure that justifies the decision is integrated with other formal aspects of legal reasoning, able to represent the concept of applicability, that is strictly related to the dynamic evolution of the normative systems; it may creates anomalous situations, as ...
openaire   +1 more source

A Decision Theoretic Meta-reasoner for Constraint Optimization

2005
Solving constraint optimization problems is hard because it is not enough to find the best solution; an algorithm does not know a candidate is the best solution until it has proven that there are no better solutions The proof can be long, compared to the time spent to find a good solution In the cases where there are resource bounds, the proof of ...
Jingfang Zheng, Michael C. Horsch
openaire   +1 more source

Meta-reasoning in a modified Cognitive Reflection Test

2018
The Cognitive Reflection Task (CRT) has been used in a large number of studies as a measure of rational thinking. The original version contains three tasks which have a common structure. The tasks are designed to induce heuristic biased thinking which leads to an incorrect response which needs to be overridden in order to provide the correct response ...
Valerjev, Pavle, Dujmović, Marin
openaire   +2 more sources

Alma/Carne: implementation of a time-situated meta-reasoner

Proceedings 13th IEEE International Conference on Tools with Artificial Intelligence. ICTAI 2001, 2002
Agents need to operate in dynamic situations where the information they have about the world is incomplete, uncertain and quite possibly false. Active logic has been designed with capabilities that enable these aspects of the world to be taken into account, notably time-situatedness, contradiction tolerance and meta-reasoning.
openaire   +1 more source

Meta-Reasoning: Transcription of an Invited Lecture by

1990
This text is an edited version of the lecture on Meta-Reasoning, presented by Luigia Aiello at the Workshop in Sesimbra, Portugal. The lecture was recorded and the transcript was edited afterwards.
openaire   +1 more source

Associations of parenting styles with moral reasoning in children and adolescents: A meta-analysis

Journal of Moral Education, 2022
Martin Pinquart
exaly  

The role of conflict detection in meta-reasoning

2017
Recent research in the field of reasoning has been conducted in conjunction with the meta-reasoning framework which has been in development for the past decade. The study of how metacognitive judgments are generated and what are the determinants of those judgments has become the focus of many researchers.
Dujmović, Marin, Valerjev, Pavle
openaire   +2 more sources

A Cortical Surface-Based Meta-Analysis of Human Reasoning

Cerebral Cortex, 2021
Minho Shin, Hyeon-Ae Jeon
exaly  

Ontology-driven approach for KPI meta-modelling, selection and reasoning

International Journal of Information Management, 2021
Maria del Mar Roldan-Garcia, José M García-Nieto, Alejandro Maté   +2 more
exaly