{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:N7OGIX5ST2FHYYCOBMIHNVWKUX","short_pith_number":"pith:N7OGIX5S","schema_version":"1.0","canonical_sha256":"6fdc645fb29e8a7c604e0b1076d6caa5dd2fb376e77bb7939afc2b2440dc36f7","source":{"kind":"arxiv","id":"1903.03411","version":1},"attestation_state":"computed","paper":{"title":"Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Leonardo A. Ferreira, Paulo E. Santos, Pedro Cabalar, Reinaldo A. C. Bianchi, Thiago Freitas dos Santos","submitted_at":"2019-02-16T01:18:29Z","abstract_excerpt":"Spatial puzzles composed of rigid objects, flexible strings and holes offer interesting domains for reasoning about spatial entities that are common in the human daily-life's activities. The goal of this work is to investigate the automated solution of this kind of puzzles adapting an algorithm that combines Answer Set Programming (ASP) with Markov Decision Process (MDP), algorithm oASP(MDP), to use heuristics accelerating the learning process. ASP is applied to represent the domain as an MDP, while a Reinforcement Learning algorithm (Q-Learning) is used to find the optimal policies. In this w"},"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":"1903.03411","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-02-16T01:18:29Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"18672494c767b42e4bdeb8c2b552a80dd66f6d06876916b9b4be937e92389742","abstract_canon_sha256":"46439d8d8a28dc87a8d931b4150e5d8c1d450f6228db34ba0842b10c16802891"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:45.566366Z","signature_b64":"//Vd+Yk7csMMW8H+8PUjFmgSy8/e6SjIKrBxaBRNVJYywbwvM01N3qHqoScof1R5gLa+e0+fYSuZE46NMVJaDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6fdc645fb29e8a7c604e0b1076d6caa5dd2fb376e77bb7939afc2b2440dc36f7","last_reissued_at":"2026-05-17T23:51:45.565784Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:45.565784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Leonardo A. Ferreira, Paulo E. Santos, Pedro Cabalar, Reinaldo A. C. Bianchi, Thiago Freitas dos Santos","submitted_at":"2019-02-16T01:18:29Z","abstract_excerpt":"Spatial puzzles composed of rigid objects, flexible strings and holes offer interesting domains for reasoning about spatial entities that are common in the human daily-life's activities. The goal of this work is to investigate the automated solution of this kind of puzzles adapting an algorithm that combines Answer Set Programming (ASP) with Markov Decision Process (MDP), algorithm oASP(MDP), to use heuristics accelerating the learning process. ASP is applied to represent the domain as an MDP, while a Reinforcement Learning algorithm (Q-Learning) is used to find the optimal policies. In this w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.03411","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":"1903.03411","created_at":"2026-05-17T23:51:45.565866+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.03411v1","created_at":"2026-05-17T23:51:45.565866+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.03411","created_at":"2026-05-17T23:51:45.565866+00:00"},{"alias_kind":"pith_short_12","alias_value":"N7OGIX5ST2FH","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_16","alias_value":"N7OGIX5ST2FHYYCO","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_8","alias_value":"N7OGIX5S","created_at":"2026-05-18T12:33:24.271573+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/N7OGIX5ST2FHYYCOBMIHNVWKUX","json":"https://pith.science/pith/N7OGIX5ST2FHYYCOBMIHNVWKUX.json","graph_json":"https://pith.science/api/pith-number/N7OGIX5ST2FHYYCOBMIHNVWKUX/graph.json","events_json":"https://pith.science/api/pith-number/N7OGIX5ST2FHYYCOBMIHNVWKUX/events.json","paper":"https://pith.science/paper/N7OGIX5S"},"agent_actions":{"view_html":"https://pith.science/pith/N7OGIX5ST2FHYYCOBMIHNVWKUX","download_json":"https://pith.science/pith/N7OGIX5ST2FHYYCOBMIHNVWKUX.json","view_paper":"https://pith.science/paper/N7OGIX5S","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.03411&json=true","fetch_graph":"https://pith.science/api/pith-number/N7OGIX5ST2FHYYCOBMIHNVWKUX/graph.json","fetch_events":"https://pith.science/api/pith-number/N7OGIX5ST2FHYYCOBMIHNVWKUX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N7OGIX5ST2FHYYCOBMIHNVWKUX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N7OGIX5ST2FHYYCOBMIHNVWKUX/action/storage_attestation","attest_author":"https://pith.science/pith/N7OGIX5ST2FHYYCOBMIHNVWKUX/action/author_attestation","sign_citation":"https://pith.science/pith/N7OGIX5ST2FHYYCOBMIHNVWKUX/action/citation_signature","submit_replication":"https://pith.science/pith/N7OGIX5ST2FHYYCOBMIHNVWKUX/action/replication_record"}},"created_at":"2026-05-17T23:51:45.565866+00:00","updated_at":"2026-05-17T23:51:45.565866+00:00"}