The study of paraconsistent logic as a branch of mathematics and logic has been pioneered by Newton da Costa. With the growing advent of distributed and often inconsistent databases over the last ten years, there has been growing interest in paraconsistency amongst researchers in databases and knowledge bases. In this paper, we provide a brief survey of work in paraconsistent databases and knowledge bases affected by Newton da Costa's important and lasting contributions to the field.

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. (...) Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

Query processing in ground definite deductive is known to correspond precisely to a linear programming problem. However, the “groundedness” requirement is a huge drawback to using linear programming techniques for logic program computations because the ground version of a logic program can be very large when compared to the original program. Furthermore, when we move from propositional logic programs to first-order logic programs, this effectively means that functions symbols may not occur in clauses. In this paper, we develop a theory (...) of “instantiate- by-need” that performs instantiations only when needed. We prove that this method is sound and complete when computing answer substitutions for non-ground logic programs including those containing function symbols. More importantly, when taken in conjunction with Colmerauer's result that unification can be viewed as linear programming, this means that resolution with unification can be completely replaced by linear programming as an operational paradigm. Additionally, our tree construction method is not rigidly tied to the linear programming paradigm-we will show that given any method M that can compute the set of atomic logical consequences of a propositional logic program, our method can use M to compute , the set of all atoms that are consequences of a first-order logic program. (shrink)

Subjects perceived touch sensations as arising from a table (or a rubber hand) when both the table (or the rubber hand) and their own real hand were repeatedly tapped and stroked in synchrony with the real hand hidden from view. If the table or rubber hand was then ‘injured’, subjects displayed a strong skin conductance response (SCR) even though nothing was done to the real hand. Sensations could even be projected to anatomically impossible locations. The illusion was much less vivid, (...) as indicated by subjective reports and SCR, if the real hand was simultaneously visible during stroking, or if the real hand was hidden but touched asynchronously. The fact that the illusion could be significantly diminished when the real hand was simultaneously visible suggests that the illusion and associated SCRs were due to perceptual assimilation of the table (or rubber hand) into one’s body image rather than associative conditioning. These experiments demonstrate the malleability of body image and the brain’s remarkable capacity for detecting statistical correlations in the sensory input. (shrink)

Summary Apotemnophilia, or body integrity image disorder (BIID), is characterised by a feeling of mismatch between the internal feeling of how one’s body should be and the physical reality of how it actually is. Patients with this condition have an often overwhelming desire for an amputation- of a specific limb at a specific level. Such patients are not psychotic or delusional, however, they do express an inexplicable emotional abhorrence to the limb they wish removed. It is also known that such (...) patients show a left-sided preponderance for their desired amputation. Often they take drastic action to be rid of the offending limb. Given the left-sided bias, emotional rejection and specificity of desired amputation, we suggest that there are clear similarities to be drawn between BIID and somatoparaphrenia. In this rare condition, which follows a right parietal stroke, the patient rejects (usually) his left arm as ‘‘alien’’. We go on to hypothesis that a dysfunction of the right parietal lobe is also the cause of BIID. We suggest that this leads to an uncoupling of the construct of one’s body image in the right parietal lobe from how one’s body physically is. This hypothesis would be amenable to testing by response to cold-water vestibular caloric stimulation, which is known to temporarily treat somatoparaphrenia. It could also be investigated using functional brain imaging and skin conductance response. If correct our hypothesis not only suggests why BIID arises, but also, in caloric stimulation a therapeutic avenue for this chronic and essentially untreatable condition. (shrink)

Издание содержит: научное изучение времени и информации; философское изучение времени и информации; практическое применение знаний о времени и информации и др.

An interview with Anthony Freeman, in which one of the original authors of ‘The Science of Art’ [JCS, 6, No. 6/7, 1999] responds to to ongoing commentary.

Here we outline a simple method of using two mirrors which allows one to stand outside oneself. This method demonstrates that registration of vision with touch and proprioception is crucial for the perception of the corporeal self. Our method may also allow the disassociation of taste from touch, proprioception, and movement.

Neurological syndromes in which consciousness seems to malfunction, such as temporal lobe epilepsy, visual scotomas, Charles Bonnet syndrome, and synesthesia offer valuable clues about the normal functions of consciousness and ‘qualia’. An investigation into these syndromes reveals, we argue, that qualia are different from other brain states in that they possess three functional characteristics, which we state in the form of ‘three laws of qualia ’ based on a loose analogy with Newton’s three laws of classical mechanics. First, they are (...) irrevocable: I cannot simply decide to start seeing the sunset as green, or feel pain as if it were an itch; second, qualia do not always produce the same behaviour: given a set of qualia, we can choose from a potentially infinite set of possible behaviours to execute; and third, qualia endure in short-term memory, as opposed to non-conscious brain states involved in the on-line guidance of behaviour in real time. We suggest that qualia have evolved these and other attributes (e.g. they are ‘filled in’) because of their role in facilitating non-automatic, decision-based action. We also suggest that the apparent epistemic barrier to knowing what qualia another person is experiencing can be overcome simply by using a ‘bridge ’ of neurons; and we offer a hypothesis about the relation between qualia and one’s sense of self. (shrink)

Recent years have seen the attention of physicists and philosophers, both at home and abroad, increasingly drawn, as is evident in the professional literature, to the question of the possibility of the existence of particles moving at speeds greater than that of light and to determining the physical and philosophical consequences of this hypothesis. The philosophical consequences have to do primarily with the causality principle. We are in receipt of two articles in which these questions are examined from different perspectives (...) and which supplement each other. (shrink)