From b0f425d3c7bec8672e811cf9c8b103d81e280d7b Mon Sep 17 00:00:00 2001 From: Naveen Sundar G Date: Fri, 29 Dec 2017 00:11:50 -0800 Subject: [PATCH] Update README.md --- README.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/README.md b/README.md index b3c0ba3..6cfe545 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,27 @@ # Spectra +Spectra is a general purpose planning system. It extends STRIPS-style planning by allowing arbitray first-order formulae for state descriptions and background knowledge rather than just predicates. This allows, for instance, handling domains with infinite or unbounded objects elegantly (among other things). + + + +* Existing Planners are propositional +* Drawbacks: + * **Expressivity**: Cannot express arbitrary constraints. *“At every step make sure that no two blocks on the table have same color”* + * **Domain Size**: Scaling to large domains of arbitrary sizes poses difficulty. + +# Architecture # +![spectra-arch.png](https://bitbucket.org/repo/Mjq4bX/images/2495888298-spectra-arch.png) + +# Example # + +![examples.png](https://bitbucket.org/repo/Mjq4bX/images/3136509575-examples.png) +# Scaling Up # + +Two approaches: + +1. **Procedural Attachments**: Special purpose procedural code that can bypass strict formal reasoning. + +2. *μ*-**methods**: Written in denotational proof language. Preserves soundness by letting us write down commonly used patterns of reasoning (a bit unwieldy integration now than the first approach)