Planning in a hierarchy of abstraction spaces
From MaRDI portal
Publication:1846747
DOI10.1016/0004-3702(74)90026-5zbMath0288.68052OpenAlexW1981627423MaRDI QIDQ1846747
Publication date: 1974
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(74)90026-5
Related Items
Automatically generating abstractions for planning, Multi-contributor causal structures for planning: A formalization and evaluation, Downward refinement and the efficiency of hierarchical problem solving, Mobile Robot Planning Using Action Language $${\mathcal {BC}}$$ with an Abstraction Hierarchy, Causal approximations, Dynamic backward reasoning systems, Network-based heuristics for constraint-satisfaction problems, Model construction operators, Exact decomposition approaches for Markov decision processes: a survey, Speeding up inferences using relevance reasoning: a formalism and algorithms, Knowledge-based programs as building blocks for planning, Planning parallel actions, Spatial planning for musical output, Engineering and compiling planning domain models to promote validity and efficiency, Calculating criticalities, Reward-respecting subtasks for model-based reinforcement learning, The computational complexity of avoiding spurious states in state space abstraction, Abstraction and approximate decision-theoretic planning., Using patterns and plans in chess, Theorem proving with abstraction, Learning cluster-based structure to solve constraint satisfaction problems, On the complexity of planning for agent teams and its implications for single agent planning, Using temporal logics to express search control knowledge for planning, Knowledge-based proof planning, Star-topology decoupled state space search, Gazing: An approach to the problem of definition and lemma use, Reasoning about model accuracy, A theory of abstraction, Model verification and improvement using DISPROVER, Heuristic shortest path algorithms for transportation applications: state of the art, A language and a program for stating and solving combinatorial problems, Omission-Based Abstraction for Answer Set Programs, Abstraction for non-ground answer set programs, Using state abstractions to compute personalized contrastive explanations for AI agent behavior, A framework for analysing state-abstraction methods, Multiple perspective dynamic decision making, Unnamed Item, A PLAN FORMATION SYSTEM FOR ASSEMBLY ROBOTS, Backdoors to planning, A Sufficient Statistic for Influence in Structured Multiagent Environments, A problem-decomposition method using differences or equivalence relations between states, Complexity, decidability and undecidability results for domain-independent planning, A linguistic approach to geometric reasoning, The inevitability of inconsistent abstract spaces, Experiments with proof plans for induction, Translations of network languages
Uses Software
Cites Work
