A connected body of work.

Interaction as a Scientific Explanandum

Boundary review, minimum ontology, and discipline test

Evaluates whether interaction can stand as an independent scientific explanandum without reduction to computer science, psychology, or engineering. Establishes the initial discipline criteria and minimum boundary definitions.

Can Interaction Become a Primary Scientific Object?

Asks whether interaction itself can serve as a primary object of scientific explanation rather than merely a property of humans, machines, communication, cognition, or environments. Compares twelve scientific disciplines and formal traditions.

How Sciences Define Their Objects: A Comparative Analysis

Analyzes eighteen natural, social, formal, engineering, and interdisciplinary fields to examine how mature sciences construct primary objects, natural kinds, mechanisms, and levels of explanation.

Representation, Invariance, and Projection

Representation is not one homogeneous relation. Examines semiotics, logic, visualization, compilers, and databases to establish a typed projection model where transformations preserve declared invariants.

Ontology, Semantics, Representation, and Interpretation

Cross-disciplinary analysis showing that ontology, semantics, representation, and behavior cannot be treated as a simple hierarchy. Distinguishes formal semantic structures from situated interpretations.

Opportunity, Affordance, and Action Availability

Disentangles action availability across ecological psychology, HCI, reinforcement learning, control, and formal methods. Distinguishes enabled actions, authorized transitions, perceived opportunities, and recovery paths.

Interaction: Toward a General Theory of Interaction

Tests whether interaction is primitive or reducible to established constructs (cybernetic feedback, communication, synchronized state transition). Derives a formal coupling model over dual state spaces.

Behavior: Toward a Scientific Theory of Computational Behavior

Formulates a scientific representation of computational behavior independent of specific user interface technologies, bridging psychology, reinforcement learning, and formal process models.

Measurement: Toward a Scientific Framework for Interaction Research

Establishes measurement contracts separating physical trace events, task outcomes, and inferred latent psychological constructs (workload, confidence, discoverability).

Interaction Similarity: Toward a General Theory of Comparable Interactions

Formalizes interaction equivalence and similarity across trace equivalence, simulation, bisimulation, and feature-weighted geometric distance, proving where simple distance metrics fail.

Interaction Transfer: Toward a Theory of Experience and Adaptation

Distinguishes interaction transfer from simple repetition, familiarity, or learning. Models how prior interaction experience influences performance, strategy, and adaptation under changed conditions.

Interaction Strategies: Toward a Theory of Behavioral Organization

Defines interaction strategies as latent, goal-directed organizational policies distinct from single actions, plans, or heuristics, providing inference rules without reifying intent.

Formal Models of Computational Interaction: Toward a Mathematical Foundation

Evaluates candidate formalisms (Petri nets, labeled transition systems, process algebras, Markov decision processes, category-theoretic wiring diagrams) against empirical interaction requirements.

Predicting Interaction: Toward a Predictive Theory of Computational Interaction

Establishes a predictive ontology distinguishing local empirical laws (Fitts, Hick-Hyman, GOMS) from typed distributional forecasts over horizon-bounded interaction trajectories.

Comparative Interaction: Toward a Scientific Method for Comparing Computational Interactions

Develops a gate-and-profile comparison methodology rejecting one-dimensional usability scores. Requires admissibility gates on target, population, observation model, and multi-criteria profiles.

Computational Interaction Science: Program Synthesis & Foundations

Synthesizes the 15 preceding studies into an integrated epistemological evaluation. Demonstrates that interaction constitutes a legitimate primary scientific object while identifying inherited mechanisms.

Behavior Lives Between Things: Relational Interface Physics

Examines why component-bound state machines fail to capture interactive tension, and how a continuous relational force field creates coherent physical presence in digital systems.

Semantic Graph Agent Slicing in Systems Languages

Presents a method for autonomous agents to inspect, slice, and reason over typed program subgraphs without accessing complete source trees, preserving safety invariants.

Projection Equivalence in Decoupled Semantic Interfaces

Formulates mathematical conditions under which two distinct rendered interfaces can be proven equivalent projections of a single underlying semantic specification.

Knowing When to Retrieve: Dynamic Epistemic Thresholds in LLMs

Analyzes model entropy and confidence signals to determine the precise threshold where parametric generation must yield to active context retrieval, minimizing both latency and hallucination.

Parametric Domain Modeling for Bounded Decision Engines

Develops domain representation techniques that bound decision spaces before inference, ensuring autonomous systems operate only within validated state boundaries.