Till sidans topp

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

Tipsa en vän
Utskriftsversion

Integrating Axiomatic and… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Kontaktformulär








 


OBS! Vill du ha svar, ange e-post eller telefonnummer!




Integrating Axiomatic and Analogical Reasoning

Paper i proceeding
Författare Claes Strannegård
Abdul Rahim Nizamani
Ulf Persson
Publicerad i 9th International Conference on Artificial General Intelligence, AGI 2016; New York; United States; 16 July 2016 through 19 July 2016
ISBN 978-3-319-41648-9
ISSN 0302-9743
Förlag Springer
Förlagsort Cham
Publiceringsår 2016
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 dx.doi.org/10.1007/978-3-319-41649-...
Ämneskategorier Logik

Sammanfattning

We present a computational model of a developing system with bounded rationality that is surrounded by an arbitrary number of symbolic domains. The system is fully automatic and makes continuous observations of facts emanating from those domains. The system starts from scratch and gradually evolves a knowledge base consisting of three parts: (1) a set of beliefs for each domain, (2) a set of rules for each domain, and (3) an analogy for each pair of domains. The learning mechanism for updating the knowledge base uses rote learning, inductive learning, analogy discovery, and belief revision. The reasoning mechanism combines axiomatic reasoning for drawing conclusions inside the domains, with analogical reasoning for transferring knowledge from one domain to another. Thus the reasoning processes may use analogies to jump back and forth between domains.

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?