Vi studerar peer-to-peer ðP2P-dataintegration, där varje peer-modellerar ett autonomt system som exporterar data i form av sin egen schema, och datainteroperation uppnås genom kartläggningar bland peer-scheman, snarare än genom ett unikt globalt schema. Vi föreslår en multimodal epistemisk logisk formalisering baserad på idén att varje kamrat uppfattas som ett rationellt medel som utbyter kunskap/tro med andra kamrater, vilket fint modellerar systemets modulära struktur. Vi tar sedan upp frågan om att hantera eventuella inkonsekvenser, och skiljer mellan två typer av inkonsekvenser, som kallas lokala respektive P2P. Vi definierar en icke-monotonisk utvidgning av vår logik som kan resonera om uppfattningar av kamrater under både lokal och P2P inkonsekvens tolerans. Tolerans för lokal inkonsekvens innebär i huvudsak att förekomsten av inkonsekvens inom en kamrat inte påverkar konsekvensen i hela systemet. Tolerans till P2P inkonsekvens innebär att kunna lösa inkonsekvenser som uppstår i samspelet mellan kamrater. Vi studerar frågesvar i den nya icke-monotoniska logiken, med det huvudsakliga målet att fastställa dess decledability och dess computational komplexitet. Vi visar faktiskt att under rimliga antaganden om peer schema, frågesvar är decedable, och är coNP-fullständig med avseende på data komplexitet, dvs. storleken på de data som lagras hos peers. Var och en av dem ska uppfylla kraven i bilaga I till förordning (EU) nr 952/2013.
En förlängning av den epistemiska teorin som säkerställer lokal inkonsekvenstolerans har presenterats i REF.
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach
{'venue': 'DBPL', 'journal': None, 'mag_field_of_study': ['Computer Science']}