Semi-Lexical Languages -- A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision

Human vision is able to compensate imperfections in sensory inputs from the real world by reasoning based on prior knowledge about the world. Machine learning has had a significant impact on computer vision due to its inherent ability in handling imprecision, but the absence of a reasoning framework...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2020-12
Main Authors: Gangopadhyay, Briti, Hazra, Somnath, Dasgupta, Pallab
Format: Article
Language:English
Subjects:
Computer vision
Deduction
Languages
Machine learning
Reasoning
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page
container_issue
container_start_page
container_title arXiv.org
container_volume
creator Gangopadhyay, Briti
Hazra, Somnath
Dasgupta, Pallab
description Human vision is able to compensate imperfections in sensory inputs from the real world by reasoning based on prior knowledge about the world. Machine learning has had a significant impact on computer vision due to its inherent ability in handling imprecision, but the absence of a reasoning framework based on domain knowledge limits its ability to interpret complex scenarios. We propose semi-lexical languages as a formal basis for dealing with imperfect tokens provided by the real world. The power of machine learning is used to map the imperfect tokens into the alphabet of the language and symbolic reasoning is used to determine the membership of input in the language. Semi-lexical languages also have bindings that prevent the variations in which a semi-lexical token is interpreted in different parts of the input, thereby leaning on deduction to enhance the quality of recognition of individual tokens. We present case studies that demonstrate the advantage of using such a framework over pure machine learning and pure symbolic methods.
format article
fullrecord <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2395434448</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2395434448</sourcerecordid><originalsourceid>FETCH-proquest_journals_23954344483</originalsourceid><addsrcrecordid>eNqNysFqwkAQxvFFECrVdxjoeSHd3bT2qKJ4SC9qe5VpOklHktm4Y0DfXit9gJ4--H3_gRk575_tNDj3YCaqhyzL3Mury3M_Mt2WWrYFnbnEBgqUuseaFKyFGaxiam86R2WFKib4EK4uLDW8Y_nDQlAQJvkFlG_YXtqv2HAJG0KNd2aBRWy7_kQJPlk5ytgMK2yUJn_7aJ5Wy91ibbsUjz3paX-IfZLbtXf-LQ8-hDD1_6uuzpVJYQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2395434448</pqid></control><display><type>article</type><title>Semi-Lexical Languages -- A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision</title><source>Publicly Available Content Database</source><creator>Gangopadhyay, Briti ; Hazra, Somnath ; Dasgupta, Pallab</creator><creatorcontrib>Gangopadhyay, Briti ; Hazra, Somnath ; Dasgupta, Pallab</creatorcontrib><description>Human vision is able to compensate imperfections in sensory inputs from the real world by reasoning based on prior knowledge about the world. Machine learning has had a significant impact on computer vision due to its inherent ability in handling imprecision, but the absence of a reasoning framework based on domain knowledge limits its ability to interpret complex scenarios. We propose semi-lexical languages as a formal basis for dealing with imperfect tokens provided by the real world. The power of machine learning is used to map the imperfect tokens into the alphabet of the language and symbolic reasoning is used to determine the membership of input in the language. Semi-lexical languages also have bindings that prevent the variations in which a semi-lexical token is interpreted in different parts of the input, thereby leaning on deduction to enhance the quality of recognition of individual tokens. We present case studies that demonstrate the advantage of using such a framework over pure machine learning and pure symbolic methods.</description><identifier>EISSN: 2331-8422</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Computer vision ; Deduction ; Languages ; Machine learning ; Reasoning</subject><ispartof>arXiv.org, 2020-12</ispartof><rights>2020. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.proquest.com/docview/2395434448?pq-origsite=primo$$EHTML$$P50$$Gproquest$$Hfree_for_read</linktohtml></links><search><creatorcontrib>Gangopadhyay, Briti</creatorcontrib><creatorcontrib>Hazra, Somnath</creatorcontrib><creatorcontrib>Dasgupta, Pallab</creatorcontrib><title>Semi-Lexical Languages -- A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision</title><title>arXiv.org</title><description>Human vision is able to compensate imperfections in sensory inputs from the real world by reasoning based on prior knowledge about the world. Machine learning has had a significant impact on computer vision due to its inherent ability in handling imprecision, but the absence of a reasoning framework based on domain knowledge limits its ability to interpret complex scenarios. We propose semi-lexical languages as a formal basis for dealing with imperfect tokens provided by the real world. The power of machine learning is used to map the imperfect tokens into the alphabet of the language and symbolic reasoning is used to determine the membership of input in the language. Semi-lexical languages also have bindings that prevent the variations in which a semi-lexical token is interpreted in different parts of the input, thereby leaning on deduction to enhance the quality of recognition of individual tokens. We present case studies that demonstrate the advantage of using such a framework over pure machine learning and pure symbolic methods.</description><subject>Computer vision</subject><subject>Deduction</subject><subject>Languages</subject><subject>Machine learning</subject><subject>Reasoning</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2020</creationdate><recordtype>article</recordtype><sourceid>PIMPY</sourceid><recordid>eNqNysFqwkAQxvFFECrVdxjoeSHd3bT2qKJ4SC9qe5VpOklHktm4Y0DfXit9gJ4--H3_gRk575_tNDj3YCaqhyzL3Mury3M_Mt2WWrYFnbnEBgqUuseaFKyFGaxiam86R2WFKib4EK4uLDW8Y_nDQlAQJvkFlG_YXtqv2HAJG0KNd2aBRWy7_kQJPlk5ytgMK2yUJn_7aJ5Wy91ibbsUjz3paX-IfZLbtXf-LQ8-hDD1_6uuzpVJYQ</recordid><startdate>20201217</startdate><enddate>20201217</enddate><creator>Gangopadhyay, Briti</creator><creator>Hazra, Somnath</creator><creator>Dasgupta, Pallab</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PHGZM</scope><scope>PHGZT</scope><scope>PIMPY</scope><scope>PKEHL</scope><scope>PQEST</scope><scope>PQGLB</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>20201217</creationdate><title>Semi-Lexical Languages -- A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision</title><author>Gangopadhyay, Briti ; Hazra, Somnath ; Dasgupta, Pallab</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_journals_23954344483</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2020</creationdate><topic>Computer vision</topic><topic>Deduction</topic><topic>Languages</topic><topic>Machine learning</topic><topic>Reasoning</topic><toplevel>online_resources</toplevel><creatorcontrib>Gangopadhyay, Briti</creatorcontrib><creatorcontrib>Hazra, Somnath</creatorcontrib><creatorcontrib>Dasgupta, Pallab</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>ProQuest Central (New)</collection><collection>ProQuest One Academic (New)</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Middle East (New)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Applied &amp; Life Sciences</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering collection</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Gangopadhyay, Briti</au><au>Hazra, Somnath</au><au>Dasgupta, Pallab</au><format>book</format><genre>document</genre><ristype>GEN</ristype><atitle>Semi-Lexical Languages -- A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision</atitle><jtitle>arXiv.org</jtitle><date>2020-12-17</date><risdate>2020</risdate><eissn>2331-8422</eissn><abstract>Human vision is able to compensate imperfections in sensory inputs from the real world by reasoning based on prior knowledge about the world. Machine learning has had a significant impact on computer vision due to its inherent ability in handling imprecision, but the absence of a reasoning framework based on domain knowledge limits its ability to interpret complex scenarios. We propose semi-lexical languages as a formal basis for dealing with imperfect tokens provided by the real world. The power of machine learning is used to map the imperfect tokens into the alphabet of the language and symbolic reasoning is used to determine the membership of input in the language. Semi-lexical languages also have bindings that prevent the variations in which a semi-lexical token is interpreted in different parts of the input, thereby leaning on deduction to enhance the quality of recognition of individual tokens. We present case studies that demonstrate the advantage of using such a framework over pure machine learning and pure symbolic methods.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2020-12
issn 2331-8422
language eng
recordid cdi_proquest_journals_2395434448
source Publicly Available Content Database
subjects Computer vision
Deduction
Languages
Machine learning
Reasoning
title Semi-Lexical Languages -- A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-03-06T21%3A31%3A48IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=document&rft.atitle=Semi-Lexical%20Languages%20--%20A%20Formal%20Basis%20for%20Unifying%20Machine%20Learning%20and%20Symbolic%20Reasoning%20in%20Computer%20Vision&rft.jtitle=arXiv.org&rft.au=Gangopadhyay,%20Briti&rft.date=2020-12-17&rft.eissn=2331-8422&rft_id=info:doi/&rft_dat=%3Cproquest%3E2395434448%3C/proquest%3E%3Cgrp_id%3Ecdi_FETCH-proquest_journals_23954344483%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=2395434448&rft_id=info:pmid/&rfr_iscdi=true