A classical result in thermodynamic formalism is that for uniformly hyperbolic systems, every Hölder continuous potential has a unique equilibrium state. One proof of this fact due to Rufus Bowen and uses the such systems satisfy expansivity specification properties. In these notes, we survey recent progress generalizations properties extend Bowen’s arguments beyond uniform hyperbolicity, inclu...

We propose a formal theory to capture qualitatively the characteristics of utility-relevance and effect-uncertainty of chance. It sets a definite boundary between chance discovery and classical artificial intelligence planning: the former pursues partial realization of desire while the latter complete realization. The theory also provides a formal specification and deriving machinery for partia...

Extended Petri Nets have been applied to artificial intelligence reasoning processes, in areas such as planning, uncertainty reasoning, knowledgebased intelligent systems, and qualitative simulation. Creating Petri Net domain models faces the same challenges that confront all knowledge-intensive AI performance systems: model specification, knowledge acquisition, and refinement. Thus, a fundamen...

When problematic-symptomatic behaviors are conceived as embedded, retained, and maintained in collective stories, therapy can be described as the transformative process by which patients, families, and therapists co-generate qualitative changes in those stories. An emphasis on narratives allows one to specify further how those transformations unfold at the more "micro" level of the exchanges th...

Proteomics has the capability to generate overwhelming quantities of data in relatively short timescales, and it is not uncommon to see experimenters investing substantially more time in data analysis than in data gathering. Although several sophisticated tools for data reduction and analysis are available, they lack the flexibility to cope with increasingly innovative experimental strategies a...