There is, I think, something ethereal about i —the square root of minus one. I remember first hearing about it at school. It seemed an odd beast at that time—an intruder hovering on the edge of reality.

Usually familiarity dulls this sense of the bizarre, but in the case of i it was the reverse: over the years the sense of its surreal nature intensified. It seemed that it was impossible to write mathematics that described the real world in …

I and i

The organization of behavior: A neuropsychological theory

The Personal Interview

What is modal logic

IEEE transactions on computer-aided design of integrated circuits and systems : a publication of the IEEE Circuits and Systems Society

Ternary Galois Field Sum of Products (TGFSOP) expressions are found to be good choice for ternary reversible, and especially quantum, logic design. In this paper, we propose 16 Ternary Galois Field Expansions (TGFE) and introduce three Ternary Galois Field Decision Diagrams (TGFDD) using the proposed TGFEs, which are useful for reversible and quantum logic design. We also propose a heuristic for creating TGFDDs and a method for flattening the TGFDDs for determining TGFSOP expressions. We provide experimental results to show the effectiveness of the developed methods.

/pdf/ternary-galois-field-expansions-for-reversible-logic-and-227dei5jlq.pdf

Ternary Galois Field Expansions for Reversible Logic and Kronecker Decision Diagrams for Ternary GFSOP Minimization

A description is presented of PSUBOT (Portland State University roBOT)-a computerized electric wheelchair commanded by voice. The general description of the existing version is presented: control algorithms, navigation, and human interface. Also discussed are the basic principles of the new version under development, which will include computer vision. >

PSUBOT-a voice-controlled wheelchair for the handicapped

The paper presents a new application of decomposition of multiple-valued relations. We developed a theatre of interactive humanoid robots, Hahoe KAIST Robot Theatre. Version 2 includes three full body robots, equipped with vision, speech recognition, speech synthesis and natural language dialog based on machine learning abilities. The needs for this kind of project result from several research questions, especially in emotional computing and gesture generation, but the project has also educational, artistic, and entertainment values. It is a testbed to verify and integrate several algorithms in the domain of computational intelligence. Machine learning methods based on multiple-valued logic are used for representation of knowledge and machine learning from examples.

/pdf/hahoe-kaist-robot-theatre-learning-rules-of-interactive-2m0k2jwmze.pdf

Hahoe KAIST Robot Theatre: learning rules of interactive robot behavior as a multiple-valued logic synthesis problem

This paper presents a new algorithm MP(multiple pass) to synthesize large reversible binary circuits without ancilla bits. The MMD algorithm requires to store a truth table (or a Reed-Muller -RM transform) as a 2^n vector for a reversible function of n variables. This representation prohibits synthesis of large functions. However, in MP we do not store such an exponentially growing data structure. The values of minterms are calculated in MP dynamically, one-by-one, from a set of logic equations that specify the reversible circuit to be designed. This allows for synthesis of large scale reversible circuits (30-bits), which is not possible with existing algorithms. In addition, our unique multipass approach where the circuit is synthesized with various, yet specific, minterm orders yields optimal solution. The algorithm returns a description of the optimal circuit with respect to gate count or quantum cost. Although the synthesis process is relatively slower, the solution is found in real-time for smaller circuits of 8 bits or less

Synthesis of Reversible Circuits with No Ancilla Bits for Large Reversible Functions Specified with Bit Equations

In this paper the emotional model of the humanoid Cynthea (cybernetic networked humanoid emotional agent) robot is presented. The model is detailed at two levels: the cognitive level is described by the CRL language, and the emotional level manipulates the language in a data independent way. An emotional mapping is introduced and is used to alter the language words using local energy-based rules. The robot is described as a set of functional agents, each acting on behalf of its own emotional function generating the whole robot emotional state. The cognitive level is applied to describe situations such as dialogues, interactions and behaviors specified in the CRL language. The emotional level is used as a mechanism to introduce behavioral changes in the robot's command execution. The interaction of these levels evolves in alterations to the desired behavior. To allow global effects on the language level with lower level behavioral variations we provide a model of robot-specific emotions based on quantum cellular automata.

/pdf/quantum-mechanical-model-of-emotional-robot-behaviors-2vhhult729.pdf

Marek Perkowski

Papers

Ternary Galois Field Expansions for Reversible Logic and Kronecker Decision Diagrams for Ternary GFSOP Minimization

PSUBOT-a voice-controlled wheelchair for the handicapped

Hahoe KAIST Robot Theatre: learning rules of interactive robot behavior as a multiple-valued logic synthesis problem

Synthesis of Reversible Circuits with No Ancilla Bits for Large Reversible Functions Specified with Bit Equations

Quantum Mechanical Model of Emotional Robot Behaviors