Switch to: References

Add citations

You must login to add citations.
  1. Designing Visual Languages for Description Logics.Brian R. Gaines - 2009 - Journal of Logic, Language and Information 18 (2):217-250.
    Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation (...)
    Direct download (7 more)  
    Export citation  
    Bookmark   1 citation  
  • Main Problems of Diagrammatic Reasoning. Part I: The Generalization Problem. [REVIEW]Zenon Kulpa - 2009 - Foundations of Science 14 (1-2):75-96.
    The paper attempts to analyze in some detail the main problems encountered in reasoning using diagrams, which may cause errors in reasoning, produce doubts concerning the reliability of diagrams, and impressions that diagrammatic reasoning lacks the rigour necessary for mathematical reasoning. The paper first argues that such impressions come from long neglect which led to a lack of well-developed, properly tested and reliable reasoning methods, as contrasted with the amount of work generations of mathematicians expended on refining the methods of (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   3 citations