Do humans reason with -matchers?

Please use this identifier to cite or link to this item: https://dspace.ncfu.ru/handle/20.500.12258/6857

Title:	Do humans reason with -matchers?
Authors:	Holldobler, S.
Keywords:	Ethical decision making;Fluent calculus;Logic programming;Weak Completion Semantics;Computation theory;Decision making;Logic programming;Philosophical aspects;Semantics;Calculations
Issue Date:	2019
Publisher:	Springer Verlag
Citation:	Hölldobler, S. Do Humans Reason with -Matchers? // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2019. - Volume 11560 LNCS. - Pages 367-384
Series/Report no.:	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Abstract:	The Weak Completion Semantics is a novel, integrated and computational cognitive theory. Recently, it has been applied to ethical decision making. To this end, it was extended by equational theories as needed by the fluent calculus. To compute least models equational matching problems have to be solved. Do humans consider equational matching in reasoning episodes?
URI:	https://www.scopus.com/record/display.uri?eid=2-s2.0-85068379354&origin=resultslist&sort=plf-f&src=s&st1=Do+Humans+Reason+with+-Matchers&st2=&sid=4921115216a6ba0493b25561c63f795a&sot=b&sdt=b&sl=46&s=TITLE-ABS-KEY%28Do+Humans+Reason+with+-Matchers%29&relpos=0&citeCnt=0&searchTerm= http://hdl.handle.net/20.500.12258/6857
Appears in Collections:	Статьи, проиндексированные в SCOPUS, WOS

Files in This Item:

File	Description	Size	Format
scopusresults 979 .pdf Restricted Access		59.86 kB	Adobe PDF	View/Open

Репозиторий научных и учебно-методических публикаций