{"id":"https://openalex.org/W4327667427","doi":"https://doi.org/10.48550/arxiv.2303.08264","title":"Neuro-symbolic Commonsense Social Reasoning","display_name":"Neuro-symbolic Commonsense Social Reasoning","publication_year":2023,"publication_date":"2023-03-14","ids":{"openalex":"https://openalex.org/W4327667427","doi":"https://doi.org/10.48550/arxiv.2303.08264"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2303.08264","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2303.08264","pdf_url":"https://arxiv.org/pdf/2303.08264","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2303.08264","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049886297","display_name":"D.I. Chanin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chanin, David","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5019854432","display_name":"Anthony Hunter","orcid":"https://orcid.org/0000-0001-5602-7446"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hunter, Anthony","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13083","display_name":"Advanced Text Analysis Techniques","score":0.9799000024795532,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6614990830421448},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.6301578879356384},{"id":"https://openalex.org/keywords/rule-of-thumb","display_name":"Rule of thumb","score":0.61395263671875},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5620164275169373},{"id":"https://openalex.org/keywords/commonsense-reasoning","display_name":"Commonsense reasoning","score":0.5328660011291504},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5245285630226135},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.5224627256393433},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.471646249294281},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4636102616786957},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.4362010061740875},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.4324153959751129},{"id":"https://openalex.org/keywords/meaning","display_name":"Meaning (existential)","score":0.4309823215007782},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.4263339638710022},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.4156005084514618},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.40215224027633667},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3701600432395935},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28374868631362915},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.21199744939804077},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.14909672737121582}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6614990830421448},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.6301578879356384},{"id":"https://openalex.org/C89246107","wikidata":"https://www.wikidata.org/wiki/Q1398821","display_name":"Rule of thumb","level":2,"score":0.61395263671875},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5620164275169373},{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.5328660011291504},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5245285630226135},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.5224627256393433},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.471646249294281},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4636102616786957},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.4362010061740875},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.4324153959751129},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.4309823215007782},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.4263339638710022},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.4156005084514618},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.40215224027633667},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3701600432395935},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28374868631362915},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.21199744939804077},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.14909672737121582},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2303.08264","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2303.08264","pdf_url":"https://arxiv.org/pdf/2303.08264","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"doi:10.48550/arxiv.2303.08264","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2303.08264","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2303.08264","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2303.08264","pdf_url":"https://arxiv.org/pdf/2303.08264","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"score":0.550000011920929,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4327667427.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2237849437","https://openalex.org/W2399486226","https://openalex.org/W4379933154","https://openalex.org/W2514923800","https://openalex.org/W4249464125","https://openalex.org/W2476182245","https://openalex.org/W80604035","https://openalex.org/W2186660012","https://openalex.org/W4385889764","https://openalex.org/W1660287273"],"abstract_inverted_index":{"Social":[0,37],"norms":[1],"underlie":[2],"all":[3],"human":[4],"social":[5,27,152],"interactions,":[6],"yet":[7],"formalizing":[8],"and":[9,41,82,103,114,126,142],"reasoning":[10,48,150],"with":[11,86,129],"them":[12,43],"remains":[13],"a":[14,22,52,73,80,99,130,144,155],"major":[15],"challenge":[16],"for":[17,25,106],"AI":[18],"systems.":[19],"We":[20,56,89],"present":[21],"novel":[23,100],"system":[24],"taking":[26],"rules":[28],"of":[29,76,95,112,136],"thumb":[30],"(ROTs)":[31],"in":[32,59,79,154],"natural":[33],"language":[34],"from":[35],"the":[36,77,84,96],"Chemistry":[38],"101":[39],"dataset":[40],"converting":[42],"to":[44,140],"first-order":[45,124],"logic":[46],"where":[47],"is":[49,72,120,127,139],"performed":[50],"using":[51],"neuro-symbolic":[53,131,145],"theorem":[54,132],"prover.":[55,133],"accomplish":[57],"this":[58,137],"several":[60],"steps.":[61],"First,":[62],"ROTs":[63],"are":[64],"converted":[65,122],"into":[66,123],"Abstract":[67],"Meaning":[68],"Representation":[69],"(AMR),":[70],"which":[71,147],"graphical":[74],"representation":[75],"concepts":[78],"sentence,":[81],"align":[83],"AMR":[85,97,116,119],"RoBERTa":[87],"embeddings.":[88],"then":[90,121],"generate":[91],"alternate":[92],"simplified":[93],"versions":[94],"via":[98],"algorithm,":[101],"recombining":[102],"merging":[104],"embeddings":[105],"added":[107],"robustness":[108],"against":[109],"different":[110],"wordings":[111],"text,":[113],"incorrect":[115],"parses.":[117],"The":[118,134],"logic,":[125],"queried":[128],"goal":[135],"paper":[138],"develop":[141],"evaluate":[143],"method":[146],"performs":[148],"explicit":[149],"about":[151],"situations":[153],"logical":[156],"form.":[157]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}