• Aucun résultat trouvé

Human Reasoning, Logic Programs, and Connectionist Systems

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Human Reasoning, Logic Programs, and Connectionist Systems"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Human Reasoning, Logic Programs and Connectionist Systems

Steffen H¨olldobler

International Center for Computational Logic Technische Universit¨at Dresden

01062 Dresden Germany

Summary

The suppression task, the selection task, the belief bias effect, spatial rea- soning and reasoning about conditionals are just some examples of human rea- soning tasks which have received a lot of attention in thefield of cognitive sci- ence and which cannot be adequately modeled using classical two-valued logic.

I will present an approach using logic programs, weak completion, three-valued

�

Lukasiewicz logic, abduction and revision to model these tasks. In this setting, logic programs admit a least model and reasoning is performed with respect to these least models. For a given program, the least model can be computed as the leastfixed point of an appropriate semantic operator and, by adapting the Core-method, can be computed by a recurrent connectionist network with a feed-forward core.

Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning

4

Références

Télécharger maintenant ( PDF - 1 Page - 89.44 KB )

Documents relatifs

A Human-Aware Task Planner Explicitly Reasoning About Human and Robot Decision, Action and Reaction

The two agent types are fundamentally differ- ent: (1) the robot is controllable since the process is run by the robot, (2) the human agent is not controllable since the process

Cognitive defeasible reasoning: the extent to which forms of defeasible reasoning correspond with human reasoning

We find evidence for correspondence with postulate U1, which states that updating with the new fact must ensure that the new fact is a consequence of the update.. We find evidence

Logic Conditionals, Supervenience, and Selection Tasks

5 Logic conditional is expressed between two individual properties, determination, as defined here, between sets of properties... Logic conditionals and ontological dependence In

The Complexity of Contextual Abduction in Human Reasoning Tasks

For showing that Φ P can be computed in polynomial time, observe that several nice properties of Φ P do not hold if we consider contextual programs. For instance, for logic

Practical versus Pragmatic: Enlarging the Selection Task, extending reasoning

suggesting that they did not apply a purely deductive reasoning or that they did so with uncertainty; two of them circled a single p and a single not-q card; (ii)

Evolutionary Psychology and Human Reasoning: Testing the Domain-Specificity Hypothesis through Wason Selection Task

On the contrary, if human reasoning is sensitive to content aspects, as evolutionary, domain-specific approaches posit, then deontic rules should elicit more correct

Reasoning about Spatial Consistency

The fifth assertion (in problem 3) does not hold in the preferred or initially constructed model (built after the assertions 1-4, cp. Table 1), but only in the model

The influence of relational complexity and strategy selection on children's reasoning in the Latin Square Task

Whereas binary and secant ternary items can be solved using cell-based strategies, nonsecant ternary and quaternary items require shape-based strategies, as can be seen in