出版時(shí)間:2006-12 出版社:湖北辭書出版社 作者:Schrfe, Henrik; Hitzler, Pascal; Ohrstrom, Peter 頁數(shù):454
內(nèi)容概要
This book constitutes the refereed proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, held in Aalborg, Denmark in July 2006. The 24 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 62 submissions. The central focus is the formal representation and analysis of conceptual knowledge with research and business applications focusing on artificial intelligence, computational linguistics, and related areas of computer science. The papers address topics such as conceptual structures; their interplay with language, semantics and pragmatics; formal methods for concept analysis and contextual logic, modeling, representation, and visualization of concepts; conceptual knowledge acquisition; and the theory and applications of formal ontologies.
書籍目錄
Invited Papers Formal Ontology, Knowledge Representation and Conceptual Modelling: Old Inspirations, Still Unsolved Problems (Abstract) The Persuasive Expansion - Rhetoric, Information Architecture, and Conceptual Structure Revision Forever! Ontological Constitutions for Classes and Properties Peirce's Contributions to the 21st Century Two Iconicity Notions in Peirce's DiagrammatologyContributed Papers Simple Conceptual Graphs and Simple Concept Graphs Rules Dependencies in Backward Chaining of Conceptual Graphs Rules Thresholds and ShiRed Attributes in Formal Concept Analysis of Data with Fuzzy Attributes Formal Concept Analysis with Constraints by Closure Operators Mining a New Fault-Tolerant Pattern Type as an Alternative to Formal Concept Discovery The MIEL++ Architecture When RDB, CGs and XML Meet for the Sake of Risk Assessment in Food Products Some Notes on Proofs with Alpha Graphs DOGMA-MESS: A Meaning Evolution Support System for Interorganizational Ontology Engineering FCA-Based Browsing and Searching of a Collection of Images Semantology: Basic Methods for Knowledge Representations The Teridentity and Peircean Algebraic Logic Transaction Agent Modelling: From Experts to Concepts to Multi-Agent Systems Querying Formal Contexts with Answer Set Programs Towards an Epistemic Logic of Concepts Development of Intelligent Systems and Multi-Agents Systems with Amine Platform Ontologies in Amine Platform: Structures and Processes Building a Pragmatic Methodology for KR Tool Research and Development Simple Conceptual Graphs with Atomic Negation and Difference……Author Index
圖書封面
評(píng)論、評(píng)分、閱讀與下載