Ramification and causality
نویسندگان
چکیده
منابع مشابه
Ramification and Causality
In formal systems for reasoning about actions, the ramification problem denotes the problem of handling indirect effects. These effects are not explicitly represented in action specifications but follow from general laws describing dependencies among components of the world state. An adequate treatment of indirect effects requires a suitably weakened version of the general law of persistence. I...
متن کاملRamification and sufficient jet orders
Our work is devoted to ramification theory of n-dimensional schemes with n ≥ 2. We start to develop an approach which is very natural; however, it has not got enough attention, except for [Del] and [Bry83]. The idea is to reduce the situation of an n-dimensional scheme X to a number of 1-dimensional settings, just by restricting to curves C properly crossing the ramification subscheme R ⊂ X . W...
متن کاملGauge Theory and Wild Ramification
The gauge theory approach to the geometric Langlands program is extended to the case of wild ramification. The new ingredients that are required, relative to the tamely ramified case, are differential operators with irregular singularities, Stokes phenomena, isomonodromic deformation, and, from a physical point of view, new surface operators associated with higher order singularities.
متن کاملRamification of stream networks.
The geometric complexity of stream networks has been a source of fascination for centuries. However, a comprehensive understanding of ramification--the mechanism of branching by which such networks grow--remains elusive. Here we show that streams incised by groundwater seepage branch at a characteristic angle of 2π/5 = 72°. Our theory represents streams as a collection of paths growing and bifu...
متن کاملTopic Proposal Higher Ramification Groups
2.1 Preliminaries Let K be a field, complete under discrete valuation vK with valuation ring AK and maximal ideal pK . Let K̄ be the residue field of K, assume that it is perfect. UK denotes the multiplicative group of invertible elements of AK . For a finite separable extension L of K, define vL, AL, pL, L̄ and UL in a similar manner. We assume that L̄|K̄ is separable. Let e = eL|K and f = fL|K be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1997
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(96)00033-1