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)

A person's cognitive map, or knowledge of large‐scale space, is built up from observations gathered as he travels through the environment. It acts as a problem solver to find routes and relative positions, as well as describing the current location. The TOUR model captures the multiple representations that make up the cognitive map, the problem‐solving strategies it uses, and the mechanisms for assimilating new information. The representations have rich collections of states of partial knowledge, which support many of the performance (...) characteristics of common‐sense knowledge. (shrink)

These notes discuss formalizing contexts as first class objects. The basic relationships are: ist(c,p) meaning that the proposition p is true in the context c, and value(c,p) designating the value of the term e in the context c Besides these, there are lifting formulas that relate the propositions and terms in subcontexts to possibly more general propositions and terms in the outer context. Subcontextx are often specialised with regard to time, place and terminology. Introducing contexts as formal objects will permit (...) axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Fully implementing transcendence seems to require further extensions to mathematical logic, ie. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic. (shrink)