Merited
发表于 2025-3-26 22:10:15
http://reply.papertrans.cn/83/8226/822590/822590_31.png
dyspareunia
发表于 2025-3-27 03:00:42
Expressing transformations of structured reactive plans, partly unknown environment. XFRML allows XFRM to anticipate and forestall many common flaws in autonomous robot behavior that cannot be dealt with by other planning representations. In order to diagnose execution failures in projected execution scenarios, XFRM has to infer whether or not particular
Cumulus
发表于 2025-3-27 06:27:27
Fast probabilistic plan debugging, the world. These more realistic models together with the robots‘ lack of, and uncertainty in, information, however, yield so many ways the world might change as plan gets executed that the prediction of the . of something happening gets infeasible. In this paper, we discuss FPPD (Fast Probabilistic
MANIA
发表于 2025-3-27 11:29:40
Quantification in generative refinement planning, We add full quantification to a generative refinement planning framework, not by expanding to a . , but by Skolemizing. We apply our results to causal link planning which leads to a new conflict resolution strategy, a notion called . the ..
dominant
发表于 2025-3-27 16:18:28
Modal tableaux for reasoning about actions and plans,ropositional dynamic logic, wherein we solve the frame problem by introducing the notion of dependence as a weak causal connection between actions and atoms. The tableau procedure is sound and complete for an important fragment of our language, within which all standard problems of reasoning about a
Latency
发表于 2025-3-27 21:24:07
A time and resource problem for planning architectures,m (.), in which resource reasoning is seen as integrated with temporal reasoning. Two propagation techniques are introduced that reason about resource constraints in the . framework. The Profile Propagation technique, similar to time-tabling techniques, considers resource utilization in single insta
Lacunar-Stroke
发表于 2025-3-28 00:18:52
Planning via model checking: A decision procedure for AR,ism which is able to handle, among other things, ramifications and non-deterministic effects. We define a decision procedure for planning in . which is based on “symbolic model checking”, a technique which has been successfully applied in hardware and software verification. The decision procedure al
EVADE
发表于 2025-3-28 04:43:23
Possibilistic planning: Representation and complexity,wn and the actions have graded nondeterministic effects, some being more possible (normal) than the others. The uncertainty on states and effects of actions is represented by possibility distributions. The paper first recalls the essence of possibilitic planning concerning the representational aspec
向前变椭圆
发表于 2025-3-28 09:05:36
Planning with sensing for a mobile robot,cally, we present a logical framework for representing dynamic systems based on description logics, which allows for the formalization of sensing actions. We address the generation of conditional plans by defining a suitable reasoning method in which a plan is extracted from a constructive proof of
Goblet-Cells
发表于 2025-3-28 11:05:20
http://reply.papertrans.cn/83/8226/822590/822590_40.png