Data

Tools

Indexes

Applications

Experiments

Open Source Science

Recent Releases of SymbolicPlanners

SymbolicPlanners - v0.1.27

  • Fixed bug in PruningHeuristic constructor
  • Added test cases for PruningHeuristic, PrecomputedHeuristic and MemoizedHeuristic.

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.26...v0.1.27

- Julia
Published by ztangent over 1 year ago

SymbolicPlanners - v0.1.26

What's Changed

  • Fixed constraint checking in Forward and BreadthFirstSearch planners by @aemartinez in https://github.com/JuliaPlanners/SymbolicPlanners.jl/pull/22
  • Added LMCut heuristic by @danielz9999 in https://github.com/JuliaPlanners/SymbolicPlanners.jl/pull/21
  • Memory reductions for relaxed planning graph heuristics (HMax, HAdd, FFHeuristic, LMCut) through buffer reuse
  • Used faster priority queue implementation in relaxed planning graph search
  • Added AlternatingRealTimeHeuristicSearch planner
  • Added MultiSolution for combined planning solutions
  • Dropped support for Julia 1.3

New Contributors

  • @aemartinez made their first contribution in https://github.com/JuliaPlanners/SymbolicPlanners.jl/pull/22
  • @danielz9999 made their first contribution in https://github.com/JuliaPlanners/SymbolicPlanners.jl/pull/21

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.25...v0.1.26

- Julia
Published by ztangent over 1 year ago

SymbolicPlanners - v0.1.25

  • Fixed bug in RTHS Djikstra update.

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.24...v0.1.25

- Julia
Published by ztangent almost 2 years ago

SymbolicPlanners - v0.1.24

Planner Improvements and Changes

  • Support for Fringe-Retrieving A* (FRA*) search as a solution refinement method for ForwardPlanner.
  • Support for either RTAA*-style cost differencing or Dijkstra backpropagation when updating policy values in RTHS.
  • RTHS can make use of FRA* search tree refinement by setting reuse_search=true.
  • RTHS can be configured to run search from either all neighbors, none of them, or all unexpanded neighbors.
  • The default behavior of RTHS has changed (Dijkstra-style updating instead of RTAA* updating, searching from only unexpanded neighbors instead of all neighboring states).
  • RTHS now always returns a ReusableTreePolicy, which stores both a forward search tree, and a goal tree if reuse_paths is true.
  • RTDP now ensures Q-value consistency during the post-rollout update.

Policy Improvements and Changes

  • Add EpsilonMixturePolicy as a mixture policy over epsilon greedy policies.
  • Define get_mixture_weights to return prior and posterior mixture weights for mixture policies.
  • The methods has_values, get_cached_value and get_cached_action_values are now part of the PolicySolution interface.
  • Add HeuristicVPolicy as a less convoluted way to use heuristics as (default) value functions.
  • Implement tie-breaking among best actions in epsilon-greedy and Boltzmann policies.

Miscellaneous

  • Type stability and runtime improvements when computing relaxed planning graph heuristics (HAdd, FFHeuristic, etc.)
  • Pretty-printing for all specifications, solutions, planners and heuristics.
  • Handle missing actions / dead-ends when simulating policies with a Simulator.

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.23...v0.1.24

- Julia
Published by ztangent almost 2 years ago

SymbolicPlanners - v0.1.23

  • Add interface for action filtering/pruning using heuristics via filter_available and filter_relevant
  • Add PruningHeuristic to combine heuristics with another pruning method
  • Improve type stability in ForwardPlanner and BackwardPlanner

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.22...v0.1.23

- Julia
Published by ztangent about 2 years ago

SymbolicPlanners - v0.1.22

  • Support for path reuse in RealTimeHeuristicSearch by storing a reusable tree (as in Tree Adaptive A*)
  • Documentation improvements

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.21...v0.1.22

- Julia
Published by ztangent over 2 years ago

SymbolicPlanners - v0.1.21

  • Added BoltzmannMixturePolicy
  • Added MixturePolicy
  • Ensure that unavailable actions have zero probability under a policy
  • Fix compatibility with latest PDDL.jl v0.2.17

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.20...v0.1.21

- Julia
Published by ztangent over 2 years ago

SymbolicPlanners - v0.1.20

  • Fixed bug with planning graph construction for actions with no preconditions.
  • Support reachability checking / fast failure in ForwardPlanner and BackwardPlanner if a heuristic returns an infinite cost.

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.19...v0.1.20

- Julia
Published by ztangent over 2 years ago

SymbolicPlanners - v0.1.19

  • Fixed compatibility issue with latest versions of AutoHashEquals.jl

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.18...v0.1.19

- Julia
Published by ztangent over 2 years ago

SymbolicPlanners - v0.1.18

  • Fixed bug in RTDP callback.
  • Updated docs, GitHub workflows.

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.17...v0.1.18

- Julia
Published by ztangent over 2 years ago

