June 16 - 20, 1997
10:00...11:00 Registration
11:00...11:20 Opening Session
11:20...11:40 Break
11:40...12:20 Negnevitsky M. EXPERT SYSTEMS AND FUZZY KNOWLEDGE
12:20...13:00 Tjiok M. THE APPLICATION OF KRIPKE SEMANTICS IN MODELING DYNAMIC ASPECTS IN DATABASE SYSTEMS
13:00...14:00 Lunch Break
14:00...14:40 Gorodetsky A.E., Dubarenko V.V. ABOUT ONE METHOD OF THE DECISION DYNAMIC LOGICAL-AND-PROBABILISTIC PROBLEMS
14:40...15:20 Gorodetsky A.E., Dubarenko V.V. BINARY TREES IN STATE SPACE OF DYNAMIC CONTROL OBJECTS
15:20...16:00 Discussion
10:00...10:40 Ignatova V.N. LOGIC-LINGUISTIC STEMS OF IMAGE GENERATION IN GRAPHIC PLANNER AND VISUAL SCENE RECONSTRUCTER FOR THE AI “PICTURE-TEXT” SYSTEM
10:40...11:20 Ilyin G.M., Ignatova V.N. LOGIC-LINGUISTIC PROCESSORS FOR THE AI “PICTURE-TEXT” SYSTEM. FORMALIZED DESCRIPTION OF DATA FOR CONSTRUCTING MATRIX KNOWLEDGE
11:20...11:40 Break
11:40...12:20 Zlotnikov K.A., Garifullin N.B. COMPARABLE ANALYSIS OF FUZZY DISTINCTION MEASURES FOR PATTERN RECOGNITION
12:20...13:00 Gorodetsky A.E., Minayev A.V. THE TECHNIQUES OF THE OBJECT-ORIENTED PROGRAMMING TO CONTROL DYNAMIC OBJECTS
13:00...14:00 Lunch Break
14:00...14:40 Gusev S.A., Popov O.S. STRATEGIC IDENTIFICATION IN A MODE OF NORMAL FUNCTIONING OF ADAPTIVE SYSTEM
14:40...15:20 Balonin N.A. ANIMATED CARTOONS 2.5D FOR MOTION SIMULATION
15:20...16:00 Discussion
Wednesday, June 18
10:00...10:40 Burakov M.V., Popov O.S. CONTROL OF COMPLICATED PLANT WITH USE FUZZY KNOWLEDGE BASE
10:40...11:20 Burakov M.V., Popov O.S., Bandurin I.V. STRUCTURE OF THE ADAPTIVE FUZZY CONTROLLER
11:20...11:40 Break
11:40...12:20 Gorodetsky A.E., Tarasova I.L. ABOUT USE OF INTUITION AT ACCEPTANCE OF THE DECISION IN NOT COMPLETE DEFINITENESS CONDITIONS
12:20...13:00 Gorodetsky A.E., Tarasova I.L. FUZZY DESIGNING OF INTELLIGENT CONTROL SYSTEMS
13:00...14:00 Lunch Break
14:00...14:40 Levin V.I. CONTINUED LOGIC AND LOGICAL DETERMINATION IN THE PROBLEM OF MATHEMATICAL MODELING
14:40...15:20 Levin V.I. MATHEMATICAL MODELS OF DYNAMICAL PROCESSES IN DIGITAL AUTOMATION
15:20...16:00 Discussion
Thursday, June 19
10:00...10:40 Burgin M.S., Valkman Yu.R. LOGICAL VARIETIES IN DYNAMIC OBJECTS DESIGN AND CONTROL
10:40...11:20 Taran T.A. LOGICAL MODELING OF THE REFLEXIVE BEHAVIOR IN CONFLICT SITUATION
11:20...11:40 Break
11:40...12:20 Yerofeev A.A., Yerofeev S.A. MODELS OF FUNCTIONAL ELECTRONICS DEVICES
12:20...13:00 Yerofeev A.A., Yerofeev S.A. OPTIMIZATION OF DYNAMIC MULTICOHERENT OBJECTS OF FUNCTIONAL ELECTRONICS
13:00...14:00 Lunch Break
14:00...14:40 Timofeev A.V. INTELLIGENT MULTI-AGENT CONTROL OF ROBOTICS SYSTEMS
14:40...15:20 Arkov V.Y., Kulikov G.G., Breikin T.V. MARKOV MODELING APPLICATIONS IN LOGIC-LINGUISTIC CONTROL
15:20...16:00 Final Session
Mailing address of Program Committee: Prof. A.E. Gorodetsky,
Bolshoy prospect V.O., 61, St.Petersburg 199178, Russia
Voice phone: (+7-812)-217-0963
Fax: (+7-812)-217-8614
e-mail: gae@msa.ipme.ru
All the reports are planned to be published after the end of the Conference. The abstracts published will be presented to participants on their arriving.