CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

A General System for Learning and Reasoning in Symbolic Domains

Claes Strannegård (Institutionen för filosofi, lingvistik och vetenskapsteori ; Institutionen för tillämpad informationsteknologi (Chalmers)) ; Abdul Rahim Nizamani ; Ulf Persson (Institutionen för matematiska vetenskaper, matematik)
Lecture Notes in Computer Science: 7th International Conference on Artificial General Intelligence, AGI 2014; Quebec City, QC; Canada; 1 August 2014 through 4 August 2014 (0302-9743). Vol. 8598 (2014), p. 174–185.
[Konferensbidrag, refereegranskat]

We present the system O that operates in arbitrary symbolic domains, including arithmetic, logic, and grammar. O can start from scratch and learn the general laws of a domain from examples. The main learning mechanism is a formalization of Occam’s razor. Learning is facilitated by working within a cognitive model of bounded rationality. Computational complexity is thereby dramatically reduced, while preserving human-level performance. As illustration, we describe the learning process by which O learns elementary arithmetic. In the beginning, O knows nothing about the syntax or laws of arithmetic; by the end, it has constructed a theory enabling it to solve previously unseen problems such as “what is 67 ∗ 8?” and “which number comes next in the sequence 8,11, 14?”.

Nyckelord: Domain-independent agent, Occam’s razor, bounded rationality.



Denna post skapades 2014-06-17. Senast ändrad 2016-07-20.
CPL Pubid: 199296

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)

Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för filosofi, lingvistik och vetenskapsteori (GU)
Institutionen för tillämpad informationsteknologi (Chalmers)
Institutionen för tillämpad informationsteknologi (GU) (GU)
Institutionen för matematiska vetenskaper, matematik (2005-2016)

Ämnesområden

Filosofi, etik och religion
Logik

Chalmers infrastruktur