Logics and Networks for Human Reasoning

@inproceedings{Hlldobler2009LogicsAN,
  title={Logics and Networks for Human Reasoning},
  author={Steffen H{\"o}lldobler and Carroline Dewi Puspa Kencana Ramli},
  booktitle={ICANN},
  year={2009}
}
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. 
Highly Cited
This paper has 43 citations. REVIEW CITATIONS