This book constitutes the proceedings of the Third International Conference on Conceptual Structures, ICCS '95, held in Santa Cruz, California in August 1995.
Conceptual structures are a modern treatment of Peirce's existential graphs, a graphic notation for classical logic with higher order extensions. Besides three invited papers, there are included 21 revised full papers selected from 58 submission. The volume reflects the state-of-the-art in this research area of growing interest. The papers are organized in sections on natural language, applications, programming in conceptual graphs, machine learning and knowledge acquisition, hardware and implementation, graph operations, and ontologies and theory.
Author(s): John F. Sowa (auth.), Gerard Ellis, Robert Levinson, William Rich, John F. Sowa (eds.)
Series: Lecture Notes in Computer Science 954 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1995
Language: English
Pages: 362
Tags: Artificial Intelligence (incl. Robotics); Combinatorics; Database Management
Syntax, semantics, and pragmatics of contexts....Pages 1-15
Ontology revision....Pages 16-31
A triadic approach to formal concept analysis....Pages 32-43
Automatic integration of digital system requirements using schemata....Pages 44-58
Service trading using conceptual structures....Pages 59-73
Sentence generation from conceptual graphs....Pages 74-88
Discourse spaces: A pragmatic interpretation of contexts....Pages 89-104
A pragmatic representational approach of context and reference in discourses....Pages 105-114
Using the conceptual graphs operations for natural language generation in medicine....Pages 115-128
Table 10 left without paying the bill! a good reason to treat metonymy with conceptual graphs....Pages 129-143
Object-oriented conceptual graphs....Pages 144-157
A direct proof procedure for definite conceptual graph programs....Pages 158-172
Conceptual clustering of complex objects: A generalization space based approach....Pages 173-187
Using empirical subsumption to reduce the search space in learning....Pages 188-201
A new parallelization of subgraph isomorphism refinement for classification and retrieval of conceptual structures....Pages 202-216
Transputer network implementation of a parallel projection algorithm for conceptual graphs....Pages 217-231
Spanning tree representations of graphs and orders in conceptual structures....Pages 232-246
An implementation model for contexts and negation in conceptual graphs....Pages 247-262
A linear descriptor for conceptual graphs and a class for polynomial isomorphism test....Pages 263-277
Projection and unification for conceptual graphs....Pages 278-292
A novel algorithm for matching conceptual and related graphs....Pages 293-307
On the ontology of knowledge graphs....Pages 308-322
Conceptual graphs and first-order logic....Pages 323-337
Existential graphs and dynamic predicate logic....Pages 338-352
