A duality between Pawlak's knowledge representation systems and bi-consequence systems

A duality between Pawlak's knowledge representation systems and certain information systems of logical type, called bi-consequence systems is established. As an application a first-order characterization of some informational relations is given and a completeness theorem for the corresponding modal logic INF is proved. It is shown that INF possesses finite model property and hence is decidable.     

Using relations within conceptual systems to translate across conceptual systems

According to an "external grounding" theory of meaning, a concept's meaning depends on its connection to the external world. By a "conceptual web" account, a concept's meaning depends on its relations to other concepts within the same system. We explore one aspect of meaning, the identification of matching concepts across systems (e.g. people, theories, or cultures). We present a computational algorithm called ABSURDIST (Aligning Between Systems Using Relations Derived Inside Systems for Translation) that uses only within-system similarity relations to find between-system translations. While illustrating the sufficiency of a conceptual web account for translating between systems, simulations of ABSURDIST also indicate powerful synergistic interactions between intrinsic, within-system information and extrinsic information.     

Four dialogue systems

The paper describes four dialogue systems, developed in the tradition of Charles Hamblin. The first system provides an answer for Achilles in Lewis Carroll's parable, the second an analysis of the fallacy of begging the question, the third a non-psychologistic account of conversational implicature, and the fourth an analysis of equivocation and of objections to it. Each avoids combinatorial explosions, and is intended for real-time operation.     

Multi-agency family systems

The term 'multi-agency' family is preferred to 'disorganized' family. Multi-agency family systems present special problems of the relationships (a) within the family, (b) between family and professional network, (c) among members of the professional network and (d) between family, network and treatment centre to whom the family is referred. Pressures on the family and professional workers can create a locked system which prevents natural development of the family or effective problem solving by the workers. A systems approach to such problems is presented which includes consultation to the family/professional network system.     

Perceptual symbol systems

Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statistics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement recording systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The storage and reactivation of perceptual symbols operates at the level of perceptual components--not at the level of holistic perceptual experiences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a common frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspection (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and abstract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinatorially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a perceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal symbol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored.     

Possible number systems

Number systems—such as the natural numbers, integers, rationals, reals, or complex numbers—play a foundational role in mathematics, but these systems can present difficulties for students. In the studies reported here, we probed the boundaries of people’s concept of a number system by asking them whether “number lines” of varying shapes qualify as possible number systems. In Experiment 1, participants rated each of a set of number lines as a possible number system, where the number lines differed in their structures (a single straight line, a step-shaped line, a double line, or two branching structures) and in their boundedness (unbounded, bounded below, bounded above, bounded above and below, or circular). Participants also rated each of a group of mathematical properties (e.g., associativity) for its importance to number systems. Relational properties, such as associativity, predicted whether participants believed that particular forms were number systems, as did the forms’ ability to support arithmetic operations, such as addition. In Experiment 2, we asked participants to produce properties that were important for number systems. Relational, operation, and use-based properties from this set again predicted ratings of whether the number lines were possible number systems. In Experiment 3, we found similar results when the number lines indicated the positions of the individual numbers. The results suggest that people believe that number systems should be well-behaved with respect to basic arithmetic operations, and that they reject systems for which these operations produce ambiguous answers. People care much less about whether the systems have particular numbers (e.g., 0) or sets of numbers (e.g., the positives).     

Virtual information systems

“Virtual Information Systems” (VIS), with probability measures outside the standard range [0,1], emerging at nonequilibrium phase transitions, may be the substrate mechanism underlying the human acquisition of information.     

Physical symbol systems

On the occasion of a first conference on Cognitive Science, it seems appropriate to review the basis of common understanding between the various disciplines. In my estimate, the most fundamental contribution so far of artificial intelligence and computer science to the joint enterprise of cognitive science has been the notion of a physical symbol system, i.e., the concept of a broad class of systems capable of having and manipulating symbols, yet realizable in the physical universe. The notion of symbol so defined is internal to this concept, so it becomes a hypothesis that this notion of symbols includes the symbols that we humans use every day of our lives. In this paper we attempt systematically, but plainly, to lay out the nature of physical symbol systems. Such a review is in ways familiar, but not thereby useless. Restatement of fundamentals is an important exercise.     

Reputation blackboard systems

Blackboard systems are motivated by the popular view of task forces as brainstorming groups in which specialists write promising ideas to solve a problem in a central blackboard. Here we study a minimal model of blackboard system designed to solve cryptarithmetic puzzles, where hints are posted anonymously on a public display (standard blackboard) or are posted together with information about the reputations of the agents that posted them (reputation blackboard). We find that the reputation blackboard always outperforms the standard blackboard, which, in turn, always outperforms the arrangement where the agents work independently. The asymptotic distribution of the computational cost of the search, which is proportional to the total number of agent updates required to find the solution of the puzzle, is an exponential distribution for those three search heuristics. Only for the reputation blackboard we find a nontrivial dependence of the mean computational cost on the system size and, in that case, the optimal performance is achieved by a single agent working alone, indicating that, though the blackboard organization can produce impressive performance gains when compared with the independent search, it is not very supportive of cooperative work.     

Family systems therapy

Journal of Child and Family Studies -     

Changing systems by changing individuals: the incubation approach to systems change

This article describes and evaluates the implementation of an innovative approach to systems change, the incubation approach, which was developed on a systems change project designed to increase the capacity of multiple systems (e.g., law enforcement, child protection, domestic violence, mental health, early education) to respond to children’s exposure to violence. The incubation approach encourages change agents to collaborate with project staff to gently nurture, or “incubate,” feasible and warranted change in target systems. Project staff gain concrete commitment from motivated and accessible change agents and collaborate with those agents to implement change actions. This approach works well with committed, executive-level change agents in target systems, with stable systems that have low turnover and well-integrated subsystems, and when seed funds are provided to key organizations.     

Computer-based interactive video systems

Computer-controlled interactive video instruction provides an instructional technique that overcomes many of the shortcomings of using the computer alone as an instructional device. Students who have used interactive video modules have been shown to better retain the material presented and to enjoy the course more than students not using the video modules.     

Repacking of crumpled systems

The packing density of a crumpled wire and a crumpled surface submitted to axial compression is investigated. The geometrical, topological and mechanical aspects of both problems are reported and connected with classical results in sphere packing and percolation theory.