Show simple item record

dc.contributor.authorNizamani, Abdul Rahim
dc.date.accessioned2015-10-05T10:56:40Z
dc.date.available2015-10-05T10:56:40Z
dc.date.issued2015-10-05
dc.identifier.isbn978-91-982069-8-2
dc.identifier.urihttp://hdl.handle.net/2077/40579
dc.description.abstractReasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated theorem proving are being constructed and used by mathematicians and logicians. Recently, there has been a surge in research in inductive reasoning systems. Inductive programming is an example of applying induction to symbolic systems. Most of the reasoning systems in AI are narrow and specialized to particular tasks and domains. Research work in artificial general intelligence (AGI) aims at producing models of AI that are fully or partially independent of task types. AGI systems are ideally able to learn new knowledge and rules that were not intended during their construction. Automatic reasoning systems are traditionally developed by using heuristics to limit the computational resources. This thesis aims to produce models of easoning that use bounded cognitive resources. Since reasoning is a cognitive function, and human cognitive resources (such as working memory) are severely restricted, one possible method of reducing the computational complexity of reasoning systems is to introduce cognitive resources in the system and put limits on them similar to human cognitive limits. Another important aim of this thesis is to unite the deductive and inductive reasoning in symbolic systems, by using Occam's razor as a guiding principle for induction. The thesis uses an exploratory approach to search for a unified model of reasoning in arbitrary domains. This thesis is a collection of published scientific papers, each contributing iteratively to the construction of a larger and domain-independent model of reasoning in symbolic domains. The first two papers present proof formalisms for first-order logic and description logic that produce comprehensible proofs. The second part comprises of five papers, each extending a model of inductive reasoning that can learn axioms of any arbitrary symbolic domain from random examples. Some of the models in the thesis were able to outstrip human performance in arithmetic, logic and number series problems. This is an interdisciplinary thesis that contributes to a number of scientific areas, mainly formal logic and AGI. Further research in this area can potentially lead to a universal reasoner that is able to learn and reason in more complex symbolic systems such as higher order logics and computer programming.sv
dc.language.isoengsv
dc.relation.haspartC. Strannegård, F. Engström, A. R. Nizamani, and L. Rips, Reasoning About Truth in First-Order Logic, Journal of Logic, Language and Information 22 (1) (2013) 115–137. ::doi::10.1007/s10849-012-9168-ysv
dc.relation.haspartF. Engström, A. R. Nizamani, C. Strannegård, Generating Comprehensible Explanations in Description Logic, in: M. Bienvenu, M. Ortiz, R. Rosati, M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics, Vol. 1193 of CEUR Workshop Proceedings, Sun SITE Central Europe, 2014, pp. 530–542. ::url::http://ceur-ws.org/Vol-1193/paper_17.pdfsv
dc.relation.haspartC. Strannegård, A. R. Nizamani, A. Sjöberg, F. Engström, Bounded Kolmogorov Complexity Based on Cognitive Models, in: K. Kühnberger, S. Rudolph, P. Wang (Eds.), Artificial General Intelligence, Vol. 7999 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2013, pp. 130–139. ::doi::10.1007/978-3-642-39521-5_14sv
dc.relation.haspartC. Strannegård, A. R. Nizamani, F. Engström, O. Häggström, Symbolic Reasoning with Bounded Cognitive Resources, in: P. Bello, M. Gaurini, M. McShane, B. Scassellati (Eds.), 36th Annual Conference of the Cognitive Science Society, Cognitive Science Society, Austin, Texas, 2014, pp. 1539–1544. ::url::https://mindmodeling.org/cogsci2014/papers/269/sv
dc.relation.haspartC. Strannegård, A. R. Nizamani, U. Persson, A General System for Learning and Reasoning in Symbolic Domains, in: B. Goertzel, L. Orseau, J. Snaider (Eds.), Artificial General Intelligence, Vol. 8598 of Lecture Notes in Computer Science, Springer International Publishing, 2014, pp. 174–185. ::doi::10.1007/978-3-319-09274-4_17sv
dc.relation.haspartA. R. Nizamani, C. Strannegård, Learning Propositional Logic From Scratch, The 28th Annual Workshop of the Swedish Artificial Intelligence Society (SAIS), May 22–23, 2014, Stockholm. ::url::http://gup.ub.gu.se/publication/199302sv
dc.relation.haspartA. R. Nizamani, J. Juel, U. Persson, C. Strannegård, Bounded Cognitive Resources and Arbitrary Domains, in: J. Bieger, B. Goertzel, A. Potapov (Eds.), Artificial General Intelligence, Vol. 9205 of Lecture Notes in Computer Science, Springer International Publishing, 2015, pp. 166–176. ::doi::10.1007/978-3-319-21365-1_18sv
dc.subjectArtificial general intelligencesv
dc.subjectlogical reasoningsv
dc.subjectinductive learningsv
dc.subjectproof systemssv
dc.subjectbounded cognitive resourcessv
dc.subjectcognitive modelingsv
dc.titleReasoning with Bounded Cognitive Resourcessv
dc.typeText
dc.type.svepDoctoral thesis
dc.gup.mailabdulrahim@nizamani.netsv
dc.type.degreeDoctor of Philosophysv
dc.gup.originGöteborgs universitet. IT-fakultetensv
dc.gup.departmentDepartment of Applied Information Technology ; Institutionen för tillämpad informationsteknologisv
dc.gup.defenceplaceMåndagen den 26 oktober 2015, kl. 13.15, Sal Torg Grön, Hus Patricia, Forskningsgången 6, Göteborgsv
dc.gup.defencedate2015-10-26
dc.gup.dissdb-fakultetITF


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record