Sciweavers

55 search results - page 1 / 11
» Intra-Option Learning about Temporally Abstract Actions
Sort
View
ICML
1998
IEEE
14 years 5 months ago
Intra-Option Learning about Temporally Abstract Actions
tion Learning about Temporally Abstract Actions Richard S. Sutton Department of Computer Science University of Massachusetts Amherst, MA 01003-4610 rich@cs.umass.edu Doina Precup D...
Richard S. Sutton, Doina Precup, Satinder P. Singh
KR
1992
Springer
13 years 8 months ago
Reasoning About Indefinite Actions
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
L. Thorne McCarty, Ron van der Meyden
DALT
2008
Springer
13 years 5 months ago
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
Jan Broersen
RITA
2000
109views more  RITA 2000»
13 years 4 months ago
A logic-based approach for real-time object-oriented software development
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
Fernando Náufel do Amaral, Edward Hermann H...
CLIMA
2007
13 years 6 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas