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.
Author(s): Keith Devlin (auth.), Bernhard Ganter, Guy W. Mineau (eds.)
Series: Lecture Notes in Computer Science 1867 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 576
Tags: Artificial Intelligence (incl. Robotics); Discrete Mathematics in Computer Science; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Computation by Abstract Devices
Front Matter....Pages -
The Role of Conceptual Structure in Human Evolution....Pages 1-12
Concepts in Linguistics – Concepts in Natural Language....Pages 13-26
Patterns, Schemata, and Types — Author Support through Formalized Experience....Pages 27-40
Conventions and Notations for Knowledge Representation and Retrieval....Pages 41-54
Ontology, Metadata, and Semiotics....Pages 55-81
Pragmatically Yours,....Pages 82-99
Conceptual Modeling for Distributed Ontology Environments....Pages 100-112
Discovery of Class Relations in Exception Structured Knowledge Bases....Pages 113-126
CGs Applications : Where Are We 7 Years after the First ICCS?....Pages 127-139
The Engineering of a CG-Based System: Fundamental Issues....Pages 140-156
Conceptual Graphs, Metamodeling, and Notation of Concepts....Pages 157-171
Knowledge Representation and Reasonings Based on Graph Homomorphism....Pages 172-192
User Modelling Using Conceptual Graphs for Intelligent Agents....Pages 193-206
Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View....Pages 207-220
The Extensional Semantics of the Conceptual Graph Formalism....Pages 221-234
Semantics of Attribute Relations in Conceptual Graphs....Pages 235-248
Nested Concept Graphs and Triadic Power Context Families....Pages 249-262
Negations in Simple Concept Graphs....Pages 263-276
Extending the CG Model by Simulations....Pages 277-291
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis....Pages 292-305
On the Contextual Logic of Ordinal Data....Pages 306-316
Boolean Concept Logic....Pages 317-331
Lattices of Triadic Concept Graphs....Pages 332-341
Formalizing Hypotheses with Concepts....Pages 342-356
Generalized Formal Concept Analysis....Pages 357-370
A Logical Generalizationof Formal Concept Analysis....Pages 371-384
On the Treatment of Incomplete Knowledge in Formal Concept Analysis....Pages 385-398
Logic-Based Networks: Concept Graphs and Conceptual Structures....Pages 399-420
Conceptual Knowledge Discovery and Data Analysis....Pages 421-437
CEM – A Conceptual Email Manager....Pages 438-452
A Contextual-Logic Extension of TOSCANA....Pages 453-467
A Conceptual Graph Model for W3C Resource Description Framework....Pages 468-482
Computing with Conceptual Structures....Pages 483-495
Symmetry and the Computation of Conceptual Structures....Pages 496-509
An Introduction to SNePS 3....Pages 510-524
Composition Norm Dynamics Calculation with Conceptual Graphs....Pages 525-539
From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language....Pages 540-554
A Cost-Bounded Algorithm to Control Events Generalization....Pages 555-568
Back Matter....Pages -
