tailieunhanh - INFORMATION MODELLING AND KNOWLEDGE BASES XIV

Abstract. The work reported in this article continues investigations in a theoretical framework for Concept Theories based on mathematical logic. The general idea is that the intension of a concept is defined by some equivalence class of theories, whereas the extension is given by the models of the theory. The fact that extensions depend on structures that are necessary to interpret the formulae of the logic, already provides an argument to put more emphasis on the intension. Starting from the simple Ganter-Wille theory of formal concept analysis first-order theories that are interpreted in a fixed structure or in more than one structure are introduced. The Ganter-Wille Concept Theory turns out. | Frontiers in Artificial Intelligence and Applications INFORMATION MODELLING AND KNOWLEDGE BASES XIV Edited by Hannu Jaakkola Hannu Kangassalo J f 1 INFORMATION MODELLING AND KNOWLEDGE BASES XIV Frontiers in Artificial Intelligence and Applications Series Editors J. Breuker R. Lopez de Mántaras M. Mohammadian s. Ohsuga and w. Swartout Volume 94 Recently published in this series Vol. 93. K. Wang Intelligent Condition Monitoring and Diagnosis Systems - A Computational Intelligence Vol. 92. V. Kashyap and L. Shklar Eds. Real World Semantic Web Applications Vol. 91. F. Azevedo Constraint Solving over Multi-valued Logics - Application to Digital Circuits Vol. 90. In preparation Vol. 89. T. Bench-Capon et al. Eds. Legal Knowledge and Information Systems - JURIX 2002 The Fifteenth Annual Conference Vol. 88. In preparation Vol. 87. A. Abraham et al. Eds. Soft Computing Systems - Design Management and Applications Vol. 86. . Lee and . Liu Invariant Object Recognition based on Elastic Graph Matching -Theory and Applications Vol. 85. . Abe and . da Silva Filho Eds Advances in Logic Artificial Intelligence and Robotics -LAPTEC 2002 Vol. 84. H. Fujita and p. Johannesson Eds. New Trends in Software Methodologies Tools and Techniques - Proceedings of Lyee_W02 Vol. 83. V. Lola Ed. Soft Computing Agents - A New Perspective for Dynamic Information Systems Vol. 82. E. Damiani et al. Eds. Knowledge-Based Intelligent Information Engineering Systems and Allied Technologies - KES 2002 Vol. 81. . Leite Evolving Knowledge Bases - Specification and Semantics Vol. 80. T. Welzer et al. Eds. Knowledge-based Software Engineering - Proceedings of the Fifth Joint Conference on Knowledge-based Software Engineering Vol. 79. H. Motoda Ed. Active Mining - New Directions of Data Mining Vol. 78. T. Vidal and p. Liberatore Eds. STAIRS 2002 - STarting Artificial Intelligence Researchers Symposium Vol. 77. F. van Harmelen Ed. ECAI 2002 - 15th European Conference on Artificial .