The goal of this session is to present various architectures
that are used or can be used for intelligent robots.
The first lecture proposes a new idea of a Internet Cyber-Theatre,
in which both the tele-present humans and automatic agents will
control robotic puppets on the stage.
This approach combines various previous robot design paradigms.
The second lecture demonstrates the longevity of basic
logic algorithms such as set covering in new areas such as
designing a robotic production line.
The third lecture presents new ideas for data mining based on
several theories developed in General Systems Theory.
Because new approach to robots designs them as data mining systems,
any data mining theory can be useful for them.
The software package OCCAM, developed by the author and his group,
includes the software used also for PSU robots, and in future both
packages will be integrated for robotics applications.
The next lecture of the series, (in session Robotics II),
presents a new memory model for an FPGA-based
Evolvable-Hardware Supercomputer.
This model will be used to control robotic animals connected to it.
Finally, the last lecture
presents a new evolutionary approach to Logic Synthesis and Learning,
which tries to combine heuristic search, voting approaches,
and evolutionary computation.
13:30 - 14:00 The OREGON CYBER THEATRE:
Invitation to Collaboration.
M. Perkowski, Portland State University, USA
14:00 - 14:30 Genetic Algorithms in Computer-Aided Design of
Robotic Manufacturing Cells
A. Pashkevich, State University, Minsk, Belarus
14:30 - 15:00 Reconfigurability Analysis Approach to Data Mining,
M. Zwick, Portland State University, USA
Session 4b: Information Theory Approaches Smith Memorial Balroom
to Logic Synthesis
Chair: Martin Zwick
Information Theory has been not used much in classical logic
synthesis but was popular in logic approaches to Data Mining, such as
decision trees. This session investigates new approaches based on
information theory to various problems in logic synthesis, all having direct
link to robotics and data mining.
13:00 - 13:30 Information Theoretic Approach to Minimization
of Arithmetic Expressions,
D. Popel, S. Yanushkevich,
Technical University of Szczecin, Poland,
M. Perkowski, Portland State University, USA.
P. Dziurzanski, V. Shmerko,
Technical University of Szczecin, Poland,
13:30 - 14:00 Application of Information Relationship Measures
to Decomposition of Incompletely Specified
Boolean Functions and Sequential Machines
Lech Jozwiak, Technical University of Eindhoven,
The Netherlands.
15:00 - 15:10 Refreshment break
Session 5: Tutorial Talk Smith Memorial Center Cascade Room
Chair: T. Sasao
15:10 - 16:00 A Breakthrough in Problem Representation:
Implicit Methods for Logic Synthesis, Test and Verification
A. Mishchenko,
Portland State University, USA
16:00 - 16:10 Refreshment break
Session 6a: Robotics II Smith Memorial Cascade Room
Chair: M. Perkowski
16:10 - 16:40 Dynamic Logic
Andrzej Buller,
Technical University of Gdansk, Gdansk, Poland
16:40 - 17:10 A New Evolutionary Approach to Logic Synthesis and Learning
K. Dill, Portland State University, USA
Session 6b: Academia and Real Life: Smith Memorial Center Cascade Room
Challenges and Open Problems.
Chair: Dan Hammerstrom
What are the real challenges of researchers
that work in industry? This session should help the academician to look out
from the Ivory tower to broad and challenging perspectives.
Hopefully, some new research will result from it.
16:10 - 16:40 Hard Problems in Formal Verification.
Slawomir Pilarski, Synopsys Inc., Oregon.
16:40 - 17:10 Practical Challenges in Test Generation.
Chris Tsai, Mentor Graphics Inc., Wilsonville, Oregon.
17:10 - 17:40 Academia versus Industry: Challenges in Design.
Timothy Kam,
Intel Research, Hillsboro, Oregon.
18:10 ISMVL 2000 Welcome Reception, wine and cheese. A surprise.