GUPEA >
IT Faculty / IT-fakulteten >
Department of Applied Information Technology / Institutionen för tillämpad informationsteknologi >
Doctoral Theses / Doktorsavhandlingar Institutionen för tillämpad informationsteknologi >

Reasoning with Bounded Cognitive Resources


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/40579

Files in This Item:

File Description SizeFormat
gupea_2077_40579_3.pdfSpikblad34KbAdobe PDF
View/Open
gupea_2077_40579_5.pdfThesis Frame458KbAdobe PDF
View/Open
Title: Reasoning with Bounded Cognitive Resources
Authors: Nizamani, Abdul Rahim
E-mail: abdulrahim@nizamani.net
Issue Date: 5-Oct-2015
University: Göteborgs universitet. IT-fakulteten
Institution: Department of Applied Information Technology ; Institutionen för tillämpad informationsteknologi
Parts of work: 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.
VIEW ARTICLE


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.
VIEW ARTICLE


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.
VIEW ARTICLE


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.
VIEW ARTICLE


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.
VIEW ARTICLE


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.
VIEW ARTICLE


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.
VIEW ARTICLE

Date of Defence: 2015-10-26
Disputation: Måndagen den 26 oktober 2015, kl. 13.15, Sal Torg Grön, Hus Patricia, Forskningsgången 6, Göteborg
Degree: Doctor of Philosophy
Publication type: Doctoral thesis
Keywords: Artificial general intelligence
logical reasoning
inductive learning
proof systems
bounded cognitive resources
cognitive modeling
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... more
ISBN: 978-91-982069-8-2
URI: http://hdl.handle.net/2077/40579
Appears in Collections:Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet
Doctoral Theses / Doktorsavhandlingar Institutionen för tillämpad informationsteknologi

 

 

© Göteborgs universitet 2011