CONTENTS
Commentary
An Expectation in the New Era for the Japanese Society
for AI………………………………………………….Keiichi Kawada 177
Special Issue: “AI Methods and Basic Theoretical Methods in Related Fields”
Editor’s Introduction to “AI Methods and Basic Theoretical Methods
in Related Fields”…………………………………… Mitsuru Ishizuka 178
Mathematical Programming and Inference in AI
………………………………Mitsuru Ishizuka and Hirotaka Hara 179
Nearest Neighbor Rule and Memory-Based Reasoning……………….. Takao Mohri 188
Statistical Inference and Inference in AI
……………………Hideki Asoh,Shotaro Akaho, and Yoichi Motomura 196
Data Compression and Learning………………………………Kenji Yamanishi 204
Computational Geometry and Space Inference………………….Kokichi Sugihara 216
Game Theory and Multi Agent System……………………………… Akira Ito 223
AI map
Comments on “AI Map-Our Studies on Machine Learning and Machine Discovery”
and Their Answers……………….. Akira Maruoka,Koichi Furukawa,Naoki Abe, 231
Masayuki Numao,and Setsuo Arikawa
Essays: “Expectation of IJCAI-97 in Nagoya”(4)
Expectation on IJCAI from Natural Language Processing Research.. Jun-ichi Tsujii 242
Expectation of IJCAI-97…………………………………… Ryuichi Suzuki 244
Technical Papers
General Stable Model Semantics and SLDNF Resolution with
Non-Safe Rule for Abduction……………. Susumu Yamasaki and Naohiko Ishiba 245
Toward AI for System Integration
-A Proposal of Concept Formation Support System Combined with
Knowledge Processing System-………………………………..Koichi Hori 258
Solving Problems by Equivalent Transformation of Logic Programs
……………… Kiyoshi Akama,Yoshinori Shigeta,and Eiichi Miyamoto 266
Learning from Cluster Examples………… Toshihiro Kamishima and Katsumi Nitta 276
Management of Error-Based Simulation Using Qualitative
Reasoning Techniques…………………. Tomoya Horiguchi,Tsukasa Hirashima,
Akihiro Kashihara,and Jun’ichi Toyoda 285
Inductive Learning from Probability Distributions Using Maximum
Likelihood Method and the Principle of Indifference
……………………………… Chie Morita and Hiroshi Tsukimoto 297
Exceptional Knowledge Discovery in Databases Based on
an Information-Theoretic Approach……..Einoshin Suzuki and Masamichi Shimura 305
Timing Verification for Communication Protocol Based on
Automaton Theory
-Real-Time Symbolic Language Inclusion Verification Method-…. Satoshi Yamane 313
Multi-Agent Reinforcement Learning with Adaptive Mimetism
…………….Tomohiro Yamaguchi,Masahiro Miura,and Masahiko Yachida 323
Published Bimonthly by Japanese Society for Artificial Intelligence
OS Bldg.402,4-7 Tsukudomachi,Shinjuku-ku,Tokyo 162,Japan.