CONTENTS OF DOLLC'97 PROCEEDINGS


PREFACE OF EDITOR (1 p)

Tjiok M. THE APPLICATION OF KRIPKE SEMANTICS IN MODELING DYNAMICAL ASPECTS IN DATABASE SYSTEMS(30 pp)

Karkar H. MODELS FOR CONFIDENCE AND MISTRUST IN GAME THEORY (11 pp)

Taran T.A. THE LOGIC OF ARGUMENTATION USE FOR MULTI-AGENT SYSTEMS (12 pp)

Ilyin G.M., Ignatova V.N. LOGIC-LINGUISTIC PROCESSORS FOR THE AI “PICTURE<-->TEXT” SYSTEM. FORMALIZATED DESCRIPTION OF DATA FOR CONSTRUCTING MATRIX KNOWLEDGE (10 pp)

Ignatova V.N. LOGIC-LINGUISTIC STEMS OF IMAGE GENERATION IN GRAPHIC PLANNER AND VISUAL SCENE RECONSTRUCTER FOR THE AI “PICTURE<-->TEXT” SYSTEM (10 pp)

Yerofeyev A.A., Yerofeyev S.A. MODELS OF FUNCTIONAL ELECTRONICS DEVICES (7 pp)

Yerofeyev A.A., Yerofeyev S.A. OPTIMIZATION OF DYNAMIC MULTICOHERENT OBJECTS OF FUNCTIONAL ELECTRONICS (8 pp)

Gorodetsky A.E., Tarasova I.L. FUZZY DESIGNING OF INTELLIGENT CONTROL SYSTEMS ON THE BASIS OF THE HABITUALITY SITUATION APPLICATION (7 pp)

Gorodetsky A.E., Minayev A.V. THE TECHNIQUES OF THE OBJECT-ORIENTED PROGRAMMING TO CONTROL DYNAMIC OBJECTS (3 pp)

Gorodetsky A.E., Dubarenko V.V. ABOUT ONE METHOD OF THE DECISION DYNAMIC LOGICAL-AND-PROBABILISTIC PROBLEMS (18 pp)