Conceptual Structures: Standards and Practices: 7th International Conference on Conceptual Structures, ICCS’99 Blacksburg, VA, USA, July 12–15, 1999 Proceedings

John Sowa (auth.), William M. Tepfenhart, Walling Cyre (eds.)3540662235, 9783540662235

With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist. Reading the newspaper or watching the television conveys a very warped view of what is happening in computer science. This conference illustrates how a maturing subdiscipline of computer science can continue to grow and integrate within it both old and new approaches despite (or perhaps due to) a lack of public awareness. The conceptual graph community has basically existed since the 1984 publication of John Sowa’s book, “Conceptual Structures: Information Processing In Mind and Machine.” In this book, John Sowa laid the foundations for a knowledge representation model called conceptual graphs based on semantic networks and the existential graphs of C.S. Peirce. Conceptual graphs constitutes a very powerful and expressive knowledge representation scheme, inheriting the benefits of logic and the mathematics of graphs. The expressiveness and formal underpinnings of conceptual graph theory have attracted a large international community of researchers and scholars. The International Conferences on Conceptual Structures, and this is the seventh in the series, is the primary forum for these researchers to report their progress and activities. As in the past, the doors were open to admit alternate representation models and approaches.

---

Table of contents :
Conceptual Graphs: Draft Proposed American National Standard….Pages 1-65
Constraints on Processes: Essential Elements for the Validation and Execution of Processes….Pages 66-82
User Modelling as an Application of Actors….Pages 83-89
Spatial Universals as the Human Spatial Notion….Pages 90-96
Knowledge Engineering with Semantic and Transfer Links….Pages 97-111
A Peircean Framework of Syntactic Structure….Pages 112-126
A CG-Based Behavior Extraction System….Pages 127-139
Extending the Conceptual Graph Approach to Represent Evaluative Attitudes in Discourse….Pages 140-153
Implementing a Semantic Lexicon….Pages 154-167
Analysis of Task-Oriented Conversations into Conceptual Graph Structures….Pages 168-175
Using Conceptual Graphs as a Common Representation for Data and Configuration in an Active Image Processing System….Pages 176-183
A Software System for Learning Peircean Graphs….Pages 184-197
Synergy : A Conceptual Graph Activation-Based Language….Pages 198-213
On Developing Case-Based Tutorial Systems with Conceptual Graphs….Pages 214-229
Embedding Knowledge in Web Documents: CGs versus XML-based Metadata Languages….Pages 230-246
Synergy as an Hybrid Object-Oriented Conceptual Graph Language….Pages 247-261
Notio – A Java API for Developing CG Tools….Pages 262-271
Multiperspective Analysis of the Sisyphus-I Room Allocation Task Modelled in a CG Meta-Representation Language….Pages 272-296
Using Conceptual Graphs to Solve a Resource Allocation Task….Pages 297-314
WebKB and the Sisyphus-I Problem….Pages 315-333
Constraints and Goals under the Conceptual Graph Formalism: One Way to Solve the SCG-1 Problem….Pages 334-354
A Pure Graph-Based Solution to the SCG-1 Initiative….Pages 355-376
Contextual Attribute Logic….Pages 377-388
Algorithms for Creating Relational Power Context Families from Conceptual Graphs….Pages 389-400
The Lattice of Concept Graphs of a Relationally Scaled Context….Pages 401-414
Contexts in Information Systems Development….Pages 415-422
Conceptual Structures Represented by Conceptual Graphs and Formal Concept Analysis….Pages 423-441
A Simulation of Co-identity with Rules in Simple and Nested Graphs….Pages 442-455
Conceptual Graphs as Algebras – With an Application to Analogical Reasoning….Pages 456-469
Unification over Constraints in Conceptual Graphs….Pages 470-479
Tractable and Decidable Fragments of Conceptual Graphs….Pages 480-493
Dynamic Semantics for Conceptual Graphs….Pages 494-507
A Case for Variable-Arity Relations: Definitions and Domains….Pages 508-509
Graph Structures in Parametric Spaces for Representation of Verbs….Pages 510-510
PORT: Peirce Online Resource Testbeds….Pages 511-512
Assuring Computer Agent Communications….Pages 513-514