Heuristics can be regarded as justifying the actions and beliefs of problem-solving agents. I use an analysis of heuristics to argue that a symbiotic relationship exists between traditional epistemology and contemporary artificial intelligence. On one hand, the study of models of problem-solving agents usingquantitative heuristics, for example computer programs, can reveal insight into the understanding of human patterns of epistemic justification by evaluating these models'' performance against human problem-solving. On the other hand,qualitative heuristics embody the justifying ability of defeasible rules, (...) the understanding of which is provided by traditional epistemology. (shrink)

An integrated representation of large‐scale space, or cognitive map, colled PLAN, is presented that attempts to address a broader spectrum of issues than has been previously attempted in a single model. Rather than examining way‐finding as a process separate from the rest of cognition, one or the fundamental goals of this work is to examine how the wayfinding process is integrated into general cognition. One result of this approach is that the model is “heads‐up,” or scene‐based, because it takes advantage (...) of the properties of the human visual system and, particularly, the visual system's split into two pathways. The emphasis on the human location or “where” system is new to cognitive mapping and is port of an attempt to synthesize prototype theory, associative networks and location together in a connectionist system. Not all of PLAN is new, however. Many of its parts have analogues in one or another preexisting theory. What makes PLAN unique is integrating the various components into a coherent whole, and the capacity of this resulting system to speak to a wide range of constraints. Our approach emphasizes adaptiveness; thus, our focus on such issues as ease of use and efficiency of learning. The result is a model that has a stronger relationship both to the environment, and to the ways that humans interact with it, compared with previous models. The resulting model is examined in some detail and compared to other systems. (shrink)

Conventional behaviors develop from practice for regularly occurring problems of coordination within a community of actors. Reusing and extending conventional methods for coordinating behavior is the task of everyday reasoning.The computational model presented in the paper details the emergence of convention in circumstances where there is no ruling body of knowledge developed by prior generations of actors within the community to guide behavior. The framework we assume combines social theories of cognition with human information processing models that have been developed (...) within Cognitive Science. The model presented reflects both elements of the framework. Conventional behaviors are partially coded in the predisposition of participants in a joint activity to expect certain points of coordination to develop during the course of the activity. The expected points of coordination that are commonly assumed form a design for an activity. Because of uncertainty, interruptions, and numerous other opportunities to get off‐track and out‐of‐synch, the participants must work jointly and continuously to achieve conventional coordination.One feature of the model is that the community improves its performance despite the fact that individual actors reason independently about their experiences. Another important feature of the model is that the mechanisms for improving behavior are tied to the memory function of individual actors. A third important feature is that the social interaction among the participants simplifies and drives the everyday reasoning processes. An analysis of a large set of computational experiments supports the theoretical position that is developed regarding everyday reasoning and convention. (shrink)

This paper is concerned with those elements of planning knowledge that are common to both understanding someone else's plan and creating a plan for one's own use. This planning knowledge can be divided into two bodies: Knowledge about the world, and knowledge about the planning process itself. Our interest here is primarily with the latter corpus. The central thesis is that much of the knowledge about the planning process itself can be formulated in terms of higher‐level goals and plans called (...) meta‐goals and meta‐plans. These entities can then be used by the same understanding and planning mechanisms that process ordinary goals and plans. However, the meta‐planning knowledge now enables these mechanisms to handle much more complicated situations in a uniform manner.Systems based on meta‐planning would have a number of advantages over existing problem solving and understanding systems. The same knowledge could be shared by both a planner and understander, and both would be able to handle complex situations elegantly. In addition, in planning, the use of meta‐planning has several advantages over more traditional methods involving constraints or critics. Meta‐planning allows the full power of a problem solver to be applied to situations that are generally amenable only to special purpose processing. In addition, meta‐planning facilitates the representation of some situations that are difficult to express otherwise. We have begun to introduce meta‐planning knowledge into two systems: PAM, a story understanding program, and PANDORA, a problem solving and plannin̈g system. (shrink)

Planning problems arise in law when an individual (or corporation)wants to perform a sequence of actions that raises legal issues. Manylawyers make their living planning transactions, and a system thathelped them to solve these problems would be in demand.The designer of such a system in a common-law domain must addressseveral difficult issues, including the open-textured nature of legal rules,the relationship between legal rules and cases, the adversarial nature ofthe domain, and the role of argument. In addition, the system's design isconstrained (...) by the fact that the intended users are lawyers, and its operation and output must be convenient for lawyers to use.In this article, I describe a system called CHIRON that I have developed to explore solutions to these issues. This system develops simple plans from representations of statutes and cases in the domain of United States personal income tax planning. (shrink)

The concept of argumentation in AI is based almost exclusively on the use of formal, abstract representations. Despite their appealing computational properties, these abstractions become increasingly divorced from their real world counterparts, and, crucially, lose the ability to express the rich gamut of natural argument forms required for creating effective text. In this paper, the demands that socially situated argumentation places on knowledge representation are explored, and the various problems with existing formalisations are discussed. Insights from argumentation theory and social (...) psychology are then adduced as key contributions to a notion of social context which is both computationally tractable and suitably expressive for handling the complexities of argumentation found in natural language. (shrink)