000			01644 a2200193 4500
005			20251030092102.0
008			241122b |||||||| |||| 00| 0 eng d
020			_a9781614998419
082			_a006.3 _bSadF
100			_aSadanha, Emmanuelle-Anna Dietz .
245			_aFrom Logic Programming to Human Reasoning : _b How to be Artificially Human / _cEmmanuelle-Anna Dietz Sadanha
260			_aBerlin : _bAkademische Verlagsgesellschaft, _c©2018.
300			_axi,214p.
440			_aDissertations in Artificial Intelligence _vDISKI 343
520			_aPsychological experiments have shown that humans make assumptions, which are not necessarily valid, as they are influenced by their background knowledge and reason non-monotonically. These observations show that Classical Logic is not adequate for modeling human reasoning. Instead of assuming that humans do not reason logically at all, the author takes the view that humans do not necessarily reason in accordance with Classical Logic. The author investigates Weak Completion Semantics, a novel non-monotonic Logic Programming approach based on the three-valued ukasiewicz Logic, and applies it to the formalization of well-known human reasoning tasks. A surprising result is that the Weak Completion Semantics performs better than any other cognitive theory. Altogether, this publication shows one possible path for bridging the gap between Cognitive Science and Computational Logic, by building on previous formal approaches and modeling findings from psychological experiments within one cognitive theory.
650			_aLogic Programming
650			_aHuman Reasoning
942			_cBK
999			_c6828 _d6828