{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:FWI767AF3QBOMGNTH2ASZTNILH","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":"b7b0def2e96d791ead3d72cb25a5b3d1c1ba19c1ffd4bebe6b415856490e2472","cross_cats_sorted":["cs.CL"],"license":"","primary_cat":"cs.AI","submitted_at":"2006-04-23T02:58:51Z","title_canon_sha256":"0adcd5d321404fb768f0727bcdf423e8d3a2b0a4950245351e8756a02be83ad1"},"schema_version":"1.0","source":{"id":"cs/0604087","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0604087","created_at":"2026-07-04T14:54:27Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0604087v1","created_at":"2026-07-04T14:54:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0604087","created_at":"2026-07-04T14:54:27Z"},{"alias_kind":"pith_short_12","alias_value":"FWI767AF3QBO","created_at":"2026-07-04T14:54:27Z"},{"alias_kind":"pith_short_16","alias_value":"FWI767AF3QBOMGNT","created_at":"2026-07-04T14:54:27Z"},{"alias_kind":"pith_short_8","alias_value":"FWI767AF","created_at":"2026-07-04T14:54:27Z"}],"graph_snapshots":[{"event_id":"sha256:e0a52944cdf1fb33ec9cee005de6e515eddf5a726cbd3db3046941162e432b96","target":"graph","created_at":"2026-07-04T14:54:27Z","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/cs/0604087/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Usually, probabilistic automata and probabilistic grammars have crisp symbols as inputs, which can be viewed as the formal models of computing with values. In this paper, we first introduce probabilistic automata and probabilistic grammars for computing with (some special) words in a probabilistic framework, where the words are interpreted as probabilistic distributions or possibility distributions over a set of crisp symbols. By probabilistic conditioning, we then establish a retraction principle from computing with words to computing with values for handling crisp inputs and a generalized ex","authors_text":"Lirong Xia, Mingsheng Ying, Yongzhi Cao","cross_cats":["cs.CL"],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"2006-04-23T02:58:51Z","title":"Probabilistic Automata for Computing with Words"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0604087","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:770371e9fca7e025a4744cf935c9002c6dc3bfe895e2f4762407c0efe6ee2330","target":"record","created_at":"2026-07-04T14:54:27Z","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":"b7b0def2e96d791ead3d72cb25a5b3d1c1ba19c1ffd4bebe6b415856490e2472","cross_cats_sorted":["cs.CL"],"license":"","primary_cat":"cs.AI","submitted_at":"2006-04-23T02:58:51Z","title_canon_sha256":"0adcd5d321404fb768f0727bcdf423e8d3a2b0a4950245351e8756a02be83ad1"},"schema_version":"1.0","source":{"id":"cs/0604087","kind":"arxiv","version":1}},"canonical_sha256":"2d91ff7c05dc02e619b33e812ccda859c24e261c447a4f6d2892c1facb0e7230","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2d91ff7c05dc02e619b33e812ccda859c24e261c447a4f6d2892c1facb0e7230","first_computed_at":"2026-07-04T14:54:27.201064Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:54:27.201064Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Fpj36Y2sqg1zOhX+2HEmCE+xRHax+GfrQO96/DVBo2mf/DicoH9ymCfWQYNBSt7cprwYN57+qwlpVUTLUnLQAw==","signature_status":"signed_v1","signed_at":"2026-07-04T14:54:27.201432Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0604087","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:770371e9fca7e025a4744cf935c9002c6dc3bfe895e2f4762407c0efe6ee2330","sha256:e0a52944cdf1fb33ec9cee005de6e515eddf5a726cbd3db3046941162e432b96"],"state_sha256":"dc7eecbad6881223cdfb616f046d239b18f5bb700273afb09686a25795e995a5"}