T E K N O L O G I A K A U P U N K l O U L U STeP-90 Finnish Artifical Intelligence Symposium Suomen Tekoalytutkimuksen paivat University of Oulu, June 11-14,1990 Edited by Markus Djupsund, Petri Salonen, Markku Syrjanen UB/TIB Hannover 111 057 418 89 Finnish Artifical Intelligence Society (FAIS) Blanko ry
CONTENTS Invited Papers Pietikainen M.: 1 Konenako ja sen teolliset sovellukset EshghiK 7 Model Based Circuit Diagnosis Adam J.P.: 17 Intelligent Engineering Sestito S., Dillon T.: 27 Using Sub-Symbolic Methods for Machine Learning of High Level Knowledge Representations Contributed papers Logic, Theorem Proving OrciT.: 50 Clause Graph Proof Procedure for Model Logic Q Niemela I.: 04 A New Characterization of Autoepistemic Reasoning Hyvonen E.: 74 Inexact Constraint Reasoning in Predicate Logic Tuominen H.: 86 Proving Properties of Petri Nets with a Resolution Theorem Prover
Artifical Intelligence and Art -VI - Tolonen P.: 95 Auditive Monitoring of Scientific Data: Applications of Symbolic Composer Interfaces, Hypermedia Cawsey A., Raudaskoski P.: 103 Two Approaches to Repair in Human-Computer Interaction LehtolaA.: 113 Multimodal Interfaces Jarviniemi A., SaarelaO.: 124 Oliopohjainen kayttoliittyma signaalianalyysissa Natural Language Mcllvenny P.: 134 Computer Models of Dialogue for Intelligent Natural Language Systems: Some Problems and Futures Theoretical Foundations Autio K 149 Rule-Based Diagnosis and Theory Formation: Preliminary Report Ahonen J., Tukiainen M.: 161 Nakokulma selittamiseen asiantuntijajarjestelmissa
Machine Learning -VII - Heino P.: 169 Learning in Interactive Problem Solving Kankkunen R., Mannila H., Rantamaki M., Ukkonen E.:...183 Experience in Inductive Inference of a Hypenation Algorithm for Finnish Embedded Systems HarkonenA., PieskaS., NiemelaU.: 194 Anturitietojen integrointi kokoonpanorobotin ohjauksessa Eloranta K.T.: 206 Hajautetun tekoalyn organisaatioteoriat: metateoreettinen arviointi Heikkila T., Roning J., Taipale T., Pieska S.: 220 Integrointinakokohtia alykkaaseen robotinohjaukseen Riekki J., Roning J., Kemppainen S., Pietikainen M.: 230 Simulaattori liikkuvan robotin ohjausjarjestelmien testaamiseen Ryynanen E., Kaarela K.: 240 Cooperation among Embedded Expert Systems in Process Automation Eloranta K.T.: 250 Luonnollisten jarjestelmien lahestymistapa hajautetun tekoalyn tutkimuksessa
Computer Vision - VIII - SilvenO.: 267 Estimating the Pose and Motion of a Known Object from Sequences of Image Frames Neural Networks and Connectionism Orponen P., Floreen P., Myllymaki P., Tirri H.: 277 A Neural Implementation of Bayesian Reasoning Carlson E.: 283 Kokemuksia hermoverkon kaytosta kiinteistsarvioinnissa Logic Programming, Methods, Environments LotjonenO.: 298 Expert System Development Tools and Hardware Environments in Banking TormaS.: 310 Aikarajojen vyoryttaminen tuotannon ajoittamisessa TaipaleT: 319 Tavoiteohjaus tehtavasuunnittelun avulla LassilaO.: 327 BEEF: kompakti ohjelmointityokalu eli hybridikehittimet ovat haitailisia Huuskonen P.: 333 An Explanation Mechanism for a Diagnostic Expert System Based on Functional Architecture Karjalainen M.: 343 How to Make Lisp and CLOS Efficient for Demanding Real-Time Applications
- ix- Kalviainen H., Oja E.: 354 Comparisons of Attributed Graph Matching Algorithms for Computer Vision Real-Time Expert Systems Isomursu P., Kurki M.: 369 Meeting Responce Time Demands in Real-Time Embedded Expert Systems OkkonenA.,AuerA., KalaojaJ., Levanto M., Okkonen J.: 376 Al Approach to Automatic Programming Kurki M., Isomursu P.: 388 Improving the Reliability of Real-Time Embedded Expert Systems Expert Systems, Knowledge Bases HietalaP.: 398 Statistical Expert Systems: Approaches and Experiences KoskinenJ.: 408 Suomalaisten asiantuntijajarjestelmahankkeiden menestystekijdiden kartoitus Artifical intelligence and Society VakkuriJ.: 418 Tietamyksen hyvaksikayttd tyoyhteisossa ja tietokone Applications and Experiences ViljamaaP.: 424 An Object-Oriented System for Decision Support
Bulsari A., Toivonen H.: 439 An Improved Version of EFA: an Expert System as a Teaching Aid for Elementary Feasibility Analysis of Chemical Products LotjonenO.: 451 Requirements for Expert Systems in Banking - A Discussion of Necessary System Properties MahdnenP.: 459 Tekoalyn kaytto suurenergiafysiikassa Laukkanen R., Pursiainen J.: 473 Saantopohjaiset asiantuntiajarjestelmat jatevedenpuhdistamoiden ohjauksen tehostamisessa. Taramaa J., Purtilo J.M.: 481 Prolog-Based Prototyping in the Polylith Interconnection Environment Lassila O., Syrjanen M., Torma S.: 494 Teraslevyjen valssauksen hajautettu ajoittaminen AUTHOR INDEX 501