Reasoning about mental states and processes is important in varioussubareas of the legal domain. A trial lawyer might need to reason andthe beliefs, reasoning and other mental states and processes of membersof a jury; a police officer might need to reason about the conjecturedbeliefs and reasoning of perpetrators; a judge may need to consider adefendant's mental states and processes for the purposes of sentencing;and so on. Further, the mental states in question may themselves beabout the mental states and processes of (...) other people. Therefore, if AIsystems are to assist with reasoning tasks in law, they may need to beable to reason about mental states and processes. Such reasoning isriddled with uncertainty, and this is true in particular in the legaldomain. The article discusses how various different types ofuncertainty arise, and shows how they greatly complicate the task ofreasoning about mental states and processes. The article concentrates onthe special case of states of belief and processes of reasoning, andsketches an implemented, prototype computer program (ATT-Meta) thatcopes with the various types of uncertainty in reasoning about beliefsand reasoning. In particular, the article outlines the system'sfacilities for handling conflict between different lines of argument,especially when these lie within the reasoning of different people. Thesystem's approach is illustrated by application to a real-life muggingexample. (shrink)

Connectionist attention to variables has been too restricted in two ways. First, it has not exploited certain ways of doing without variables in the symbolic arena. One variable-avoidance method, that of logical combinators, is particularly well established there. Secondly, the attention has been largely restricted to variables in long-term rules embodied in connection weight patterns. However, short-lived bodies of information, such as sentence interpretations or inference products, may involve quantification. Therefore short-lived activation patterns may need to achieve the effect of (...) variables. The paper is mainly a theoretical analysis of some benefits and drawbacks of using logical combinators to avoid variables in short-lived connectionist encodings without loss of expressive power. The paper also includes a brief survey of some possible methods for avoiding variables other than by using combinators. (shrink)

Jackendoff comes to some appealing overall conclusions, but several of his assumptions and arguments are questionable. The present commentary points out the following problems: oversimplifications in the translation-based argument for the independence of language and thought; a lack of consideration of the possibility of unconscious use of internalized natural languages; insufficient consideration of possible characteristics of languages of thought ; neglect of the possibility of thinking in example-oriented and metaphorical ways; unfair bias in contrasting visual to linguistic imagery; neglect of (...) other types of imagery; and neglect of the possibility of unconscious attentional processes. (shrink)

The views of self-deception that Mele attacks are thoroughly metaphorical, and should never have purported to imply the existence of real internal acts of deception. Research on self-deception, including Mele's appealing account, could be enriched and constrained by a broader investigation of the prevalent use of metaphor in thinking and talking about the mind.