Artificial consciousness, artificial emotions, and autonomous robots

Nowadays for robots, the notion of behavior is reduced to a simple factual concept at the level of the movements. On another hand, consciousness is a very cultural concept, founding the main property of human beings, according to themselves. We propose to develop a computable transposition of the consciousness concepts into artificial brains, able to express emotions and consciousness facts. The production of such artificial brains allows the intentional and really adaptive behavior for the autonomous robots. Such a system managing the robot’s behavior will be made of two parts: the first one computes and generates, in a constructivist manner, a representation for the robot moving in its environment, and using symbols and concepts. The other part achieves the representation of the previous one using morphologies in a dynamic geometrical way. The robot’s body will be seen for itself as the morphologic apprehension of its material substrata. The model goes strictly by the notion of massive multi-agent’s organizations with a morphologic control.     

Begging the Question in Arguments Based on Testimony

Summary This paper studies some classic cases of the fallacy of begging the question based on appeals to testimony containing circular reasoning. For example, suppose agents a, b and c vouch for d’s credentials, and agents b, d, and e vouch for a’s credentials. Such a sequence of reasoning is circular because a is offering testimony for d but d is offering testimony for a. The paper formulates and evaluates restrictions on the use of testimonial evidence that might be used to deal with such problematic arguments. One is called the Non-repeater Rule: in an extended sequence of argumentation based on testimony, once a source x has been appealed to at any given point in the sequence, that same source x must never be appealed to again at any next point in the same sequence.     

Modeling parallelization and flexibility improvements in skill acquisition: from dual tasks to complex dynamic skills

Emerging parallel processing and increased flexibility during the acquisition of cognitive skills form a combination that is hard to reconcile with rule-based models that often produce brittle behavior. Rule-based models can exhibit these properties by adhering to 2 principles: that the model gradually learns task-specific rules from instructions and experience, and that bottom-up processing is used whenever possible. In a model of learning perfect time-sharing in dual tasks (Schumacher et al., 2001), speedup learning and bottom-up activation of instructions can explain parallel behavior. In a model of a complex dynamic task (Carnegie Mellon University Aegis Simulation Program [CMU-ASP], Anderson et al., 2004), parallel behavior is explained by the transition from serially organized instructions to rules that are activated by both top-down (goal-driven) and bottom-up (perceptually driven) factors. Parallelism lets the model opportunistically reorder instructions, leading to the gradual emergence of new task strategies.     

The role of stimulus ambiguity and movement in spatial navigation: a multiple memory systems analysis of location discrimination

This paper reviews recent findings about how rats navigate by learning to discriminate among locations. The assumption underlying the experiments and their interpretation is that the information required to do this is learned by three independent, parallel memory systems. One system processes cognitive information (or "knowledge"), a second system processes reinforced stimulus-response associations and a third processes Pavlovian conditioned responses in the form of stimulus-affect associations. The information stored in each system produces behavior that, in some cases, results in a location discrimination. The present experiments focus on three factors that influence what each system learns and whether the resulting memory produces behavior that results in a location discrimination. One factor is whether the locations to be discriminated can be identified by unique, unambiguous stimuli or whether they are ambiguously associated with the same stimuli. The second factor is whether the stimuli are observed passively or whether the rats move among them, voluntarily or involuntarily. The third factor is whether or not the rats perform specific reinforced responses in the presence of the stimuli. Instances of co-operative behavioral outputs from memory systems that facilitate location discriminations and of competitive outputs that impede discriminations are described.     

An Introduction to the Special Issue on Advances in Process and Dynamic System Analysis of Social Interaction and the Development of Antisocial Behavior

A thorough understanding of how social relationships contribute to child and adolescent trajectories for antisocial behavior may be facilitated by: (a) ascertaining multiple relationship processes (e.g., warmth and reciprocity, coercion and deviancy training); (b) focusing on multiple relationships (e.g., with parents, peers, siblings, and teachers): and (c) assessing relationship processes using increasingly sophisticated measurement and theoretical models (e.g., global ratings and sequential and dynamical systems analyses) of observed microsocial interaction. The reports comprising this special issue, and how they build on and advance previous research efforts, are described from this frame of reference.     

A Proof-theoretical Analysis of Semiconstructive Intermediate Theories

In the 80's Pierangelo Miglioli, starting from motivations in the framework of Abstract Data Types and Program Synthesis, introduced semiconstructive theories, a family of large subsystems of classical theories that guarantee the computability of functions and predicates represented by suitable formulas. In general, the above computability results are guaranteed by algorithms based on a recursive enumeration of the theorems of the whole system. In this paper we present a family of semiconstructive systems, we call uniformly semiconstructive, that provide computational procedures only involving formulas with bounded complexity. We present several examples of uniformly semiconstructive systems containing Harrop theories, induction principles and some well-known predicate intermediate principles. Among these, we give an account of semiconstructive and uniformly semiconstructive systems which lie between Intuitionistic and Classical Arithmetic and we discuss their constructive incompatibility.     

Ecological Factors Impacting Provider Attitudes Towards Human Service Delivery Reform

Although reform efforts are substantially altering the structural operations and guiding ideological framework of the human service delivery system, little empirical work has been done to systematically examine these transformations. This study examines providers' attitudes regarding two reform elements that are being widely implemented: an increased emphasis on inter-agency collaboration and a shift from a medical model service delivery philosophy, that focuses on client deficits, to one that emphasizes consumer strengths. Through survey data collected from 186 providers from 32 human service agencies in one county, the relationship between providers' perceptions of contextual support for human service delivery reform and providers' attitudes towards these initiatives is explored. The findings from this study support the importance of attending to the ecology in which we initiate system reform efforts. For both reform elements, working within contexts that are perceived as providing ideological and functional support for change was associated with positive provider attitudes towards those changes. Staffs' perceptions of the external environment played the most critical role in shaping staff attitudes. Interestingly, unique aspects of providers' work environments were related to positive attitudes towards the two different reforms. The implications of these findings for the success of human service delivery reform are discussed.     

Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric

This paper is the first of a series of three articles that present the syntactic proof of the PA-completeness of the modal system G, by introducing suitable proof-theoretic objects, which also have an independent interest. We start from the syntactic PA-completeness of modal system GL-LIN, previously obtained in [7], [8], and so we assume to be working on modal sequents S which are GL-LIN-theorems. If S is not a G-theorem we define here a notion of syntactic metric d(S, G): we calculate a canonical characteristic fomula H of S (char(S)) so that _G H (S) and _GL-LIN H, and the complexity of H gives the distance d(S, G) of S from G. Then, in order to produce the whole completeness proof as an induction on this d(S, G), we introduce the tree-interpretation of a modal sequent Q into PA, that sends the letters of Q into PA-formulas describing the properties of a GL-LIN-proof P of Q: It is also a d(*, G)-metric linked interpretation, since it will be applied to a proof-tree T of H with H = char(S) and ( H) = d(S, G).     

The Dynamics of Families in Business: How Therapists can Help in Ways Consultants Don't

Family-owned businesses comprise 80–90% of companies in the United States of America and employ almost one-half of the US work force. Only 70% of these companies will make the transition into the family's second generation of leadership, however, sometimes partly because families work differently and toward different goals than do businesses. Interpersonal family dynamics—spousal, parental, father-son, father-daughter, sibling and in-law—can be a major factor in the failure to thrive. Exploring family systems theory, this article explains why these troubled families in business together need therapeutic practitioners' unique experience—experience consultants usually do not possess.