SymbolicPlanners - v0.1.17

  • Added test cases for Specifications, fixed associated bugs.
  • Added MinPerAgentActionCosts and ExtraPerAgentActionCosts specifications.
  • Support planning to take an action with the ActionGoal specification.

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.16...v0.1.17

- Julia
Published by ztangent over 2 years ago

SymbolicPlanners - v0.1.16

  • Fixed relaxed planning graph search with action costs (Issue #14)
  • Updated package compatibility

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.15...v0.1.16

- Julia
Published by ztangent over 2 years ago

SymbolicPlanners - v0.1.15

  • Implement logging and callback functionality for various Planners
    • ForwardPlanner, BreadthFirstPlanner, BackwardPlanner, RTDP and RTHS now support the verbose and callback keywords.

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.14...v0.1.15

- Julia
Published by ztangent almost 3 years ago

SymbolicPlanners - v0.1.14

Fixes to RTHS to handle failed search solutions.

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.13...v0.1.14

- Julia
Published by ztangent almost 3 years ago

SymbolicPlanners - v0.1.13

Various bug fixes and handling of edge cases: - Switch RTHS to using Real-Time Adaptive A* update rule - Fix inconsistent maximum precondition limit in planning graph construction - Update PlannerHeuristic to use final state value, check more carefully for failed solutions - Relax type constructor for MinActionCosts - Export NullSpecification and NullGoal

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.12...v0.1.13

- Julia
Published by ztangent almost 3 years ago

SymbolicPlanners - v0.1.12

  • Add GoalDependentPolicyHeuristic
  • Save search order in search-based planners by default.

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.11...v0.1.12

- Julia
Published by ztangent almost 3 years ago

SymbolicPlanners - v0.1.11

Better handling of various edge cases, improved support for plans as policies.

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.10...v0.1.11

- Julia
Published by ztangent about 3 years ago

SymbolicPlanners - v0.1.10

What's Changed

  • Added documentation site: https://juliaplanners.github.io/SymbolicPlanners.jl/
  • BidirectionalPlanner by @pevnak in https://github.com/JuliaPlanners/SymbolicPlanners.jl/pull/8
  • RealTimeHeuristicSearch added as a policy-based planning algorithm
  • Relaxed planning graph heuristics (HSP, FF) now support dynamic goal specifications
  • Most planners now support solution refinement via refine! / refine
  • ForwardPlanner and BackwardPlanner now have probabilistic variants
  • Implement save_search_order flag for path search planners.
  • PolicySolutions now support get_action_probs and get_action_prob
  • Pretty-printing for PathSearchSolutions, some heuristics
  • Implemented copy and == for planners and solutions
  • Various bug fixes and slight performance improvements

New Contributors

  • @pevnak made their first contribution in https://github.com/JuliaPlanners/SymbolicPlanners.jl/pull/8

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.9...v0.1.10

- Julia
Published by ztangent over 3 years ago

SymbolicPlanners - v0.1.9

Add support for goal condition simplification to reduce cost of goal satisfaction checking.

- Julia
Published by ztangent over 3 years ago

SymbolicPlanners - v0.1.8

Fixed bug in Boltzmann policy over functionally computed Q-values, added test cases for solutions and simulators.

- Julia
Published by ztangent over 3 years ago

SymbolicPlanners - v0.1.7

Add convenience constructors for StateConstrainedGoal specification, fixed how precomputation was being done in planners.

- Julia
Published by ztangent over 3 years ago

SymbolicPlanners - v0.1.6

Several functionality improvements to delete-relaxation heuristics (FF and HSP) including: - Support for domains with axioms - Improved handling of disjunctive preconditions - Better support for quantified and disjunctive goal specifications

Full Changelog: https://github.com/JuliaPlanners/SymbolicPlanners.jl/compare/v0.1.5...v0.1.6

- Julia
Published by ztangent almost 4 years ago

SymbolicPlanners - v0.1.5

Better support for how heuristics are precomputed and memoized.

  • PrecomputedHeuristic and precomputed can now be used to manually precompute a heuristic, to be reused across multiple planning calls.
  • MemoizedHeuristic and memoized can now be used to cache heuristic values, so that they are looked-up by hashing instead of recomputation. This replaces the global heuristic cache.

- Julia
Published by ztangent almost 4 years ago

SymbolicPlanners - v0.1.4

Minor compatibility-oriented changes.

- Julia
Published by ztangent almost 4 years ago

SymbolicPlanners - v0.1.3

Support for domain and state transforms in PlannerHeuristic, sign flip bugfix for how RTDP uses heuristic values.

- Julia
Published by ztangent about 4 years ago

SymbolicPlanners - v0.1.2

Support for default policies for RTDP-computed tabular policies, and for using planner solutions within heuristics.

- Julia
Published by ztangent about 4 years ago

SymbolicPlanners - v0.1.1

Performance improvements, bug fixes, wrapper support for ENHSP.

- Julia
Published by ztangent about 4 years ago

SymbolicPlanners - v0.1.0

Initial release.

- Julia
Published by ztangent about 4 years ago