We discuss the application of an assumptionbased truth maintenance system to the construction of a circumscriptive theorem prover, showing that the connection discovered by Reiter and de Kleer between assumption-based truth maintenance and prime implicants relates to the notions of minimality appearing in nonmonotonic reasoning. The ideas we present have been implemented, and the resulting syst...

1 Division of Physics, Mathematics & Astronomy 105-24, California Institute of Technology, Pasadena, CA 91125,USA 2 Department of Physics, New Mexico Tech, PO Box 3394 c/s, Socorro, NM 87801 3 Department of Physics, Oberlin College, Oberlin, OH 44074 4 Department of Physics, Carleton College, 300 N. College St., Northfield, MN 55057 5 National Radio Astronomy Observatory, P. O. Box O, Socorro, ...

After a review of situation theory and previous attempts at ‘computational’ situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic tempo...

We report the discovery, from the H i Parkes All-Sky Survey (HIPASS), of an isolated cloud of neutral hydrogen which we believe to be extragalactic. TheH i mass of the cloud (HIPASS J1712-64) is very low, 1.7×10M⊙, using an estimated distance of ∼ 3.2 Mpc. Most significantly, we have found no optical companion to this object to very faint limits (μ(B) ∼ 27 mag arcsec). HIPASS J1712-64 appears t...

We propose a solution to problems involving temporal projection and explanation (e.g., the Yale shooting problem) based on the idea that whether a situation is abnormal should not depend upon historical information about how the situation arose. We apply these ideas both to the Yale shooting scenario and to a blocks world domain that needs to address the qualification problem. 1 Introduction Th...

A. Jadbabaie was with Yale University, New Haven, CT 06520 USA. He is now with the Department of Electrical and Systems Engineering and GRASP Laboratory, University of Pennsylvania, Philadelphia, PA 19104 USA (e-mail: [email protected]). J. Lin and A. S. Morse are with the Center for Computational Vision and Control, Department of Electrical Engineering, Yale University, New Haven, CT 065...

Chemotherapy, one of the mainstays of cancer treatment today, was pioneered at Yale during World War II. Last year, two Yale surgeons, Drs. John Fenn and Robert Udelsman, sought to unearth the mystery surrounding the discovery of chemotherapy and its first use at Yale. The first chemotherapy patient is known only as JD in the literature, and without a name, date of birth, or medical record numb...

Dr. Dorothy Horstmann, epidemiologist, virologist, clinician, and educator, was the first woman appointed as a professor at the Yale School of Medicine. Horstmann made significant contributions to the fields of public health and virology, her most notable being the demonstration that poliovirus reached the central nervous system via the bloodstream, upsetting conventional wisdom and paving the ...

‘… in theory there is no difference between and practice, while practice …’Benjamin Brewster, The Yale Literary Magazine, Volume 47, 1882The question to which military strategy i...

In the archives of Yale Center for British Art there is an album pressed plant, flower, and seaweed specimens. This material artefact – assembled by unknown collector features plates fr...