| dc.contributor.author | Nizamani, Abdul Rahim | |
| dc.date.accessioned | 2015-10-05T10:56:40Z | |
| dc.date.available | 2015-10-05T10:56:40Z | |
| dc.date.issued | 2015-10-05 | |
| dc.identifier.isbn | 978-91-982069-8-2 | |
| dc.identifier.uri | http://hdl.handle.net/2077/40579 | |
| dc.description.abstract | Reasoning 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.iso | eng | sv |
| dc.relation.haspart | C. 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-y | sv |
| dc.relation.haspart | F. 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.pdf | sv |
| dc.relation.haspart | C. 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_14 | sv |
| dc.relation.haspart | C. 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.haspart | C. 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_17 | sv |
| dc.relation.haspart | A. 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/199302 | sv |
| dc.relation.haspart | A. 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_18 | sv |
| dc.subject | Artificial general intelligence | sv |
| dc.subject | logical reasoning | sv |
| dc.subject | inductive learning | sv |
| dc.subject | proof systems | sv |
| dc.subject | bounded cognitive resources | sv |
| dc.subject | cognitive modeling | sv |
| dc.title | Reasoning with Bounded Cognitive Resources | sv |
| dc.type | Text | |
| dc.type.svep | Doctoral thesis | |
| dc.gup.mail | abdulrahim@nizamani.net | sv |
| dc.type.degree | Doctor of Philosophy | sv |
| dc.gup.origin | Göteborgs universitet. IT-fakulteten | sv |
| dc.gup.department | Department of Applied Information Technology ; Institutionen för tillämpad informationsteknologi | sv |
| dc.gup.defenceplace | Måndagen den 26 oktober 2015, kl. 13.15, Sal Torg Grön, Hus Patricia, Forskningsgången 6, Göteborg | sv |
| dc.gup.defencedate | 2015-10-26 | |
| dc.gup.dissdb-fakultet | ITF | |
