Conceptual Structures Knowledge Visualization And Reasoning

This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from over 70 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers present a family of Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, applied mathematics and lattice theory, computational linguistics, conceptual modeling, intelligent systems and knowledge management.

This book constitutes the proceedings of the 19th International Conference on Conceptual Structures, ICCS 2011, held in Derby, UK, in July 2011. The 18 full papers and 4 short papers presented together with 12 workshop papers were carefully reviewed and selected for inclusion in the book. The volume also contains 3 invited talks. ICCS focuses on the useful representation and analysis of conceptual knowledge with research and business applications. It advances the theory and practice in connecting the user's conceptual approach to problem solving with the formal structures that computer applications need to bring their productivity to bear. Conceptual structures (CS) represent a family of approaches that builds on the successes of artificial intelligence, business intelligence, computational linguistics, conceptual modelling, information and Web technologies, user modelling, and knowledge management. Two of the workshops contained in this volume cover CS and knowledge discovery in under-traversed domains and in task specific information retrieval. The third addresses CD in learning, teaching and assessment.

Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early 20th century's symbolization of modern logic by Frege and Russell. Recently, we have been witnessing a revival of interest in diagrams from various disciplines - mathematics, logic, philosophy, cognitive science, and computer science. This book aims to provide a space for this newly debated topic - the logical status of diagrams - in order to advance the goal of universal logic by exploring common and/or unique features of visual reasoning.

This book constitutes the proceedings of the 23rd International Conference on Conceptual Structures, ICCS 2018, held in Edinburgh, UK, in June 2018. The 10 full papers, 2 short papers and 2 posters presented were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: graph- and concept-based inference; computer- human interaction and human cognition; and graph visualization.

This book is the proceedings of the Second International Conference on Conceptual Structures, ICCS '94, held at College Park, Maryland, USA in August 1994. This proceedings presents, on an international scale, up-to- the-minute research results on theoretical and applicational aspects of conceptual graphs, particularly on the use of contexts in knowledge representation. The concept of contexts is highly important for all kinds of knowledge-intensive systems. The book is organized into sections on natural language understanding, rational problem solving, conceptual graph theory, contexts and canons, and data modeling.

This is the first textbook on attribute exploration, its theory, its algorithms forapplications, and some of its many possible generalizations. Attribute explorationis useful for acquiring structured knowledge through an interactive process, byasking queries to an expert. Generalizations that handle incomplete, faulty, orimprecise data are discussed, but the focus lies on knowledge extraction from areliable information source.The method is based on Formal Concept Analysis, a mathematical theory ofconcepts and concept hierarchies, and uses its expressive diagrams. The presentationis self-contained. It provides an introduction to Formal Concept Analysiswith emphasis on its ability to derive algebraic structures from qualitative data,which can be represented in meaningful and precise graphics.