Foundations of Intelligent Systems

by Ras, Zbigniew W.; Ohsuga, Setsuo

• ISBN13: 9783540410942
• ISBN10: 3540410945
• Format: Paperback
• Copyright: 2000-10-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 12th International Symposium on Methodologies for Intelligent Systems, ISMIS 2000, held in Charlotte, NC, USA in October 2000.The 64 revised full papers presented together with one invited contribution were carefully reviewed and selected from a total of 112 submissions. The papers are organized in topical sections on evolutionary computation, intelligent information retrieval, intelligent information systems, knowledge representation and integration, knowledge discovery and learning, logic for AI, and methodologies.

Table of Contents

Invited Papers
Information Retrieval Based on Statistical Language Models	1	(11)
W. Bruce Croft
Intelligent Agent Battlespace Augmentation	12	(9)
Philip J. Emmerman
Uma Y. Movva
Learning and Evolution: An Introduction to Non-darwinian Evolutionary Computation	21	(10)
Ryszard S. Michalski
Regular Papers
Knowledge Discovery and Learning
Can Relational Learning Scale Up?	31	(9)
Attilio Giordana
Lorenza Saitta
Michele Sebag
Marco Botta
Discovering Geographic Knowledge: The INGENS System	40	(9)
Donato Malerba
Floriana Esposito
Antonietta Lanza
Francesca A. Lisi
Temporal Data Mining Using Hidden Periodicity Analysis	49	(10)
Weiqiang Lin
Mehmet A. Orgun
Mining N-most Interesting Itemsets	59	(9)
Ada W.-c. Fu
Renfrew W.-w. Kwong
Jian Tang
Intelligent Information Retrieval
Repository Management in an Intelligent Indexing Approach for Multimedia Digital Libraries	68	(9)
B. Armani
E. Bertino
B. Catania
D. Laradi
B. Marin
G. P. Zarri
Logic-Based Approach to Semistructured Data Retrieval	77	(9)
Mohand-Said Hacid
Farouk Toumani
High Quality Information Retrieval for Improving the Conduct and Management of Research and Development	86	(11)
Ronald N. Kostoff
Signature-Based Indexing for Retrieval by Spatial Content in Large 2D-String Image Databases	97	(12)
Essam A. El-Kwae
Knowledge Discovery and Learning
Refining Logic Theories under OI-Implication	109	(10)
Floriana Esposito
N. Fanizzi
S. Ferilli
G. Semeraro
Rule Quality Measures Improve the Accuracy of Rule Induction: An Experimental Approach	119	(11)
Aijun An
Nick Cercone
A Dynamic Approach for Knowledge Discovery of Web Access Patterns	130	(9)
Alaaeldin Hafez
Data Reduction via Conflicting Data Analysis	139	(9)
M. Boussouf
M. Quafafou
A Comparison of Rule Matching Methods Used in AQ15 and LERS	148	(9)
Jerzy W. Grzymala-Busse
Pankaj Shah
Evolutionary Computation
Evolving Behaviors for Cooperating Agents	157	(9)
Jeffrey K. Bassett
Kenneth A. De Jong
Evolving Finite-State machine Strategies for Protecting Resources	166	(10)
William M. Spears
Diana F. Gordon
A Method of Generating Program Specification from Description of Human Activities	176	(10)
Shuhei Kawasaki
Setsuo Ohsuga
PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vectors for Missing Faults in VLSI Circuits	186	(10)
Alfredo Cruz
Evaluating Migration Strategies for an Evolutionary Algorithm Based on the Constraint-Graph that Solves CSP	196	(9)
Arturo Nunez
Maria-Cristina Riff
Methodologies
Relative Robustness: An Empirical Investigation of Behaviour Based and Plan Based Paradigms as Environmental Conditions Change	205	(11)
Jennifer Kashmirian
Lin Padgham
A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm	216	(12)
Jorg Hoffmann
Planning while Executing: A Constraint-Based Approach	228	(9)
R. Barruffi
M. Milano
P. Torroni
Intelligent Information Systems
Problem Decomposition and Multi-agent System Creation for Distributed Problem Solving	237	(10)
Katsuaki Tanaka
Michiko Higashiyama
Setsuo Ohsuga
A Comparative Study of Noncontextual and Contextual Dependencies	247	(9)
S.K.M. Wong
C.J. Butz
Extended Query Answering Using Integrity Rules	256	(10)
Barry G.T. Lowden
Jerome Robinson
Knowledge Discovery and Learning
Finding Temporal Relations: Causal Bayesian Networks vs. C4.5	266	(8)
Kamran Karimi
Howard J. Hamilton
Learning Relational Cliches with Contextual LGG	274	(9)
Johanne Morin
Stan Matwin
Design of Rough Neurons: Rough Set Foundation and Petri Net Model	283	(9)
J.F. Peters
A. Skowron
Z. Suraj
L. Han
S. Ramanna
Towards Musical Data Classification via Wavelet Analysis	292	(9)
Alicja Wieczorkowska
Logic for AI
Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics	301	(10)
James J. Lu
Neil V. Murray
Erik Rosenthal
Fundamental Properties on Axioms of Kleene Algebra	311	(10)
Tomoko Ninomiya
Masao Mukaidono
Extending Entity-Relationship Models with Higher-Order Operators	321	(10)
Antonio Badia
Combining Description Logics with Stratified Logic Programs in Knowledge Representation	331	(9)
Jianhua Chen
Knowledge Discovery and Learning
Emergence Measurement and Analyzes of Conceptual Abstractions During Evolution Simulation in OOD	340	(9)
Mourad Oussalah
Dalila Tamzalit
Using Intelligent Systems in Predictions of the Bacterial Causative Agent of an Infection	349	(9)
Diana R. Cundell
Randy S. Silibovsky
Robyn Sanders
Les M. Sztandera
An Intelligent Lessons Learned Process	358	(10)
Rosina Weber
David W. Aha
Hector Munoz-Avila
Leonard A. Breslow
Intelligent Information Systems
What the Logs Can Tell You: Mediation to Implement Feedback in Training	368	(9)
David A. Maluf
Gio Wiederhold
Top-Down Query Processing in First Order Deductive Databases under the DWFS	377	(12)
C.A. Johnson
Discovering and Resolving User Intent in Heterogeneous Databases	389	(11)
Chris Fernandes
Lawrence Henschen
Learning and Knowledge Discovery
Discovering and Matching Elastic Rules from Sequence Databases	400	(9)
Sanghyun Park
Wesley W. Chu
Perception-Based Granularity Levels in Concept Representation	409	(8)
Lorenza Saitta
Jean-Daniel Zucker
Local Feature Selection with Dynamic Integration of Classifiers	417	(9)
Alexey Tsymbal
Seppo Puuronen
Prediction of Ordinal Classes Using Regression Trees	426	(9)
Stefan Kramer
Gerhard Widmer
Bernhard Pfahringer
Michael de Groeve
Intelligent Information Retrieval
Optimal Queries in Information Filtering	435	(9)
Ali H. Alsaffar
Jitender S. Deogun
Hayri Sever
Automatic Semantic Header Generator	444	(9)
Bipin C. Desai
Sami S. Haddad
Abdelbaset Ali
On Modeling of Concept Based Retrieval in Generalized Vector Spaces	453	(10)
Minkoo Kim
Ali H. Alsaffar
Jitender S. Deogun
Vijay V. Raghavan
Template Generation for Identifying Text Patterns	463	(11)
Cecile Boisson
Nahid Shahmehri
Knowledge Discovery and Learning
Qualitative Discovery in Medical Databases	474	(12)
David A. Maluf
Jiming Liu
Finding Association Rules Using Fast Bit Computation: Machine-Oriented Modeling	486	(9)
Eric Louie
Tsau Y. Lin
Using Closed Itemsets for Discovering Representative Association Rules	495	(10)
Jamil Saquer
Jitender S. Deogun
Legitimate Approach to Association Rules under Incompleteness	505	(10)
Marzena Kryszkiewicz
Henryk Rybinski
Logic for AI
A Simple and Tractable Extension of Situation Calculus to Epistemic Logic	515	(10)
Robert Demolombe
Maria del Pilar Pozos Parra
Rule Based Abduction	525	(9)
Sai K. Lakkaraju
Yan Zhang
An Efficient Proof Method for Non-clausal Reasoning	534	(9)
E. Altamirano
G. Escalada-Imaz
An Intelligent System Dealing with Complex Nuanced Information within a Statistical Context	543	(9)
D. Pacholczyk
F. Dupin de Saint Cyr
Learning and Knowledge Discovery
On the Complexity of Optimal Multisplitting	552	(10)
Tapio Elomaa
Juho Rousu
Parametric Algorithms for Mining Share-Frequent Itemsets	562	(11)
Brock Barber
Howard J. Hamilton
Discovery of Clinical Knowledge in Hospital Information Systems: Two Case Studies	573	(9)
Shusako Tsumoto
Foundations and Discovery of Operational Definitions	582	(9)
Jan M. Zytkow
Zbigniew W. Ras
A Multi-agent Based Architecture for Distributed KDD Process	591	(10)
Chunnian Liu
Ning Zhong
Setsuo Ohsuga
Knowledge Representation
Towards a Software Architecture for Case-Based Reasoning Systems	601	(9)
Enric Plaza
Josep-Lluis Arcos
Knowledge Representation in Planning: A PDDL to OCLh Translation	610	(9)
R.M. Simpson
T.L. McCluskey
D. Liu
D.E. Kitchin
A Method and Language for Constructing Multiagent Systems	619	(10)
Hiroyuki Yamauchi
Setsuo Ohsuga
A Formalism for Building Causal Polytree Structures Using Data Distributions	629	(9)
M. Ouerd
B.J. Oommen
Stan Matwin
Abstraction in Cartographic Generalization	638	(7)
Sebastien Mustiere
Lorenza Saitta
Jean-Daniel Zucker
Author Index	645