From Logic Programming to Human Reasoning : (Record no. 6828)

MARC details
000 -LEADER
fixed length control field 01644 a2200193 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20251030092102.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 241122b |||||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781614998419
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3
Item number SadF
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Sadanha, Emmanuelle-Anna Dietz .
245 ## - TITLE STATEMENT
Title From Logic Programming to Human Reasoning :
Remainder of title How to be Artificially Human /
Statement of responsibility, etc Emmanuelle-Anna Dietz Sadanha
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Berlin :
Name of publisher Akademische Verlagsgesellschaft,
Year of publication ©2018.
300 ## - PHYSICAL DESCRIPTION
Number of Pages xi,214p.
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Dissertations in Artificial Intelligence
Volume number/sequential designation DISKI 343
520 ## - SUMMARY, ETC.
Summary, etc 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 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.<br/>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 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic Programming
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Human Reasoning
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Collection code Home library Current library Shelving location Date acquired Source of acquisition Purchase Price Bill number Full call number Accession Number Print Price Bill Date/Price effective from Koha item type
      Electrical Indian Institute of Technology Tirupati Indian Institute of Technology Tirupati General Stacks 14/09/2025 Shankar's Book Agency Pvt. Ltd. 6014.40 IN35911/25-26 006.3 SalF (11603) 11603 4210.08 14/09/2025 Books