Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Reasoning about truth in … - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Reasoning about truth in first-order logic

Artikel i vetenskaplig tidskrift
Författare Claes Strannegård
Fredrik Engström
Abdul Rahim Nizamani
Lance Rips
Publicerad i Journal of Logic, Language and Information
Volym 22
Nummer/häfte 1
Sidor 115–137
ISSN 0925-8531
Publiceringsår 2013
Publicerad vid Institutionen för tillämpad informationsteknologi (GU)
Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 115–137
Språk en
Länkar dx.doi.org/10.1007/s10849-012-9168-...
Ämnesord First-order logic · Proof system · Bounded cognitive resources · Truth
Ämneskategorier Logik

Sammanfattning

Abstract First, we describe a psychological experiment in which the participants were asked to determine whether sentences of first-order logic were true or false in finite graphs. Second, we define two proof systems for reasoning about truth and falsity in first-order logic. These proof systems feature explicit models of cognitive resources such as declarative memory, procedural memory, working memory, and sensory memory. Third, we describe a computer program that is used to find the smallest proofs in the aforementioned proof systems when capacity limits are put on the cognitive resources. Finally, we investigate the correlation between a number of mathematical complexity measures defined on graphs and sentences and some psychological complexity measures that were recorded in the experiment.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?