Sciweavers

ICANN
2009
Springer

Logics and Networks for Human Reasoning

13 years 10 months ago
Logics and Networks for Human Reasoning
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operator, completed logic programs admit a least model, which can be computed by iterating the consequence operator. Reasoning is then performed with respect to the least model. The approach is realized in a connectionist setting. Key words: Human Reasoning, Logic Programs, Connectionist Models
Steffen Hölldobler, Carroline Dewi Puspa Kenc
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ICANN
Authors Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
Comments (0)