{"id":"https://openalex.org/W4385749697","doi":"https://doi.org/10.48550/arxiv.2308.04445","title":"Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc","display_name":"Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc","publication_year":2023,"publication_date":"2023-07-31","ids":{"openalex":"https://openalex.org/W4385749697","doi":"https://doi.org/10.48550/arxiv.2308.04445"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2308.04445","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2308.04445","pdf_url":"https://arxiv.org/pdf/2308.04445","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2308.04445","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023283817","display_name":"Douglas B. Lenat","orcid":"https://orcid.org/0000-0001-9637-0046","observed_orcids":["https://orcid.org/0000-0001-9637-0046"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lenat, Doug","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5110126701","display_name":"Gary Marcus","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marcus, Gary","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":24,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7720000147819519,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7720000147819519,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.1298999935388565,"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/T13904","display_name":"Artificial Intelligence Applications","score":0.02630000002682209,"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/trustworthy-ai","display_name":"trustworthy AI","score":0.7269999980926514},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.9279999732971191},{"id":"https://openalex.org/keywords/cyc","display_name":"Cyc","score":0.8650000095367432},{"id":"https://openalex.org/keywords/symbolic-ai","display_name":"symbolic AI","score":0.6179999709129333},{"id":"https://openalex.org/keywords/hybrid-ai","display_name":"hybrid AI","score":0.597000002861023},{"id":"https://openalex.org/keywords/logical-reasoning","display_name":"logical reasoning","score":0.5519999861717224},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"higher-order logic","score":0.8339999914169312},{"id":"https://openalex.org/keywords/knowledge-graphs","display_name":"knowledge graphs","score":0.7519999742507935},{"id":"https://openalex.org/keywords/interpretability","display_name":"interpretability","score":0.6639999747276306},{"id":"https://openalex.org/keywords/knowledge-provenance","display_name":"knowledge provenance","score":0.6330000162124634},{"id":"https://openalex.org/keywords/artificial-general-intelligence","display_name":"artificial general intelligence","score":0.4519999921321869}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6831552982330322},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.5942325592041016},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5421967506408691},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.5360861420631409},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5055806636810303},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.42637547850608826},{"id":"https://openalex.org/C89246107","wikidata":"https://www.wikidata.org/wiki/Q1398821","display_name":"Rule of thumb","level":2,"score":0.41520610451698303},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3825125992298126},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.32208460569381714},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.26247042417526245},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25262075662612915},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.17098966240882874},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.1348947286605835},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2308.04445","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2308.04445","pdf_url":"https://arxiv.org/pdf/2308.04445","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2308.04445","doi":"https://doi.org/10.48550/arxiv.2308.04445","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2308.04445","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2308.04445","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2308.04445","pdf_url":"https://arxiv.org/pdf/2308.04445","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385749697.pdf","grobid_xml":"https://content.openalex.org/works/W4385749697.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4415070699","https://openalex.org/W7106010170","https://openalex.org/W7166445317","https://openalex.org/W7162550073","https://openalex.org/W6941358632","https://openalex.org/W7158260168","https://openalex.org/W7219979491","https://openalex.org/W7119386060","https://openalex.org/W4412044988","https://openalex.org/W4408145732"],"abstract_inverted_index":{"Generative":[0],"AI,":[1,8,66],"the":[2,80,105,125,138,141,155,164,174,237,239],"most":[3],"popular":[4],"current":[5,84],"approach":[6,71,241],"to":[7,18,43,53,72,102,161,210,217,235,251],"consists":[9],"of":[10,39,79,91,96,108,129,140,166],"large":[11],"language":[12,157],"models":[13],"(LLMs)":[14],"that":[15,21,110,212,228,253],"are":[16,22,31,35],"trained":[17],"produce":[19],"outputs":[20],"plausible,":[23],"but":[24,191],"not":[25],"necessarily":[26],"correct.":[27],"Although":[28],"their":[29,50],"abilities":[30],"often":[32],"uncanny,":[33],"they":[34],"lacking":[36],"in":[37,171,219,223],"aspects":[38],"reasoning,":[40],"leading":[41],"LLMs":[42],"be":[44,54,119,145],"less":[45,193],"than":[46],"completely":[47],"trustworthy.":[48],"Furthermore,":[49],"results":[51],"tend":[52],"both":[55,120],"unpredictable":[56],"and":[57,67,94,122,134,147,214,242,246],"uninterpretable.":[58],"We":[59,200,226],"lay":[60,247],"out":[61,248],"16":[62],"desiderata":[63],"for":[64,135,188],"future":[65],"discuss":[68],"an":[69,99],"alternative":[70],"AI":[73,86,184,204,232],"which":[74],"could":[75],"theoretically":[76],"address":[77],"many":[78],"limitations":[81],"associated":[82],"with":[83,88],"approaches:":[85],"educated":[87],"curated":[89],"pieces":[90],"explicit":[92],"knowledge":[93,142,198],"rules":[95],"thumb,":[97],"enabling":[98],"inference":[100,175],"engine":[101,176],"automatically":[103],"deduce":[104],"logical":[106,156],"entailments":[107],"all":[109],"knowledge.":[111],"Even":[112],"long":[113],"arguments":[114],"produced":[115],"this":[116],"way":[117],"can":[118,144,169],"trustworthy":[121,230],"interpretable,":[123],"since":[124],"full":[126],"step-by-step":[127],"line":[128],"reasoning":[130],"is":[131,150,158,215],"always":[132],"available,":[133],"each":[136],"step":[137],"provenance":[139],"used":[143],"documented":[146],"audited.":[148],"There":[149],"however":[151],"a":[152,249],"catch:":[153],"if":[154],"expressive":[159,194],"enough":[160],"fully":[162],"represent":[163],"meaning":[165],"anything":[167],"we":[168],"say":[170],"English,":[172],"then":[173],"runs":[177],"much":[178,192],"too":[179],"slowly.":[180],"That's":[181],"why":[182],"symbolic":[183],"systems":[185],"typically":[186],"settle":[187],"some":[189],"fast":[190],"logic,":[195],"such":[196],"as":[197],"graphs.":[199],"describe":[201],"how":[202],"one":[203],"system,":[205],"Cyc,":[206],"has":[207],"developed":[208],"ways":[209],"overcome":[211],"tradeoff":[213],"able":[216],"reason":[218],"higher":[220],"order":[221],"logic":[222],"real":[224],"time.":[225],"suggest":[227],"any":[229],"general":[231],"will":[233],"need":[234],"hybridize":[236],"approaches,":[238],"LLM":[240],"more":[243],"formal":[244],"approach,":[245],"path":[250],"realizing":[252],"dream.":[254]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":12},{"year":2023,"cited_by_count":2}],"updated_date":"2026-10-30T12:39:25.321706","created_date":"2023-08-11T00:00:00"}