{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:WVQ2W623MOZ7YPKVLP7RJOYEYB","short_pith_number":"pith:WVQ2W623","schema_version":"1.0","canonical_sha256":"b561ab7b5b63b3fc3d555bff14bb04c05eec7ed2f5b6311b8a462e82230f76f7","source":{"kind":"arxiv","id":"1107.4967","version":1},"attestation_state":"computed","paper":{"title":"Normative design using inductive learning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.LO","authors_text":"Alessandra Russo, Domenico Corapi, Julian Padget, Ken Satoh, Marina De Vos","submitted_at":"2011-07-25T15:01:50Z","abstract_excerpt":"In this paper we propose a use-case-driven iterative design methodology for normative frameworks, also called virtual institutions, which are used to govern open systems. Our computational model represents the normative framework as a logic program under answer set semantics (ASP). By means of an inductive logic programming approach, implemented using ASP, it is possible to synthesise new rules and revise the existing ones. The learning mechanism is guided by the designer who describes the desired properties of the framework through use cases, comprising (i) event traces that capture possible "},"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":"1107.4967","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-07-25T15:01:50Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"b58ea4adb13cd2ecef6210107829e89950758d2642f6275c3200d8c00d080351","abstract_canon_sha256":"9c18cb988495cddaf6a1caece8152f3729e018a51db322675e386d5dffe3dd9a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:16:54.141364Z","signature_b64":"w7GNWyNq17undCMv21MY/3AyvvFtV8U92Gu3UTZdI8qDwZ0foMxNpIh4M/aPlJ0OzjsVzGFKmTjukBpffug3DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b561ab7b5b63b3fc3d555bff14bb04c05eec7ed2f5b6311b8a462e82230f76f7","last_reissued_at":"2026-05-18T04:16:54.140612Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:16:54.140612Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Normative design using inductive learning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.LO","authors_text":"Alessandra Russo, Domenico Corapi, Julian Padget, Ken Satoh, Marina De Vos","submitted_at":"2011-07-25T15:01:50Z","abstract_excerpt":"In this paper we propose a use-case-driven iterative design methodology for normative frameworks, also called virtual institutions, which are used to govern open systems. Our computational model represents the normative framework as a logic program under answer set semantics (ASP). By means of an inductive logic programming approach, implemented using ASP, it is possible to synthesise new rules and revise the existing ones. The learning mechanism is guided by the designer who describes the desired properties of the framework through use cases, comprising (i) event traces that capture possible "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.4967","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":"1107.4967","created_at":"2026-05-18T04:16:54.140730+00:00"},{"alias_kind":"arxiv_version","alias_value":"1107.4967v1","created_at":"2026-05-18T04:16:54.140730+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.4967","created_at":"2026-05-18T04:16:54.140730+00:00"},{"alias_kind":"pith_short_12","alias_value":"WVQ2W623MOZ7","created_at":"2026-05-18T12:26:44.992195+00:00"},{"alias_kind":"pith_short_16","alias_value":"WVQ2W623MOZ7YPKV","created_at":"2026-05-18T12:26:44.992195+00:00"},{"alias_kind":"pith_short_8","alias_value":"WVQ2W623","created_at":"2026-05-18T12:26:44.992195+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/WVQ2W623MOZ7YPKVLP7RJOYEYB","json":"https://pith.science/pith/WVQ2W623MOZ7YPKVLP7RJOYEYB.json","graph_json":"https://pith.science/api/pith-number/WVQ2W623MOZ7YPKVLP7RJOYEYB/graph.json","events_json":"https://pith.science/api/pith-number/WVQ2W623MOZ7YPKVLP7RJOYEYB/events.json","paper":"https://pith.science/paper/WVQ2W623"},"agent_actions":{"view_html":"https://pith.science/pith/WVQ2W623MOZ7YPKVLP7RJOYEYB","download_json":"https://pith.science/pith/WVQ2W623MOZ7YPKVLP7RJOYEYB.json","view_paper":"https://pith.science/paper/WVQ2W623","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1107.4967&json=true","fetch_graph":"https://pith.science/api/pith-number/WVQ2W623MOZ7YPKVLP7RJOYEYB/graph.json","fetch_events":"https://pith.science/api/pith-number/WVQ2W623MOZ7YPKVLP7RJOYEYB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WVQ2W623MOZ7YPKVLP7RJOYEYB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WVQ2W623MOZ7YPKVLP7RJOYEYB/action/storage_attestation","attest_author":"https://pith.science/pith/WVQ2W623MOZ7YPKVLP7RJOYEYB/action/author_attestation","sign_citation":"https://pith.science/pith/WVQ2W623MOZ7YPKVLP7RJOYEYB/action/citation_signature","submit_replication":"https://pith.science/pith/WVQ2W623MOZ7YPKVLP7RJOYEYB/action/replication_record"}},"created_at":"2026-05-18T04:16:54.140730+00:00","updated_at":"2026-05-18T04:16:54.140730+00:00"}