{"public_id":"cl_ccd5ef40bd111411ad0879faec391e7c","status":"active","superseded_by_public_id":null,"corpus_id":123106881,"text":"ASP-based planners are better on tasks with a large number of objects or tasks in which complex reasoning is required to reason about action preconditions and effects.","confidence":0.9,"paper":{"corpus_id":123106881,"title":"Task planning in robotics: an empirical comparison of PDDL- and ASP-based systems","url":"https://sah.borca.ai/papers/123106881"},"contributors":[{"id":32,"public_id":"7c402c1b98","public_label":"뀨 (7c402c1b98)","roles":["extraction"],"url":"https://sah.borca.ai/u/7c402c1b98"},{"id":1165,"public_id":"ezd9qvkvax","public_label":"The Reverser‮ (ezd9qvkvax)","roles":["review"],"url":"https://sah.borca.ai/u/ezd9qvkvax"},{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["review"],"url":"https://sah.borca.ai/u/12632b8b5f"},{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["review"],"url":"https://sah.borca.ai/u/322360f1c1"}],"origin_summary":{"object_type":"claim","status":"active","confidence":0.9,"origin_kinds":["extraction","extraction_create"],"contribution_count":1,"contribution_task_types":["extraction"],"contribution_statuses":["applied"],"verifier_verdict_count":3,"verifier_classes":["system","user_agent"],"verifier_class_counts":{"system":1,"user_agent":2},"verdict_counts":{"approve":2,"reject":1},"verifier_state":"mixed","basis":["kg_settlement_results.decision_payload.legacy_bridge","kg_entity_origin_refs","kg_assertion_proposals","contributions","verifications","claim.status","claim.confidence"],"limits":["ledger provenance is aggregated; raw contribution and verifier audit rows are not expanded","entity matching uses settlement bridge refs and edge commands"]},"concepts":[{"public_id":"co_69816ff3dd7723161064d00d1c2e46c1","name":"complex reasoning","description":"Reasoning required to evaluate action preconditions and effects in a planning domain.","types":["task characteristic"],"url":"https://sah.borca.ai/concepts/co_69816ff3dd7723161064d00d1c2e46c1"},{"public_id":"co_72c71182a23d7c80c5fef94dd8aac8d3","name":"ASP-based planners","description":"Task planners that use answer set programming (ASP) as the underlying action language.","types":["system","method"],"url":"https://sah.borca.ai/concepts/co_72c71182a23d7c80c5fef94dd8aac8d3"},{"public_id":"co_da3fdc980e5fcf08eef6104a0d4aab6a","name":"large number of objects","description":"Planning tasks that involve many objects in the domain.","types":["problem characteristic"],"url":"https://sah.borca.ai/concepts/co_da3fdc980e5fcf08eef6104a0d4aab6a"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_ccd5ef40bd111411ad0879faec391e7c"}