Till sidans topp

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

Tipsa en vän
Utskriftsversion

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

Symbolic Reasoning with Bounded Cognitive Resources

Konferensbidrag (offentliggjort, men ej förlagsutgivet)
Författare Claes Strannegård
Abdul Rahim Nizamani
Fredrik Engström
Olle Häggström
Publicerad i 36th Annual Conference of the Cognitive Science Society
Publiceringsår 2014
Publicerad vid Institutionen för matematiska vetenskaper
Institutionen för tillämpad informationsteknologi (GU)
Institutionen för filosofi, lingvistik och vetenskapsteori
Språk en
Länkar https://gup.ub.gu.se/file/138471
Ämneskategorier Logik

Sammanfattning

We present a multi-domain computational model for symbolic reasoning that was designed with the aim of matching human performance. The computational model is able to reason by deduction, induction, and abduction. It begins with an arbitrary theory in a given domain and gradually extends this theory as new regularities are learned from positive and negative examples. At the core of the computational model is a cognitive model with bounded cognitive resources. The combinatorial explosion problem, which frequently arises in inductive learning, is tackled by searching for solutions inside this cognitive model only. By way of example, we show that the computational model can learn elements of two different domains, namely arithmetic and English grammar.

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?