From Logic Programming to Human Reasoning: How to be Artificially Human

Autor/en:
Emmanuelle-Anna, Dietz Saldanha
Umfang:
343
EAN/ISBN:
978-3-89838-732-3
Erscheinungsdatum:
Freitag, 30. März 2018
Ausgabe:
Softcover
Buchreihe:
Dissertations in Artificial Intelligence
Kategorien:
Buch
Künstliche Intelligenz
Dissertationen zur Künstlichen Intelligenz
Englisch
Dissertations in Artificial Intelligence
Verfügbarkeit: lieferbar
Preis:
inkl. 7% MWSt
60,00 €

Psychological 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 classical logically. The Weak Completion Semantics, a novel non-monotonic Logic Programming approach based on the three-valued Łukasiewicz Logic, is investigated and applied for 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 dissertation shows one possible path on 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.