Conceptual Structures: Applications, Implementation and Theory: Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995. ProceedingsGerard Ellis Springer Science & Business Media, 21 de jul. de 1995 - 352 páginas 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. |
Conteúdo
Syntax Semantics and Pragmatics of Contexts | 1 |
Ontology Revision | 16 |
A Triadic Approach to Formal Concept Analysis | 32 |
Automatic Integration of Digital System Requirements using Schemata | 44 |
Service Trading Using Conceptual Structures | 59 |
Sentence Generation from Conceptual Graphs | 74 |
a Pragmatic Interpretation of Contexts | 89 |
A Pragmatic Representational Approach of Context and Reference in Discourses | 105 |
Using Empirical Subsumption to Reduce the Search Space in Learning | 188 |
A New Parallelization of Subgraph Isomorphism Refinement for Classification and Retrieval of Conceptual Structures | 202 |
Transputer Network Implementation of a Parallel Projection Algorithm for Conceptual Graphs | 217 |
Spanning Tree Representations of Graphs and Orders in Conceptual Structures | 232 |
An Implementation Model for Contexts and Negation in Conceptual Graphs | 247 |
A Linear Descriptor for Conceptual Graphs and a Class for Polynomial Isomorphism Test | 263 |
Projection and Unification for Conceptual Graphs | 278 |
A Novel Algorithm for Matching Conceptual and Related Graphs | 293 |
Using the Conceptual Graphs Operations for Natural Language Generation in Medicine | 115 |
Table 10 left without paying the bill a good reason to treat metonymy with conceptual graphs | 129 |
ObjectOriented Conceptual Graphs | 144 |
A Direct Proof Procedure for Definite Conceptual Graph Programs | 158 |
A Generalization Space based Approach | 173 |
On the ontology of knowledge graphs | 308 |
Conceptual Graphs and FirstOrder Logic | 323 |
Existential Graphs and Dynamic Predicate Logic | 338 |
Termos e frases comuns
agent AGNT algorithm anaphoric application Artificial Intelligence CG-derivation Computer concept types conceptual clustering conceptual graphs Conceptual Structures considered contains context coreference arcs coreference link corresponding defined definition described discourse spaces domain equivalence example Existential Graphs feature term Figure first-order first-order logic formal Formal Concept Analysis formation rules formula function G₁ graph G graph theory hierarchy implementation interpretation isomorphism knowledge base knowledge graphs knowledge representation labels lattice linguistic logic Machine Learning mapping rule matching metonymy mind graph natural language negation nodes notation notion objects ontology pair parallel Peirce Peirce's polyprojection predicate predicate logic Proceedings processors projection proof quantifier query graph referent represent requirement graph restrict semantic semantic networks sentence situation Sowa Sowa's specific StartEngine subgraph subsumption syntactic structures temporal theorem theory tokens transputer triadic concepts tuples type graph variable