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.contributorHendler, James A.
dc.contributorVarela, Carlos A.
dc.contributor.authorWang, Max
dc.date.accessioned2021-11-03T09:09:02Z
dc.date.available2021-11-03T09:09:02Z
dc.date.created2019-07-12T15:35:49Z
dc.date.issued2019-05
dc.identifier.urihttps://hdl.handle.net/20.500.13015/2380
dc.descriptionMay 2019
dc.descriptionSchool of Science
dc.description.abstractWhile it is plausible to hold that artificial intelligence, AI, has made steady progress since its modern inception in 1956, it seems that over the last 10 years, AI has innovated at a particularly rapid pace. One longstanding part of AI is Question Answering (QA), a capability for intelligent computer systems that consists in their ability to accurately answer textual questions regarding certain content. But recently, as part of the explosive innovation to which I refer, visual question answering (VQA) was established for computer systems, which enables them to answer questions regarding visual information, a capacity that promises to be useful for AI needed for example in autonomous vehicles, many of which must deal with visual scenes. But as impressive as today's VQA technology is, there is much room for enhancement over and above today's state of the art. In the context of a long-term vision (shared herein) for such enhancement, this thesis outlines work that focuses on a particular enhancement that is part of this vision: viz.,~using numerical quantifiers in conjunction with automated-theorem-proving in order to secure a more sophisticated form of VQA. This particular enhancement, which is in large measure now implemented, specifically enhances VQA by allowing quantificationally complex questions to be answered, and by enabling an AI to justify these answers with supporting proofs. As such, the thesis marks progress on what can be called `VQ+AJ,' where the superscript indicates that the questions can be more expressive and complicated because they permit use of quantifiers far beyond those seen in standard VQA, and the `J' indicates that justifications of returned answers are provided as well.
dc.language.isoENG
dc.publisherRensselaer Polytechnic Institute, Troy, NY
dc.relation.ispartofRensselaer Theses and Dissertations Online Collection
dc.subjectComputer science
dc.titleEnhanced VQA : numerical quantification
dc.typeElectronic thesis
dc.typeThesis
dc.digitool.pid179606
dc.digitool.pid179607
dc.digitool.pid179608
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.degreeMS
dc.relation.departmentDept. of Computer Science


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record