Advertisement

Conceptual Structures: Logical, Linguistic, and Computational Issues

8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Proceedings

  • Bernhard Ganter
  • Guy W. Mineau
Conference proceedings ICCS 2000

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1867)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 1867)

Table of contents

  1. Front Matter
  2. Concepts and Language

  3. Conceptual Ontology

    1. John F. Sowa
      Pages 55-81
    2. Mary Keeler
      Pages 82-99
    3. Deborah L. McGuinness
      Pages 100-112
    4. Hendra Suryanto, Paul Compton
      Pages 113-126
  4. Conceptual Graphs: Perspectives

    1. Michel Chein, David Genest
      Pages 127-139
    2. Olivier Gerbé, Guy W. Mineau, Rudolf K. Keller
      Pages 157-171
    3. James F. Baldwin, Trevor P. Martin, Aimilia Tzanavari
      Pages 193-206
  5. Formal Semantics of Conceptual Structures

  6. Contextual Logic and Formal Concept Analysis

    1. Silke Pollandt, Rudolf Wille
      Pages 306-316
    2. Rudolf Wille
      Pages 317-331
    3. Bernd Groh, Rudolf Wille
      Pages 332-341
    4. Bernhard Ganter, Sergei O. Kuznetsov
      Pages 342-356
    5. Laurent Chaudron, Nicolas Maille
      Pages 357-370
    6. Sébastien Ferré, Olivier Ridoux
      Pages 371-384
    7. Peter Burmeister, Richard Holzer
      Pages 385-398
  7. Conceptual Structures in Practice

    1. Joachim Hereth, Gerd Stumme, Rudolf Wille, Uta Wille
      Pages 421-437
    2. Richard Cole, Gerd Stumme
      Pages 438-452
    3. Peter Eklund, Bernd Groh, Gerd Stumme, Rudolf Wille
      Pages 453-467
    4. Olivier Corby, Rose Dieng, Cédric Hébert
      Pages 468-482
  8. Computational Aspects of Conceptual Structures

    1. Bernhard Ganter
      Pages 483-495
    2. Stuart C. Shapiro
      Pages 510-524
    3. Adil Kabbaj, Martin Janta-Polczynski
      Pages 540-554
    4. Gaël de Chalendar, Brigitte Grau, Olivier Ferret
      Pages 555-568
  9. Back Matter

About these proceedings

Introduction

Computerscientistscreatemodelsofaperceivedreality.ThroughAItechniques, these models aim at providing the basic support for emulating cognitive - havior such as reasoning and learning, which is one of the main goals of the AI research e?ort. Such computer models are formed through the interaction of various acquisition and inference mechanisms: perception, concept learning, conceptual clustering, hypothesis testing, probabilistic inference, etc., and are represented using di?erent paradigms tightly linked to the processes that use them. Among these paradigms let us cite: biological models (neural nets, genetic programming), logic-based models (?rst-order logic, modal logic, rule-based s- tems), virtual reality models (object systems, agent systems), probabilistic m- els(Bayesiannets,fuzzylogic),linguisticmodels(conceptualdependencygraphs, language-based representations), etc. OneofthestrengthsoftheConceptualGraph(CG)theoryisitsversatilityin terms of the representation paradigms under which it falls. It can be viewed and therefore used, under di?erent representation paradigms, which makes it a p- ular choice for a wealth of applications. Its full coupling with di?erent cognitive processes lead to the opening of the ?eld toward related research communities such as the Description Logic, Formal Concept Analysis, and Computational Linguistic communities. We now see more and more research results from one community enrich the other, laying the foundations of common philosophical grounds from which a successful synergy can emerge.

Keywords

Cognition Computational Linguistics Concept Analysis Conceptual Structures Evolution Logics Natural Symbolic Computation calculus knowledge base knowledge representation logic programming modeling ontology programming language

Editors and affiliations

  • Bernhard Ganter
    • 1
  • Guy W. Mineau
    • 2
  1. 1.Institute of AlgebraUniversity of TechnologyDresdenGermany
  2. 2.Département d’informatique et de génie logicielUniversité Laval, Pavillon Adrien-PouliotQuebec CityCanada

Bibliographic information

  • DOI https://doi.org/10.1007/10722280
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67859-5
  • Online ISBN 978-3-540-44663-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site