{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:L45RHWGTD5QNZESK452R4JFWWD","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"7bcff28f8051f981641a221a575ada4b1e64acfb9f704a2facef4ec1b67a93fc","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-23T12:11:15Z","title_canon_sha256":"5c938f0251766bd6ef07db790b637d36f96220496fbe1d869e532ab8726d54ee"},"schema_version":"1.0","source":{"id":"2506.18559","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.18559","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"arxiv_version","alias_value":"2506.18559v1","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.18559","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"pith_short_12","alias_value":"L45RHWGTD5QN","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"L45RHWGTD5QNZESK","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"L45RHWGT","created_at":"2026-07-05T11:25:52Z"}],"graph_snapshots":[{"event_id":"sha256:69534ed934869af6102b301e3242cd38b6acb011b5147096b77f2c8769eabdc3","target":"graph","created_at":"2026-07-05T11:25:52Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2506.18559/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models excel at generating fluent text but frequently struggle with structured reasoning involving temporal constraints, causal relationships, and probabilistic reasoning. To address these limitations, we propose Temporal Causal Probabilistic Description Logic (T-CPDL), an integrated framework that extends traditional Description Logic with temporal interval operators, explicit causal relationships, and probabilistic annotations. We present two distinct variants of T-CPDL: one capturing qualitative temporal relationships through Allen's interval algebra, and another variant enri","authors_text":"Hong Qing Yu","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-23T12:11:15Z","title":"T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.18559","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:533d4b219e5b44f18be802855455205602cc2d8b148a969ede3846824a680a0d","target":"record","created_at":"2026-07-05T11:25:52Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"7bcff28f8051f981641a221a575ada4b1e64acfb9f704a2facef4ec1b67a93fc","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-23T12:11:15Z","title_canon_sha256":"5c938f0251766bd6ef07db790b637d36f96220496fbe1d869e532ab8726d54ee"},"schema_version":"1.0","source":{"id":"2506.18559","kind":"arxiv","version":1}},"canonical_sha256":"5f3b13d8d31f60dc924ae7751e24b6b0d0a79b185dbbc591dafb8efa4a30307d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5f3b13d8d31f60dc924ae7751e24b6b0d0a79b185dbbc591dafb8efa4a30307d","first_computed_at":"2026-07-05T11:25:52.131829Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:25:52.131829Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PgjwKU/KeaBB0b09anV9rwi3TxjQXFLprkZTYtr089KHst4si+f2xSc4jpJtskS8c6C3m6P+a0rp8ffuca2nAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:25:52.132235Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.18559","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:533d4b219e5b44f18be802855455205602cc2d8b148a969ede3846824a680a0d","sha256:69534ed934869af6102b301e3242cd38b6acb011b5147096b77f2c8769eabdc3"],"state_sha256":"a844480b25fc591954747c1d1a6e9deaebd4d174802e0ef4b1dfb9bfce51c156"}