How does IPOCL (Riedl & Young 2010) represent character goals, motivations and causal links, what flaws and completeness conditions does it enforce, what are its stated limits, and what can an outliner reuse?

IPOCL extends partial-order causal-link planning with 'frames of commitment': each frame records a character, the goal they pursue, the steps they perform for it, a final step that achieves it, and a motivating step that causes the character to intend it. A plan is complete only if all preconditions are established, causal threats resolved, and every non-happening step belongs to some frame; three added flaw types (open motivation, intent, intentional threat) drive the search. The article gives definitions, an algorithm and a complexity bound but no formal soundness or completeness theorem: a text search of the PDF for theorem/lemma/proof found none. Its evaluation used 32 CS undergraduates answering why-questions about POCL- versus IPOCL-generated text, judged against the QUEST model, with a significant effect for 'poor' answers and a p of about 0.058 for 'good' ones, without controlling narrative length. Stated limits: every intention is achieved, so repeated failure and hero-versus-villain defeat cannot be generated; the search is expensive (12.3 hours for an 82-step plan with a hand-tuned heuristic). Curator qualifications: pdftotext of curator readback: 'Theorem' 0, 'theorem' 1 (reference list, Fikes & Nilsson), 'Proof'/'proof' 0, 'prove' 5 hits all in other senses (disproved, improved, improvement); Definition 6 'Complete IPOCL Plan' at text line 914; 'Non-happening events must be intended by a character' present across a line break (line 737-738); 'orphan is a step' 1; 'devolves to nearly breadth-first' 1; 'every intention is achieved' 1; 'did not control for narrative length' 1; 'All rights reserved' 1. Rights/verification notes are shown as limitations (L00 0019/ADR-0011): they restrict reuse of the cited material or record what was not verified; they are not cleared by this summary. Limitations: [component_reuse_restriction] Rights: PDF footer All rights reserved (AI Access Foundation); paraphrase only. Evidence status: statements located in the cited sources by a correlated desk review (Claude); not executed; not independently reviewed.

{
  "citations": [
    {
      "url": "https://jair.org/index.php/jair/article/download/10669/25501",
      "note": "see curator disposition"
    }
  ]
}