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)

In this paper, we propose a new mathematical model of retrieval of intentions from long-term memory. We model retrieval as a stochastic race between a plurality of potentially relevant intentions stored in long-term memory. Psychological theories are dominated by two opposing conceptions of the role of memory in temporally extended agency – as when a person has to remember to make a phone call in the afternoon because, in the morning, she promised she would do so. According to the Working (...) Memory conception, remembering to make the phone call is explained in terms of the construction and maintenance of intentions in working-memory. According to the Long-Term Memory conception, we should explain the episode in terms of an ability to store intentions in long-term memory. The two conceptions predict different processing profiles. The aim of this paper is to present a new mathematical model of the type of memory mechanism that could realise the long-term memory representations of intentions necessary for the Long-Term Memory conception. We present and illustrate the formal model and propose a new type of experimental paradigm that could allow us to test which of the two conceptions provides the best explanation of the role of memory in temporally extended agency. (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)

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)

In this paper, planning models developed in artificial intelligence are applied to the kind of planning that must be carried out by participants in a conversation. A planning mechanism is defined, and a short fragment of a free‐flowing videotaped conversation is described. The bulk of the paper is then devoted to an attempt to understand the conversation in terms of the planning mechanism. This microanalysis suggests ways in which the planning mechanism must be augmented, and reveals several important conversational phenomena (...) that deserve further investigation. (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)

Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...