Australia’s punitive policy towards people seeking asylum deliberately causes severe psychological harm and meets recognised definitions of torture. Consequently, there is a tension between doctors’ obligation not to be complicit in torture and doctors’ obligation to provide best possible care to their patients, including those seeking asylum. In this paper, we explore the nature of complicity and discuss the arguments for and against a proposed call for doctors to boycott working in immigration detention. We conclude that a degree of complicity (...) is unavoidable when working in immigration detention, but that it may be ethically justifiable. We identify ways to minimise the harms associated with complicity and argue that it is ethical to continue working in immigration detention as long as due care and attention is paid to minimising the harms of complicity. (shrink)

A phenomenon is that which appears. In his phenomenology, Jean-Luc Marion shows how a phenomenon that appears in and out of itself evades the metaphysical demand of grounding. Classical philosophy has acknowledged phenomena only in so far as they can be sanctioned by the concepts of the intellect. This holds good also of Husserl’s constitutive ego. Now, Marion distinguishes between such intuitively “poor phenomena” and the “saturated phenomena” that exceed the intentional consciousness; they are given not by the consciousness but (...) to the consciousness in an excess of intuition. This “gift of appearance” is Marion’s main concern, in the visible in general, and in painting in particular. But whereas idols only reflect our own desire to see and to be seen, icons surprise us by the gaze the saint directs on us. A picture is the scene of a possible revelation; and the revelation is nothing but the phenomenon taken in its fullest meaning: intuitive saturation at its maximum. A crucial question, nonetheless, remains: What is the relation between revelation as a phenomenological possibility, and Revelation as a theological dogma of the utmost importance? (shrink)

Formalizing commonsense knowledge for reasoning about time has long been a central issue in AI. It has been recognized that the existing formalisms do not provide satisfactory solutions to some fundamental problems, viz. the frame problem. Moreover, it has turned out that the inferences drawn do not always coincide with those one had intended when one wrote the axioms. These issues call for a well-defined formalism and useful computational utilities for reasoning about time and change. Yoav Shoham of Stanford University (...) introduced in his 1986 Yale doctoral thesis an appealing temporal nonmonotonic logic and identified a class of theories, causal theories, which have computationally simple model-theoretic properties. This paper is a study towards building upon Shoham's work on causal theories. We concentrate on improving computational aspects of causal theories while preserving their model-theoretic properties. (shrink)

Planlama --- bir amaca ulaşmak üzere bir aksiyonlar bütünü tasarlamak --- yapay zekadaki en temel problemlerden biridir. Bu yazıda, robotikte planlama konusuna mantıkçı (logicist) yaklaşım ele alınmaktadır. [Planning --- devising a plan of action to reach a given goal --- is a fundamental problem in AI. This paper reviews the logicist approach to planning in robotics.].

We extend causal theories and study actions in domains involving multiple agents. Causal theories, invented by Yoav Shoham, are based on a temporal nonmonotonic logic and have computationally tractable aspects. Since Shoham's formalism does not provide an adequate mechanism for representing simultaneous actions and specifying their consequences, we introduce the notion of counteractions while preserving the efficiency and model-theoretic properties of causal theories.

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 temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.

Serious thinking about the computational aspects of situation theory is just starting. There have been some recent proposals in this direction (viz. PROSIT and ASTL), with varying degrees of divergence from the ontology of the theory. We believe that a programming environment incorporating bona fide situation-theoretic constructs is needed and describe our very recent BABY-SIT implementation. A detailed critical account of PROSIT and ASTL is also offered in order to compare our system with these pioneering and influential frameworks.

Situation theory has been developed over the last decade and various versions of the theory have been applied to a number of linguistic issues. However, not much work has been done in regard to its computational aspects. In this paper, we review the existing approaches towards 'computational situation theory' with considerable emphasis on our own research.

While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their 'computational' aspects has just started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics to (...) artificial intelligence in a unified framework built upon situation-theoretic constructs. (shrink)

While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their 'computational' aspects has only recently started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics (...) to artificial intelligence in a unified framework built upon situation-theoretic constructs. (shrink)

Recently, there have been some attempts towards developing programming languages based on situation theory. These languages employ situation-theoretic constructs with varying degrees of divergence from the ontology of the theory. In this paper, we review three of these programming languages.

Over the past six decades, Antarctic Treaty Consultative Parties have developed legal agreements to protect various aspects of the Antarctic environment. Strong anthropocentrism (e.g., unsustainable harvesting of marine living resources) is generally rejected, and stewardship (e.g., minimizing risks of contamination) is accepted while protection of nonanthropocentric values (e.g., wilderness and intrinsic values) is evoked when it furthers human interests. As one of the world’s remaining large wildernesses, Antarctica is under threat from the continuous expansion of the human footprint and is (...) in need of attention from the wider society, including the environmental ethics community. The interdependence of all life on this planet means that problems in Antarctica are not as far away and trivial as it may seem. Furthermore, Antarctica’s extreme position at the edge of civilization challenges humans as moral agents to think about where our moral duties and rights begin and end on this planet, and elsewhere in the universe. Considerations of wilderness and intrinsic values, equity, and abiotic ethics are some of the issues that environmental ethics can contribute toward the protection of the Antarctic wilderness. (shrink)

We describe a novel approach to the analysis of pronominal anaphora in Turkish. A computational medium which is based on situation theory is used as our implementation tool. The task of resolving pronominal anaphora is demonstrated in this environment which employs situation-theoretic constructs for processing.

This is a review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.