{"id":"https://openalex.org/W4410368867","doi":"https://doi.org/10.5753/rbie.2025.4500","title":"Avaliando a habilidade do ChatGPT de realizar provas de Dedu\u00e7\u00e3o Natural em L\u00f3gica Proposicional e L\u00f3gica de Predicados","display_name":"Avaliando a habilidade do ChatGPT de realizar provas de Dedu\u00e7\u00e3o Natural em L\u00f3gica Proposicional e L\u00f3gica de Predicados","publication_year":2025,"publication_date":"2025-05-02","ids":{"openalex":"https://openalex.org/W4410368867","doi":"https://doi.org/10.5753/rbie.2025.4500"},"language":"pt","primary_location":{"id":"doi:10.5753/rbie.2025.4500","is_oa":true,"landing_page_url":"https://doi.org/10.5753/rbie.2025.4500","pdf_url":"https://journals-sol.sbc.org.br/index.php/rbie/article/download/4500/3206","source":{"id":"https://openalex.org/S2764357793","display_name":"Revista Brasileira de Inform\u00e1tica na Educa\u00e7\u00e3o","issn_l":"1414-5685","issn":["1414-5685","2317-6121"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Revista Brasileira de Inform\u00e1tica na Educa\u00e7\u00e3o","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://journals-sol.sbc.org.br/index.php/rbie/article/download/4500/3206","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049946541","display_name":"Francisco Leonardo Batista Martins","orcid":null},"institutions":[{"id":"https://openalex.org/I243754102","display_name":"Universidade Federal do Cear\u00e1","ror":"https://ror.org/03srtnf24","country_code":"BR","type":"education","lineage":["https://openalex.org/I243754102"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Francisco Leonardo Batista Martins","raw_affiliation_strings":["Universidade Federal do Cear\u00e1"],"raw_orcid":"https://orcid.org/0009-0009-9174-6601","affiliations":[{"raw_affiliation_string":"Universidade Federal do Cear\u00e1","institution_ids":["https://openalex.org/I243754102"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101295617","display_name":"Augusto C\u00e9sar Ara\u00fajo de Oliveira","orcid":"https://orcid.org/0009-0005-3865-6210"},"institutions":[{"id":"https://openalex.org/I243754102","display_name":"Universidade Federal do Cear\u00e1","ror":"https://ror.org/03srtnf24","country_code":"BR","type":"education","lineage":["https://openalex.org/I243754102"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Augusto C\u00e9sar Ara\u00fajo de Oliveira","raw_affiliation_strings":["Universidade Federal do Cear\u00e1"],"raw_orcid":"https://orcid.org/0009-0005-3865-6210","affiliations":[{"raw_affiliation_string":"Universidade Federal do Cear\u00e1","institution_ids":["https://openalex.org/I243754102"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090466398","display_name":"Davi Romero de Vasconcelos","orcid":"https://orcid.org/0000-0002-4857-4156"},"institutions":[{"id":"https://openalex.org/I243754102","display_name":"Universidade Federal do Cear\u00e1","ror":"https://ror.org/03srtnf24","country_code":"BR","type":"education","lineage":["https://openalex.org/I243754102"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Davi Romero de Vasconcelos","raw_affiliation_strings":["Universidade Federal do Cear\u00e1"],"raw_orcid":"https://orcid.org/0000-0002-4857-4156","affiliations":[{"raw_affiliation_string":"Universidade Federal do Cear\u00e1","institution_ids":["https://openalex.org/I243754102"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012531149","display_name":"Maria Viviane de Menezes","orcid":"https://orcid.org/0000-0002-7096-4732"},"institutions":[{"id":"https://openalex.org/I243754102","display_name":"Universidade Federal do Cear\u00e1","ror":"https://ror.org/03srtnf24","country_code":"BR","type":"education","lineage":["https://openalex.org/I243754102"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Maria Viviane de Menezes","raw_affiliation_strings":["Universidade Federal do Cear\u00e1"],"raw_orcid":"https://orcid.org/0000-0002-7096-4732","affiliations":[{"raw_affiliation_string":"Universidade Federal do Cear\u00e1","institution_ids":["https://openalex.org/I243754102"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5049946541"],"corresponding_institution_ids":["https://openalex.org/I243754102"],"apc_list":null,"apc_paid":null,"fwci":3.8114,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.9297355,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"33","issue":null,"first_page":"244","last_page":"278"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9761999845504761,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9761999845504761,"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/art","display_name":"Art","score":0.3508973717689514},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.343777060508728}],"concepts":[{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.3508973717689514},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.343777060508728}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5753/rbie.2025.4500","is_oa":true,"landing_page_url":"https://doi.org/10.5753/rbie.2025.4500","pdf_url":"https://journals-sol.sbc.org.br/index.php/rbie/article/download/4500/3206","source":{"id":"https://openalex.org/S2764357793","display_name":"Revista Brasileira de Inform\u00e1tica na Educa\u00e7\u00e3o","issn_l":"1414-5685","issn":["1414-5685","2317-6121"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Revista Brasileira de Inform\u00e1tica na Educa\u00e7\u00e3o","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.5753/rbie.2025.4500","is_oa":true,"landing_page_url":"https://doi.org/10.5753/rbie.2025.4500","pdf_url":"https://journals-sol.sbc.org.br/index.php/rbie/article/download/4500/3206","source":{"id":"https://openalex.org/S2764357793","display_name":"Revista Brasileira de Inform\u00e1tica na Educa\u00e7\u00e3o","issn_l":"1414-5685","issn":["1414-5685","2317-6121"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Revista Brasileira de Inform\u00e1tica na Educa\u00e7\u00e3o","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410368867.pdf","grobid_xml":"https://content.openalex.org/works/W4410368867.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W1464569014","https://openalex.org/W2002964382","https://openalex.org/W2054320265","https://openalex.org/W2081010574","https://openalex.org/W2109912207","https://openalex.org/W2488488482","https://openalex.org/W2946559657","https://openalex.org/W2965373594","https://openalex.org/W3034999214","https://openalex.org/W3211838108","https://openalex.org/W4226243662","https://openalex.org/W4236571502","https://openalex.org/W4251228600","https://openalex.org/W4281489448","https://openalex.org/W4281491203","https://openalex.org/W4287329154","https://openalex.org/W4287671158","https://openalex.org/W4320165837","https://openalex.org/W4321499901","https://openalex.org/W4322718191","https://openalex.org/W4323655724","https://openalex.org/W4363671827","https://openalex.org/W4365600727","https://openalex.org/W4378510422","https://openalex.org/W4382498654","https://openalex.org/W4385245566","https://openalex.org/W4385571318","https://openalex.org/W4389158536","https://openalex.org/W4391139169","https://openalex.org/W6678087030","https://openalex.org/W6778883912","https://openalex.org/W6810081322","https://openalex.org/W6847076894"],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2899084033","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W1531601525","https://openalex.org/W4391375266"],"abstract_inverted_index":{"Com":[0],"a":[1,21,36,106],"recente":[2],"populariza\u00e7\u00e3o":[3],"dos":[4],"Grandes":[5],"Modelos":[6],"de":[7,19,29,38,44,59,72,80,82,112,114,122,132,134,136,146,159],"Linguagem,":[8],"como":[9,78,103],"o":[10,46,144],"ChatGPT,":[11],"muitos":[12],"estudos":[13],"t\u00eam":[14,35],"sido":[15],"conduzidos":[16,127],"no":[17,27],"sentido":[18],"explorar":[20],"utiliza\u00e7\u00e3o":[22],"destas":[23],"ferramentas":[24],"para":[25,155,167],"auxiliar":[26],"processo":[28,71,145],"ensino":[30],"e":[31,40,87,120,139],"aprendizagem.":[32],"Esses":[33],"sistemas":[34,67],"capacidade":[37,107],"compreender":[39],"processar":[41],"enormes":[42],"quantidades":[43],"dados,":[45],"que":[47,65,84,96,143],"lhes":[48],"permite,":[49],"por":[50,94,164],"exemplo,":[51,95],"fornecer":[52],"suporte":[53],"individualizado":[54],"aos":[55],"alunos":[56],"na":[57,110],"resolu\u00e7\u00e3o":[58,111],"exerc\u00edcios.":[60],"Entretanto,":[61],"\u00e9":[62],"fundamental":[63],"considerar":[64],"esses":[66],"geralmente":[68],"possuem":[69],"um":[70],"racioc\u00ednio":[73,98,147],"baseado":[74],"em":[75,89,92,117],"m\u00e9todos":[76],"estat\u00edsticos,":[77],"algoritmos":[79],"aprendizado":[81],"m\u00e1quina,":[83],"podem":[85],"alucinar":[86],"resultar":[88],"respostas":[90],"incorretas":[91],"tarefas,":[93],"exigem":[97],"l\u00f3gico.":[99],"Este":[100],"artigo":[101],"tem":[102],"objetivo":[104],"avaliar":[105],"do":[108],"ChatGPT":[109],"exerc\u00edcios":[113,135],"Dedu\u00e7\u00e3o":[115],"Natural":[116],"L\u00f3gica":[118,121],"Proposicional":[119],"Predicados.":[123],"Para":[124],"tanto,":[125],"foram":[126],"experimentos":[128],"utilizando":[129],"uma":[130],"base":[131],"dados":[133],"dedu\u00e7\u00e3o":[137],"natural":[138],"os":[140],"resultados":[141],"confirmam":[142],"da":[148],"ferramenta":[149],"ainda":[150],"n\u00e3o":[151],"se":[152],"mostra":[153],"adequado":[154],"solucionar":[156],"este":[157],"tipo":[158],"exerc\u00edcio,":[160],"tornando":[161],"essa":[162,168],"ferramenta,":[163],"ora,":[165],"inadequada":[166],"tarefa.":[169]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}