{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:WRFXNL5F2A6ULTVQS423XKEXK5","short_pith_number":"pith:WRFXNL5F","schema_version":"1.0","canonical_sha256":"b44b76afa5d03d45ceb09735bba897575336ea175fa71c7a50ef66dde4c650dc","source":{"kind":"arxiv","id":"2606.02167","version":1},"attestation_state":"computed","paper":{"title":"From Capability Models to Automated Planning: An AAS-Native Approach for Automatic PDDL Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alexander Fay, Felix Gehlhoff, Hamied Nabizada, Luis Miguel Vieira da Silva, Thomas Wirt","submitted_at":"2026-06-01T12:27:41Z","abstract_excerpt":"Engineers designing production systems need to verify that a given layout supports all required production sequences. Automated planning techniques can answer such questions, but formulating the required planning problems in the Planning Domain Definition Language (PDDL) demands specialized expertise that production engineers typically lack. Asset Administration Shells (AAS) have emerged as the standardized Digital Twin for industrial assets in Industry 4.0. We show that AAS capability models, structured using four established Industry 4.0 standards (VDI 3682 for process descriptions, IEC 6136"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.02167","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-01T12:27:41Z","cross_cats_sorted":[],"title_canon_sha256":"352a08b60a0aa4dfdbdf4253c1acde0cee2f80cd7b6d4244f22190af5354d6cf","abstract_canon_sha256":"d3971df7ca0f858a42959d5aa0ccb798728dfb5113989d349548f5d2cd9ece2b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-02T03:04:52.118633Z","signature_b64":"ooe2/tKLuvFo/1fGY2AB4lzOcvCjvRl1fhtcVgI8VaeZsjNuCKUTopsmQiTdyLZxRpcc3QYVuQJu3aAGOvKJCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b44b76afa5d03d45ceb09735bba897575336ea175fa71c7a50ef66dde4c650dc","last_reissued_at":"2026-06-02T03:04:52.118159Z","signature_status":"signed_v1","first_computed_at":"2026-06-02T03:04:52.118159Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"From Capability Models to Automated Planning: An AAS-Native Approach for Automatic PDDL Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alexander Fay, Felix Gehlhoff, Hamied Nabizada, Luis Miguel Vieira da Silva, Thomas Wirt","submitted_at":"2026-06-01T12:27:41Z","abstract_excerpt":"Engineers designing production systems need to verify that a given layout supports all required production sequences. Automated planning techniques can answer such questions, but formulating the required planning problems in the Planning Domain Definition Language (PDDL) demands specialized expertise that production engineers typically lack. Asset Administration Shells (AAS) have emerged as the standardized Digital Twin for industrial assets in Industry 4.0. We show that AAS capability models, structured using four established Industry 4.0 standards (VDI 3682 for process descriptions, IEC 6136"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.02167","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.02167/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.02167","created_at":"2026-06-02T03:04:52.118214+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.02167v1","created_at":"2026-06-02T03:04:52.118214+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.02167","created_at":"2026-06-02T03:04:52.118214+00:00"},{"alias_kind":"pith_short_12","alias_value":"WRFXNL5F2A6U","created_at":"2026-06-02T03:04:52.118214+00:00"},{"alias_kind":"pith_short_16","alias_value":"WRFXNL5F2A6ULTVQ","created_at":"2026-06-02T03:04:52.118214+00:00"},{"alias_kind":"pith_short_8","alias_value":"WRFXNL5F","created_at":"2026-06-02T03:04:52.118214+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5","json":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5.json","graph_json":"https://pith.science/api/pith-number/WRFXNL5F2A6ULTVQS423XKEXK5/graph.json","events_json":"https://pith.science/api/pith-number/WRFXNL5F2A6ULTVQS423XKEXK5/events.json","paper":"https://pith.science/paper/WRFXNL5F"},"agent_actions":{"view_html":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5","download_json":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5.json","view_paper":"https://pith.science/paper/WRFXNL5F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.02167&json=true","fetch_graph":"https://pith.science/api/pith-number/WRFXNL5F2A6ULTVQS423XKEXK5/graph.json","fetch_events":"https://pith.science/api/pith-number/WRFXNL5F2A6ULTVQS423XKEXK5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5/action/storage_attestation","attest_author":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5/action/author_attestation","sign_citation":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5/action/citation_signature","submit_replication":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5/action/replication_record"}},"created_at":"2026-06-02T03:04:52.118214+00:00","updated_at":"2026-06-02T03:04:52.118214+00:00"}