Research on computational models of scientific discovery investigates both the induction of descriptive laws and the construction of explanatory models. Although the work in law discovery centers on knowledge‐lean approaches to searching a problem space, research on deeper modeling tasks emphasizes the pivotal role of domain knowledge. As an example, our own research on inductive process modeling uses information about candidate processes to explain why variables change over time. However, our experience with IPM, an artificial intelligence system that implements this (...) approach, suggests that process knowledge is insufficient to avoid consideration of implausible models. To this end, the discovery system needs additional knowledge that constrains the model structures. We report on an extended system, SC‐IPM, that uses such information to reduce its search through the space of candidates and to produce models that human scientists find more plausible. We also argue that although people carry out less extensive search than SC‐IPM, they rely on the same forms of knowledge—processes and constraints—when constructing explanatory models. (shrink)

This article provides an overview of, and thematic justification for, the special issue of the journal of Artificial Intelligence and Law entitled “E-Discovery”. In attempting to define a characteristic “AI & Law” approach to e-discovery, and since a central theme of AI & Law involves computationally modeling legal knowledge, reasoning and decision making, we focus on the theme of representing and reasoning with litigators’ theories or hypotheses about document relevance through a variety of techniques including machine learning. We also identify (...) two emerging techniques for enabling users’ document queries to better express the theories of relevance and connect them to documents: social network analysis and a hypothesis ontology. (shrink)

The common view of the transition between subitizing and numerosity estimation regimes is that there is a hard bound on the subitizing range, and beyond this range, people estimate. However, this view does not adequately address the behavioral signatures of enumeration under conditions of attentional load or in the immediate post-subitizing range. The possibility that there might exist a numerosity range where both processes of subitizing and estimation operate in conjunction has so far been ignored. Here, we investigate this new (...) proposal, that people strategically combine the processes of subitizing and estimation to maximize accuracy and precision, given time or attentional constraints. We present a process-level account of how subitizing and estimation can be combined through strategic deployment of attention to maximize the precision of perceived numerosity given time constraints. We then describe a computational model of this account and apply it in two experimental simulations to demonstrate how it can explain key findings in prior enumeration research. While recent modeling work has argued that the behavioral signatures of enumeration can best be explained through a single numerosity system with a single form of representation, we argue that our model demonstrates how the traditional two-systems view of numerical representation accounts for behavioral data through coordination with a unified attentional mechanism, rather than a unified representation. (shrink)