Simpson's paradox exemplifies a class of problems that can arise when the logic used to reason about the semantics of propositional sentences does not adequately capture certain dependencies between sentences of interest.
Stanford Research Institute is participating in a major program of research on the analysis of continuous speech by computer. The goal is the development of a speech understanding system capable of engaging a human operator in a natural conversation about a specific problem domain.
This report describes the Austin Independent School District’s recent effort to improve its high schools through a variety of initiatives led by the Office of District Redesign.
Deductive techniques are presented for deriving programs systematically from given specifications. The specifications express the purpose of the desired program without giving any hint of the algorithm to be employed.
TABLOG (Tableau Logic Programming Language) is a language based on first-order predicate logic with equality that combines functional and logic programming. TABLOG incorporate advantages of LISP and PROLOG.
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. Ultimately, these techniques are intended to lead to the automation of many of the facets of the programming process.
In a binary-search algorithm for the computation of a numerical function, the interval in which the desired output is sought is divided in half at each iteration.
There exists a large body of Artificial Intelligence (AI) research on generating plans, i.e., linear or nonlinear sequences of actions, to transform an initial world state to some desired goal state. However, much of the planning research to date has been complicated, ill-understood, and unclear.
