[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-85126-en":3,"doc-seo-85126-105":29,"detail-sidebar-cat-0-en-105":91},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":20,"is_downloadable":20,"audit_status":20,"page_count":21,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":13,"seo_description":14,"update_tm":27,"read_time":28},85126,2336464648746,"Skyler","https://ap-avatar.wpscdn.com/davatar_276721f389ce27ea32af1340a28f341c",8,"Research & Report","AGM-like Paraconsistent Partial Meet Abductive Expansion Operation","AGM-like Paraconsistent Partial Meet Abductive Expansion Operation focuses on constructing a new paraconsistent abductive expansion operation that can absorb contradictory explanatory hypotheses without trivialization or an absurd epistemic state. Building on Maurice Pagnucco’s original AGM-like abductive expansion and on a taxonomy for abductive reasoning components, the paper uses postulates and a transitively relational partial-meet construction. Its development relies on the paraconsistent logic RCbr, supporting self-extensionality/replacement. It also positions the work as the first AGM-literature instance, while deferring a treatment of paraconsistent negation and consistency operators to a later paper.","arXiv :2607 .09729v 1 [ cs .AI] 30 Jun 2026  \nAGM-like Paraconsistent Partial Meet Abductive Expansion Operation  \nUlisses Franceschi Eliano∗  \nInstitute of Philosophy and the Humanities (IFCH) and Centre for Logic, Epistemology and The History of Science (CLE), University of Campinas (UNICAMP) [u225017@dac. unicamp. br](u225017@dac. unicamp. br)  \nJuly 14, 2026  \nAbstract  \nIn his 1996 doctoral thesis [19], Maurice Pagnucco created the first AGM-like abductive expansion operation. Taking his operation as a basis, as well as a taxonomy—inspired by Atocha Aliseda [1]—responsible for highlighting and formalizing the main components of abductive reasoning, the main aim of this paper is to present a new paraconsistent AGM-like abductive expansion operation—capable of assimilating contradictory explanatory hypotheses without trivialization and the consequent absurd epistemic state—, with its postulates and its transitively relational partial meet construction. To a large extent, the formal development presented in this paper was only made possible by the recent creation of the paraconsistent logic RCbr [9], an LFI (Logics of Formal Inconsistencies) that establishes properties especially relevant to belief revision contexts, in particular, the ability to be self-extensional—i.e., to satisfy the replacement property. This is the first of two papers: the paraconsistent abductive expansion operation announced here—which is part of a new system called AGMpabd—despite bringing many interesting features, does not assign any relevant epistemic role to the paraconsistent operators of negation ¬ and consistency ◦ . Only in a second paper will an analogous paraconsistent abductive expansion operation—which is part of another new system, AGM◦abd—be enhanced in this direction. Nevertheless, to the best of my knowledge, the operation developed in this paper is the first of its kind in the AGM literature.  \n∗ The author is a PhD student under the supervision of Marcelo Esteban Coniglio and supported by FAPESP (Funda¸c˜ao de Amparo `a Pesquisa do Estado de S˜ao Paulo)– process 2024/22555-9 .  \n1 Introduction  \nCharles Sanders Peirce is considered the founder of abduction as a third typeof reasoning, independent of deduction and induction. Abduction is the reasoning responsible for formulating and selecting hypotheses capable of explaining, albeit rudimentarily and conjecturally, intriguing and surprising facts. Or, according to Fann, “[...] Peirce’s theory of abduction is concerned with the reasoning which starts from data and moves towards hypotheses”[12, p.5] . Peirce’s theory of abduction is philosophically rich and is related to many other concepts in his philosophy. For the purposes of this article, however, I would like to highlight four important aspects of abduction: (i) the creative aspect, (ii) the logical-inferential aspect, (iii) its distinction from the other two types of reasoning, and (iv) the selective aspect. The creative aspect of abduction (i) manifests itself when an inquiry agent, faced with a surprising fact, originally conceives hypotheses to explain it, as an instinctive act 1 , and, thus, expands its initial informational repertoire with new conceptions. In Peirce’s words,“Abduction is originary in respect to being the only kind of argument which starts a new idea”(CP 2 .96)2 . The creative originality of this type of reasoning places it at the center of the debate about the possibility of a logic of discovery, in Hans Reichenbach’s well-known terms3 , something that goes beyond the scope of this article. Despite being creative, abduction has a logical-inferential aspect (ii), which seems paradoxical4 . The Peircean conception of inference5 , however, bears little or no resemblance to the notion of logical consequence, syntactical, or semantic, which has become the canonical standard in the orthodoxy of contemporary logic. It is not possible to address Peirce’s inferentialism here, however, it is my understanding that an i","cbCaivrXiNqIyNqv","https://ap.wps.com/l/cbCaivrXiNqIyNqv","pdf",788690,1,40,"English","en",105,"# Abstract\n# Introduction","[{\"question\":\"What problem does the proposed AGM-like paraconsistent abductive expansion operation address?\",\"answer\":\"It aims to incorporate contradictory explanatory hypotheses while avoiding trivialization and the resulting absurd epistemic state.\"},{\"question\":\"Which earlier work is used as the starting point for this paper’s construction?\",\"answer\":\"The paper builds on Maurice Pagnucco’s 1996 doctoral thesis that introduced the first AGM-like abductive expansion operation.\"},{\"question\":\"Why is the paraconsistent logic RCbr important for the formal development?\",\"answer\":\"RCbr enables key properties relevant to belief revision contexts, especially self-extensionality via the replacement property, which supports the construction used in the paper.\"}]",1784201262,101,{"code":4,"msg":30,"data":31},"ok",{"site_id":24,"language":23,"slug":32,"title":13,"keywords":33,"description":14,"schema_data":34,"social_meta":86,"head_meta":88,"extra_data":90,"updated_unix":27},"agm-like-paraconsistent-partial-meet-abductive-expansion-operation","",{"@graph":35,"@context":85},[36,53,68],{"@type":37,"itemListElement":38},"BreadcrumbList",[39,43,47,50],{"item":40,"name":41,"@type":42,"position":20},"https://docshare.wps.com","Home","ListItem",{"item":44,"name":45,"@type":42,"position":46},"https://docshare.wps.com/document/","Document",2,{"item":48,"name":12,"@type":42,"position":49},"https://docshare.wps.com/document/research-report/",3,{"item":51,"name":13,"@type":42,"position":52},"https://docshare.wps.com/document/agm-like-paraconsistent-partial-meet-abductive-expansion-operation/85126/",4,{"url":51,"name":13,"@type":54,"author":55,"headline":13,"publisher":57,"fileFormat":60,"inLanguage":23,"description":14,"dateModified":61,"datePublished":62,"encodingFormat":60,"isAccessibleForFree":63,"interactionStatistic":64},"DigitalDocument",{"name":9,"@type":56},"Person",{"url":40,"name":58,"@type":59},"DocShare","Organization","application/pdf","2026-07-17","2026-07-16",true,{"@type":65,"interactionType":66,"userInteractionCount":20},"InteractionCounter",{"@type":67},"ViewAction",{"@type":69,"mainEntity":70},"FAQPage",[71,77,81],{"name":72,"@type":73,"acceptedAnswer":74},"What problem does the proposed AGM-like paraconsistent abductive expansion operation address?","Question",{"text":75,"@type":76},"It aims to incorporate contradictory explanatory hypotheses while avoiding trivialization and the resulting absurd epistemic state.","Answer",{"name":78,"@type":73,"acceptedAnswer":79},"Which earlier work is used as the starting point for this paper’s construction?",{"text":80,"@type":76},"The paper builds on Maurice Pagnucco’s 1996 doctoral thesis that introduced the first AGM-like abductive expansion operation.",{"name":82,"@type":73,"acceptedAnswer":83},"Why is the paraconsistent logic RCbr important for the formal development?",{"text":84,"@type":76},"RCbr enables key properties relevant to belief revision contexts, especially self-extensionality via the replacement property, which supports the construction used in the paper.","https://schema.org",{"og:url":51,"og:type":87,"og:title":13,"og:site_name":58,"og:description":14},"article",{"robots":89,"canonical":51},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":92},[93,97,101,105,110,115,119,122,127,130,134],{"id":20,"doc_module":4,"doc_module_name":45,"category_name":94,"show_sort_weight":95,"slug":96},"Story & Novel",90,"story-novel",{"id":46,"doc_module":4,"doc_module_name":45,"category_name":98,"show_sort_weight":99,"slug":100},"Literature",80,"literature",{"id":52,"doc_module":4,"doc_module_name":45,"category_name":102,"show_sort_weight":103,"slug":104},"Exam",70,"exam",{"id":106,"doc_module":4,"doc_module_name":45,"category_name":107,"show_sort_weight":108,"slug":109},5,"Comic",60,"comic",{"id":111,"doc_module":4,"doc_module_name":45,"category_name":112,"show_sort_weight":113,"slug":114},6,"Technology",50,"technology",{"id":116,"doc_module":4,"doc_module_name":45,"category_name":117,"show_sort_weight":21,"slug":118},7,"Healthcare","healthcare",{"id":11,"doc_module":4,"doc_module_name":45,"category_name":12,"show_sort_weight":120,"slug":121},30,"research-report",{"id":123,"doc_module":4,"doc_module_name":45,"category_name":124,"show_sort_weight":125,"slug":126},9,"Religion & Spirituality",20,"religion-spirituality",{"id":125,"doc_module":4,"doc_module_name":45,"category_name":128,"show_sort_weight":125,"slug":129},"World Cup","world-cup",{"id":131,"doc_module":4,"doc_module_name":45,"category_name":132,"show_sort_weight":131,"slug":133},10,"Lifestyle","lifestyle",{"id":135,"doc_module":4,"doc_module_name":45,"category_name":136,"show_sort_weight":106,"slug":137},19,"General","general"]