Show simple item record

dc.rights.licenseRestricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Libraries.
dc.contributorBringsjord, Selmer
dc.contributorNirenburg, Sergei
dc.contributorFox, Peter A.
dc.contributorSzékely, Gergely
dc.contributor.authorSen, Atriya
dc.date.accessioned2021-11-03T08:56:15Z
dc.date.available2021-11-03T08:56:15Z
dc.date.created2018-02-21T14:01:12Z
dc.date.issued2017-12
dc.identifier.urihttps://hdl.handle.net/20.500.13015/2127
dc.descriptionDecember 2017
dc.descriptionSchool of Science
dc.description.abstractI introduce, defend, and demonstrate, a new paradigm for artificial discovery in science, called 'Computational axiomatic science' (CAS). This doctoral dissertation has two parts. In the first part, I discuss the philosophical roots of the paradigm, and its method of representation of scientific theories. I then explicate its bearing on standard issues in the philosophy of science, such as scientific explanation, prediction, and experimentation, and defend it against objections. In the second part, I demonstrate CAS for artificial (proof) verification and discovery in the sciences of physics, chemistry, and biology. I also demonstrate its usefulness in the sphere of educational technology. Finally, I discuss the relationship, in the context of CAS, between science and metaphysics.
dc.language.isoENG
dc.publisherRensselaer Polytechnic Institute, Troy, NY
dc.relation.ispartofRensselaer Theses and Dissertations Online Collection
dc.subjectComputer science
dc.titleComputational axiomatic science
dc.typeElectronic thesis
dc.typeThesis
dc.digitool.pid178795
dc.digitool.pid178796
dc.digitool.pid178797
dc.rights.holderThis electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
dc.description.degreePhD
dc.relation.departmentDept. of Computer Science


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record