{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:RTHYBM3E2MABSAI25RQCNOSPSG","short_pith_number":"pith:RTHYBM3E","schema_version":"1.0","canonical_sha256":"8ccf80b364d30019011aec6026ba4f919a8bc2ee3d397949252c34c8d1a268f6","source":{"kind":"arxiv","id":"1701.08306","version":1},"attestation_state":"computed","paper":{"title":"Practical Reasoning with Norms for Autonomous Software Agents (Full Edition)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Julian Padget, Marina De Vos, Wamberto W. Vasconcelos, Zohreh Shams","submitted_at":"2017-01-28T17:55:04Z","abstract_excerpt":"Autonomous software agents operating in dynamic environments need to constantly reason about actions in pursuit of their goals, while taking into consideration norms which might be imposed on those actions. Normative practical reasoning supports agents making decisions about what is best for them to (not) do in a given situation. What makes practical reasoning challenging is the interplay between goals that agents are pursuing and the norms that the agents are trying to uphold. We offer a formalisation to allow agents to plan for multiple goals and norms in the presence of durative actions tha"},"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":"1701.08306","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-01-28T17:55:04Z","cross_cats_sorted":[],"title_canon_sha256":"39435aee2bb1610fdab915cf9ab8ea9c846d4101d15f0b7a5a4ccc56f84a035f","abstract_canon_sha256":"f997755bd7d3391e802284360123d1c3c1ae6531d12a20f7b368d92ee51b217c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:54.589614Z","signature_b64":"kei6VdEKP5Sd5cu+T+2XjXel3U9x6glbwd4FSwFI4qnqdOPNUUZndnW0NHeHq0i5XvNx2PmVzAFIQEqG00ejDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8ccf80b364d30019011aec6026ba4f919a8bc2ee3d397949252c34c8d1a268f6","last_reissued_at":"2026-05-18T00:51:54.589006Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:54.589006Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Practical Reasoning with Norms for Autonomous Software Agents (Full Edition)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Julian Padget, Marina De Vos, Wamberto W. Vasconcelos, Zohreh Shams","submitted_at":"2017-01-28T17:55:04Z","abstract_excerpt":"Autonomous software agents operating in dynamic environments need to constantly reason about actions in pursuit of their goals, while taking into consideration norms which might be imposed on those actions. Normative practical reasoning supports agents making decisions about what is best for them to (not) do in a given situation. What makes practical reasoning challenging is the interplay between goals that agents are pursuing and the norms that the agents are trying to uphold. We offer a formalisation to allow agents to plan for multiple goals and norms in the presence of durative actions tha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.08306","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":""},"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":"1701.08306","created_at":"2026-05-18T00:51:54.589123+00:00"},{"alias_kind":"arxiv_version","alias_value":"1701.08306v1","created_at":"2026-05-18T00:51:54.589123+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.08306","created_at":"2026-05-18T00:51:54.589123+00:00"},{"alias_kind":"pith_short_12","alias_value":"RTHYBM3E2MAB","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_16","alias_value":"RTHYBM3E2MABSAI2","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_8","alias_value":"RTHYBM3E","created_at":"2026-05-18T12:31:39.905425+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/RTHYBM3E2MABSAI25RQCNOSPSG","json":"https://pith.science/pith/RTHYBM3E2MABSAI25RQCNOSPSG.json","graph_json":"https://pith.science/api/pith-number/RTHYBM3E2MABSAI25RQCNOSPSG/graph.json","events_json":"https://pith.science/api/pith-number/RTHYBM3E2MABSAI25RQCNOSPSG/events.json","paper":"https://pith.science/paper/RTHYBM3E"},"agent_actions":{"view_html":"https://pith.science/pith/RTHYBM3E2MABSAI25RQCNOSPSG","download_json":"https://pith.science/pith/RTHYBM3E2MABSAI25RQCNOSPSG.json","view_paper":"https://pith.science/paper/RTHYBM3E","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1701.08306&json=true","fetch_graph":"https://pith.science/api/pith-number/RTHYBM3E2MABSAI25RQCNOSPSG/graph.json","fetch_events":"https://pith.science/api/pith-number/RTHYBM3E2MABSAI25RQCNOSPSG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RTHYBM3E2MABSAI25RQCNOSPSG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RTHYBM3E2MABSAI25RQCNOSPSG/action/storage_attestation","attest_author":"https://pith.science/pith/RTHYBM3E2MABSAI25RQCNOSPSG/action/author_attestation","sign_citation":"https://pith.science/pith/RTHYBM3E2MABSAI25RQCNOSPSG/action/citation_signature","submit_replication":"https://pith.science/pith/RTHYBM3E2MABSAI25RQCNOSPSG/action/replication_record"}},"created_at":"2026-05-18T00:51:54.589123+00:00","updated_at":"2026-05-18T00:51:54.589123+00:00"}