Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, (...) A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

Environmental ethicists have frequently criticized ancient Greek philosophy as anti-environmental for a view of philosophy that is counterproductive to environmental ethics and a view of the world that puts nature at the disposal of people. This provocative collection of original essays reexamines the views of nature and ecology found in the thought of Plato, Aristotle, the Stoics, and Plotinus. Recognizing that these thinkers were not confronted with the environmental degradation that threatens contemporary philosophers, the contributors to this book find that (...) the Greeks nevertheless provide an excellent foundation for a sound theory of environmentalism. (shrink)

Forty‐nine subjects judged the relevancy of sentence parts of a word problem (the Allsports problem). Patterns of subjects' judgments suggest three problem‐solving heuristics: a SETS heuristic, a TIME heuristic, and a QUESTION heuristic. Presentation of the question before the problem tends to suppress SETS and TIME heuristics. A computer program (ATTEND) is presented to simulate subjects' behavior on the Allsports problem. The program is context‐sensitive in that it can change a relevance judgment upon the acquisition of further information. Averaged subject (...) judgments and ATTEND judgments agree for 87% of the items. (shrink)

This long-awaited new edition contains eight of the dialogues of Plato, and is the first in a new five-volume complete edition of his works in the OCT series.

Objective: To assess the adequacy of the process of informed consent for surgical patients at the University Hospital of the West Indies. Method: The study is a prospective, cross-sectional, descriptive study. 210 patients at the University Hospital of the West Indies were interviewed using a standardised investigator-administered questionnaire, developed by the authors, after obtaining witnessed, informed consent for participation in the study. Data were analysed using SPSS V.12 for Windows. Results: Of the patients, 39.4% were male. Of the surgical procedures, (...) 68.6% were scheduled, 7.6% urgent and 23.8% emergency, 35.2% were minor and 64.8% major. Information imparted/received was acceptable in 40% of cases, good in 24% and inadequate (unacceptable) in 36% of cases. Almost all (97.6%) patients stated that they understood why an operation was planned and 93.3% thought that they had given informed consent. Most (95.2%) thought that they had free choice and made up their own mind. A quarter (25.2%) of all patients were told that it was mandatory for them to sign the form. There was a discussion of possible side effects and complications in 56.7% of patients. Conclusions: This study clearly indicates that surgical patients at the University Hospital of the West Indies feel that they have given informed consent. However, it also suggests that more information should be given to patients for consent to be truly informed. (shrink)

Condensed detachment is usually regarded as a notation, and defined by example. In this paper it is regarded as a rule of inference, and rigorously defined with the help of the Unification Theorem of J. A. Robinson. Historically, however, the invention of condensed detachment by C. A. Meredith preceded Robinson's studies of unification. It is argued that Meredith's ideas deserve recognition in the history of unification, and the possibility that Meredith was influenced, through ukasiewicz, by ideas of Tarski (...) going back at least to 1939, and possibly to 1930 or earlier, is discussed. It is proved that a term is derivable by substitution and ordinary detachment from given axioms if and only if it is a substitution instance of a term which is derivable from these axioms by condensed detachment, and it is shown how this theorem enables the ideas of ukasiewicz and Tarski mentioned above to be formalized and extended. Finally, it is shown how condensed detachment may be subsumed within the resolution principle of J. A. Robinson, and several computer studies of particular Hilbert-type propositional calculi using programs based on condensed detachment or on resolution are briefly discussed. (shrink)

Objective: To develop an approach for seeking informed consent to examine tissues retained from a previous study of sudden infant death syndrome as part of a study on asthma, and to document responses and participation rate.Design: Pilot open-ended approach to 10 volunteer SIDS parents, followed by staged approach to seek consent from the target SIDS families for the asthma study.Participants: Parents of SIDS infants known to SIDS and Kids Victoria and parents of SIDS infants from the 1991–2 SIDS in Victoria (...) case–control study.Main outcomes: Qualitative responses of the piloted parents and study parents, and participation rates.Results: The pilot group responses were used to refine the written material to be provided. Of the 72 families for which contact details were available, 45 gave verbal consent for contact by the Victorian Institute of Forensic Medicine regarding the asthma study, three refused and 24 did not respond to two letters. Thirty-three completed consent forms, all positive for participation in the asthma study, giving a positive response rate of 73% .Conclusions: The use of postmortem tissue for research is acceptable to the next of kin when an approach is sensitive to their concerns and needs and is made by experienced counsellors from a familiar organisation. Despite the painful memories evoked by the approach of the research group, the acceptance rate among those who could be contacted was high. (shrink)

In the first part of this paper we indicate how Meredith's condensed detachment may be used to give a new proof of Belnap's theorem that if every axiom x of a calculus S has the two-property that every variable which occurs in x occurs exactly twice in x, then every theorem of S is a substitution instance of a theorem of S which has the two-property. In the remainder of the paper we discuss the use of mechanical theorem-provers, based either (...) on condensed detachment or on the resolution rule of J. A. Robinson, to investigate various calculi whose axioms all have the two-property. Particular attention is given to D-groupoids, i.e. sets of formulae which are closed under condensed detachment. (shrink)

Sigmund Freuds kritikere Frank J. Sulloway, Jeffrey M. Masson og Adolf Grünbaum og argumenterne mod deres kritik.