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

Learning Propositional Logic From Scratch

Abdul Rahim Nizamani ; Claes Strannegård (Institutionen för tillämpad informationsteknologi (Chalmers) ; Institutionen för filosofi, lingvistik och vetenskapsteori)
The 28th Annual Workshop of the Swedish Artificial Intelligence Society (SAIS). May 22-23, 2014, Stockholm (1650-3686). (2014)
[Konferensbidrag, refereegranskat]

We present a computational model for developing intelligent agents that are able to reason in multiple symbolic domains. The agents have deductive and inductive reasoning abilities. The deductive mechanism is based on a simple cognitive model with bounded cognitive resources. The main learning mechanism is a formalization of Occam’s razor. Agents constructed in our model can learn generalized knowledge from concrete examples. For example, an agent can learn elementary arithmetic and propositional logic, and then compute correct answers to previously unseen questions such as “what is 27*9?” and “is P∨(P→Q) a tautology?”. We illustrate the learning process in the case of propositional logic, where an agent first learns the syntax and then some basic logical laws. The performance of this agent beats average human scores in terms of accuracy when tested on tautologies used in an experiment reported in [16].

Nyckelord: multi-domain agents, logical reasoning, propositional logic

Denna post skapades 2014-06-17. Senast ändrad 2014-08-22.
CPL Pubid: 199302


Läs direkt!

Lokal fulltext (fritt tillgänglig)

Institutioner (Chalmers)

Institutionen för tillämpad informationsteknologi (GU) (GU)
Institutionen för tillämpad informationsteknologi (Chalmers) (2003-2017)
Institutionen för filosofi, lingvistik och vetenskapsteori (GU)


Data- och informationsvetenskap

Chalmers infrastruktur