Mark_Krass: переводы
Introduction to Automated Planning / Введение в автоматизированное планирование
→j must be spreimgo(S) \ Cj . _ 4Some of the branches might not be needed, and if the intersection of Z with only one observational class is nonempty the plan could start with an operator node instead of a degenerate branch node.
0 должен быть spreimgo(S) \ Cj . Некоторые из ветвей могут быть необязательны, и если пересечение Z с одним классов наблюдаемости непусто, плана может начинаться с оператора узла вместо вырожденного узла ветви.
→j is the jth component of Hi+1. Now by induction hypothesis there is a plan for Z0jif Z0j 2 Hij , and if Z0j 2 Hi+1j \Hij , then for branch corresponding to Cj we use the plan for spreimgo(S), as Z0
0 J IS-я компонента Hi+1. Далее по индукции существует план для которого Z0jif Z0j 2 Hij, и если Z0j 2 Hi+1j \Hij, тогда для ветви соответствующей Cj мы используем план для spreimgo(S), а Z0
→observing Cj , the current state is in Zj = Z \ Cj . Now for Zj there is Z0j 2 Hi+1j with Zj _ Z0j , where Hi+1
0 при наблюдении Cj текущее состояние находится в Zj = Z \ Cj. Теперь для Zj есть Z0j 2 Hi+1j с Zj _ Z0j где Hi+1
→observational class, there is a plan that reaches G. Let Cj be the jth observational class. When
0 классу наблюдаемости, есть план, который достигает G. Пусть Cj быть JTH класс наблюдаемости. Тогда
→plan for Z starts by a branch4. We show that for every possible observation, corresponding to one
0 План Z начинается с ветвления. Покажем, что для каждого возможного наблюдения, соответствующему одному
→Let Z be any member of flat(Hi+1). We show that for Z there is a plan for reaching G. The
0 Пусть Z быть любой член из flat(Hi+1). Покажем, что для Z есть план достижения G.
→there is a plan _ for reaching G from S. The plan that executes o followed by _ reaches G from spreimgo(S).
0 есть план _ для достижения G из S. План, в котором выполняется О с последующим _ достижением G из spreimgo(S).
→By Lemma 4.37 S 2 flat(Hi) and spreimgo(S) _ S0 for no S0 2 flat(Hi). Because S is in Hi,
0 По лемме 4.37 S 2 flat(Hi) и spreimgo(S) _ S0 не для S0 2 flat(Hi). Поскольку S находится в Hi
→Inductive case i _ 1: Hi+1 is obtained asHi_F(spreimgo(S)) where S =findnew(o,;,Hi,Hi).
0 Шаг индукции i _ 1: Hi+1 получается как Hi_F(spreimgo(S)) где S =findnew(o,;,Hi,Hi).
→from G.
0 от G.
→Base case i = 0: Initially H0 = F(G) and the only set in H0 is G. The empty plan reaches G
0 Базовый сценарий = 0: Изначально Н0 = F (G) и единственный набор в H0 является G. Пустой план достигает G
→exists.
0 существует.
→Induction hypothesis: Hi contains only such sets S 2 flat(Hi) for which a plan reaching G
0 Индукционная гипотеза: Hi содержит только такие множества S 2 flat(Hi), для которых план достижения G
→We show that for all i _ 0, for every set of states in Hi there is a plan that reaches G.
0 Покажем, что для всех _ 0, для каждого множества состояний в Hi существует план, который достигает G.
→Proof: Let H0,H1, . . . be the sequence of factored belief spaces H produced by the algorithm.
0 Доказательство: Пусть H0, H1,. . . -последовательность факторизованных пространств утверждений Н произведенная алгоритмом.
→Theorem 4.41 Let _ = hA, I,O, G,Bi be a problem instance. If procedure plan(I,O,G) in
0 Теорема 4.41 Пусть _ = hA, I,O, G,Bi будет примером задачи. Если процедура plan(I,O,G) на
→have exited with H, contrary to our assumption about H. _
0 завершится с H, вопреки нашим предположениям об Н.
→would return S000 such that spreimgo(S000) _ S for no S 2 flat(H), and the while loop could not
0 который вернет S000, такой что spreimgo(S000) _ S не для S 2 flat(H), и тогда цикл не
→some S00 2 flat(H). Assume that there is no such S00. But now by Lemma 4.37 find new (o,;,H,H)
0 некоторого S00 2 flat(H). Предположим, что нет таких S00. Но по лемме 4.37 найдем новый (o,;,H,H)
→the induction hypothesis l(n0) _ S0 for some S0 2 flat(H). We have to show that l(n) _ S00 for
0 определению индукции l(n0) _ S0 для некоторого S 2 flat(H). Мы должны показать, что l(n) _ S00 для
Резюме
- Пол:
- мужчина
- Родной язык:
- русский
- С нами:
-
с 5 января 2014 г.
(4669 дней)
Не является членом клуба. - Деятельность:
-
297 версий перевода
с общим рейтингом 0