{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:HH6XDXWHH2GYXIVZOXYBD7XYN3","short_pith_number":"pith:HH6XDXWH","schema_version":"1.0","canonical_sha256":"39fd71dec73e8d8ba2b975f011fef86ec9521501d831e25b0f1e44fb81ef10cf","source":{"kind":"arxiv","id":"2305.07763","version":1},"attestation_state":"computed","paper":{"title":"Knowledge Authoring for Rules and Actions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Michael Kifer, Paul Fodor, Yuheng Wang","submitted_at":"2023-05-12T21:08:35Z","abstract_excerpt":"Knowledge representation and reasoning (KRR) systems describe and reason with complex concepts and relations in the form of facts and rules. Unfortunately, wide deployment of KRR systems runs into the problem that domain experts have great difficulty constructing correct logical representations of their domain knowledge. Knowledge engineers can help with this construction process, but there is a deficit of such specialists. The earlier Knowledge Authoring Logic Machine (KALM) based on Controlled Natural Language (CNL) was shown to have very high accuracy for authoring facts and questions. More"},"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":"2305.07763","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-05-12T21:08:35Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ddddbb1a4f6b5535391a1996c7cce6b8e39fdabfddab3c3d0cf2a22a7d4d381b","abstract_canon_sha256":"29114c9ebbebe587c271c13241ad951019a21cfdbe7639bfec3127cc31def555"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:09:53.471281Z","signature_b64":"8ucmbfuWUhfT4+pwm+26cpGVM3SekQR929J4SOVKxFPTt1o6xepXj5x7oTeEQk/iF2nWFG68XEdTmxIw+MqxCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"39fd71dec73e8d8ba2b975f011fef86ec9521501d831e25b0f1e44fb81ef10cf","last_reissued_at":"2026-07-05T06:09:53.470892Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:09:53.470892Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Knowledge Authoring for Rules and Actions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Michael Kifer, Paul Fodor, Yuheng Wang","submitted_at":"2023-05-12T21:08:35Z","abstract_excerpt":"Knowledge representation and reasoning (KRR) systems describe and reason with complex concepts and relations in the form of facts and rules. Unfortunately, wide deployment of KRR systems runs into the problem that domain experts have great difficulty constructing correct logical representations of their domain knowledge. Knowledge engineers can help with this construction process, but there is a deficit of such specialists. The earlier Knowledge Authoring Logic Machine (KALM) based on Controlled Natural Language (CNL) was shown to have very high accuracy for authoring facts and questions. More"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.07763","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/2305.07763/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":"2305.07763","created_at":"2026-07-05T06:09:53.470939+00:00"},{"alias_kind":"arxiv_version","alias_value":"2305.07763v1","created_at":"2026-07-05T06:09:53.470939+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.07763","created_at":"2026-07-05T06:09:53.470939+00:00"},{"alias_kind":"pith_short_12","alias_value":"HH6XDXWHH2GY","created_at":"2026-07-05T06:09:53.470939+00:00"},{"alias_kind":"pith_short_16","alias_value":"HH6XDXWHH2GYXIVZ","created_at":"2026-07-05T06:09:53.470939+00:00"},{"alias_kind":"pith_short_8","alias_value":"HH6XDXWH","created_at":"2026-07-05T06:09:53.470939+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/HH6XDXWHH2GYXIVZOXYBD7XYN3","json":"https://pith.science/pith/HH6XDXWHH2GYXIVZOXYBD7XYN3.json","graph_json":"https://pith.science/api/pith-number/HH6XDXWHH2GYXIVZOXYBD7XYN3/graph.json","events_json":"https://pith.science/api/pith-number/HH6XDXWHH2GYXIVZOXYBD7XYN3/events.json","paper":"https://pith.science/paper/HH6XDXWH"},"agent_actions":{"view_html":"https://pith.science/pith/HH6XDXWHH2GYXIVZOXYBD7XYN3","download_json":"https://pith.science/pith/HH6XDXWHH2GYXIVZOXYBD7XYN3.json","view_paper":"https://pith.science/paper/HH6XDXWH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2305.07763&json=true","fetch_graph":"https://pith.science/api/pith-number/HH6XDXWHH2GYXIVZOXYBD7XYN3/graph.json","fetch_events":"https://pith.science/api/pith-number/HH6XDXWHH2GYXIVZOXYBD7XYN3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HH6XDXWHH2GYXIVZOXYBD7XYN3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HH6XDXWHH2GYXIVZOXYBD7XYN3/action/storage_attestation","attest_author":"https://pith.science/pith/HH6XDXWHH2GYXIVZOXYBD7XYN3/action/author_attestation","sign_citation":"https://pith.science/pith/HH6XDXWHH2GYXIVZOXYBD7XYN3/action/citation_signature","submit_replication":"https://pith.science/pith/HH6XDXWHH2GYXIVZOXYBD7XYN3/action/replication_record"}},"created_at":"2026-07-05T06:09:53.470939+00:00","updated_at":"2026-07-05T06:09:53.470939+00:00"}