This book constitutes the refereed proceedings of the 9th International Symposium on Methodologies for Intelligent Systems, ISMIS '96, held in Zakopane, Poland, in June 1996.
The 53 revised full papers presented were selected from a total of 124 submissions; also included are 10 invited papers by leading experts surveying the state of the art in the area. The volume covers the following areas: approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation and integration, learning and knowledge discovery, and AI logics.
Author(s): Michael L. Brodie (auth.), Zbigniew W. Raś, Maciek Michalewicz (eds.)
Series: Lecture Notes in Computer Science 1079 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 668
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Information Systems Applications (incl.Internet); Computation by Abstract Devices
Putting objects to work on a massive scale....Pages 1-18
Approximate and commonsense reasoning: From theory to practice....Pages 19-33
Cooperative information systems engineering....Pages 34-49
Towards a Worldwide Knowledge base extended abstract....Pages 50-55
Data mining and knowledge discovery in business databases....Pages 56-67
Learning composite concepts in description logics: A first step....Pages 68-77
Comparison of conceptual graphs for modelling knowledge of multiple experts....Pages 78-87
Semantical considerations for knowledge base updates....Pages 88-97
Partial evaluation in Constraint Logic Programming....Pages 98-107
The AQ17-DCI system for data-driven constructive induction and its application to the analysis of world economics....Pages 108-117
Induction of classification rules from imperfect data....Pages 118-127
Induction of expert system rules from databases based on rough set theory and Resampling methods....Pages 128-138
Mining patterns at each scale in massive data....Pages 139-148
On evolving intelligence....Pages 149-157
Intelligent mutation rate control in canonical genetic algorithms....Pages 158-167
A fine-grained parallel evolutionary program for concept induction....Pages 168-177
Evolutionary exploration of search spaces....Pages 178-188
Evolutionary computation: One project, many directions....Pages 189-201
Signed formula logic programming: Operational semantics and applications (extended abstract)....Pages 202-211
Automating proofs of integrity constraints in situation calculus....Pages 212-222
Towards programming in default logic....Pages 223-232
A sound and complete fuzzy logic system using Zadeh's implication operator....Pages 233-242
Meeting the deadline: On the formal specification of temporal deontic constraints....Pages 243-252
Validity queries and completeness queries....Pages 253-263
Explanation for Cooperative Information Systems....Pages 264-273
Toward intelligent representation of database content....Pages 274-284
Reducing information systems with uncertain attributes....Pages 285-294
Object and dependency oriented programming in FLO....Pages 295-304
Knowledge simplification....Pages 305-314
A model-based approach to consistency-checking....Pages 315-324
Resource-based vs. task-based approaches for scheduling problems....Pages 325-334
A Fuzzy Behaviorist Approach to sensor-based robot control....Pages 335-345
Knowledge-based fuzzy neural networks....Pages 346-355
Coevolutionary game theoretic multi-agent systems....Pages 356-365
Searching for features defined by hyperplanes....Pages 366-375
Inductive database design....Pages 376-385
Enhancing query processing of information systems....Pages 386-397
Structuring and retrieval of the complex predicate arguments proper to the NKRL conceptual language....Pages 398-407
On the handling of imperfect data in relational database systems from null values to possibility distributions....Pages 408-417
Modified component valuations in Valuation Based systems as a way to optimize query processing....Pages 418-427
Learning for decision making: The FRD approach and a comparative study....Pages 428-437
The application of rough sets-based data mining technique to differential diagnosis of meningoenchepahlitis....Pages 438-447
A rough set framework for data mining of prepositional default rules....Pages 448-457
An empirical study on the incompetence of attribute selection criteria....Pages 458-467
Locally finite, proper and complete operators for refining Datalog programs....Pages 468-478
Forest fire management with Negoplan....Pages 479-490
An architecture for a deductive Fuzzy Relational Database....Pages 491-500
A multi-step process for discovering, managing and refining strong functional relations hidden in databases....Pages 501-510
An architecture and methodology for the design and development of Technical Information Systems....Pages 511-520
Explaining explanation closure....Pages 521-530
PAC-learning logic programs under the closed-world assumption....Pages 531-540
Planning, truth criteria and the systematic approach to action and change....Pages 541-550
Automated inductive reasoning as a support of deductive reasoning in a user-independent automation of inductive theorem proving....Pages 551-560
Semantic query optimization for bottom-up evaluation....Pages 561-571
Dynamically changing behavior: An agent-oriented view to modeling intelligent information systems....Pages 572-581
A multi-layer architecture for knowledge-based system synthesis....Pages 582-592
MuRaLi: An architecture for multiple reasoning....Pages 593-602
Heterogeneous view integration via sketches and equations....Pages 603-612
D LAB: A declarative language bias formalism....Pages 613-622
Knowledge discovery in databases and data mining....Pages 623-632
Learning with noise in engineering domains....Pages 633-642
Hierarchical conceptual clustering in a first order representation....Pages 643-652
Rule discovery from databases with decision matrices....Pages 653-662
