Принципиальная схема рассуждения рассуждения с помощью визуальных представлений. Изучение схематические рассуждения о понимании концепции и идеи, визуализируется с помощью диаграмм и изображений, а не по языковым или алгебраических средств. Characteristica Universalis, обычно интерпретируется как универсальная характеристика, или универсального характера на английском языке, является универсальным и официального языка в воображении немецкий философ Готфрид Лейбниц в состоянии выразить математической, научной и метафизических понятий. Лейбница, таким образом, надеется создать язык, используемые в рамках универсального логического расчета и исчисления ratiocinator. С characteristica Universalis это схематическое и использует пиктограммы (внизу слева), диаграмм в работе ордер Лейбница тщательного изучения. По крайней мере в двух случаях, Лейбниц иллюстрировал свои философские рассуждения с диаграммами. Один диаграммы, фронтиспис к его 1666-де Arte Combinatoria (Об искусстве комбинаций), представляет собой аристотелевской теории о том, как все материальные вещи образуются из сочетания элементов земли, воды, воздуха и огня. Эти четыре элемента составляют 4 углах алмаза (см. рисунок справа). Противоположные пары из них вступил в бар названием «от противного» (земля-воздух, огонь-вода). На четырех углах квадрата накладываются четыре качества определения элементов. Каждая пара прилегающих из них вступил в бар названием «возможная комбинация»; диагонали вступления в них помечены как «невозможное сочетание. Начиная сверху, огонь образуется из сочетания сухости и тепла, воздуха от влаги и тепла, воды от холода и сырости, земля от холода и сухости. [1] диаграмма 2D геометрических символическое представление информации по некоторым визуализации техники. Иногда, методика использует 3D-визуализации, которая затем проецируется на 2D поверхности. Термин диаграммы в здравый смысл может иметь два значения. В науке Вы найдете термин используется в обоих направлениях. Например Андерсон (1997) заявил, более общего «диаграммы живописные, но абстрактно, представления информации, а также карты, линейные графики, гистограммы, инженерные чертежи, эскизы архитекторов все это примеры диаграмм, а фотографии и видео не являются» [3]. С другой стороны Лоу (1993) определен диаграмм, в частности «абстрактного графического образа предмета, которые они представляют» [4]. В конкретном смысле диаграмм и графиков графики отличие компьютера, технические иллюстрации, инфографика, карты и технические чертежи, показывая, «абстрактное, а не буквальное представление информации» [2]. сущности схема может рассматриваться как: [2] или в подобно Стэнли Анвин (комик) . Холла (1996) слова «диаграммы являются упрощенными цифры, карикатуры в пути, предназначенные передать основной смысл «[5]. По словам Яна В. Белого (1984)» характеристики хорошей диаграммы являются элегантность, чистота, легкость, картины, простота и действительность «[2]. Elegance для белых означает, что то, что вы видим на схеме «самый простой и наиболее подходящим решением проблемы» [6]. логическим граф специального вида теории графов структуры ни в одном из нескольких систем графический синтаксис, что Чарльз Сандерс Пирс, разработанные для логики. В своих работах по качественным логики, entitative графиков и экзистенциальные графы, Пирса разработала несколько версий графического формализма, или теории графов формальный язык, предназначенный для толковать в логике. В столетие со Пирса инициатором этой линии развития, различных формальных системах разветвленной от того, что абстрактно же формальные базе теории графов структур. Концептуальных графов (КГ) является обозначение логику, основанную на экзистенциальном графики Чарльз Сандерс Пирс и семантических сетей искусственного интеллекта. В первой опубликовала документ о концептуальных графов, Джон Ф. Сова использовали их для представления концептуальных схем, используемых в системах баз данных. Его первая книге [7] применил их к широкому кругу вопросов в области искусственного интеллекта, информатики и когнитивной науки. Линейная нотация, называемая концептуальная График Interchange Format (CGIF), был стандартизован в стандарте ISO для общей логики. Рисунке справа пример типа, Сокращение выбросов в результате обезлесения и деградации лесов , отображения формы концептуальный граф. Каждая коробка называется понятие узла, и каждый овал называется отношение узла. В CGIF, это CG будет представлен следующим заявлением: В CGIF, кронштейны приложить информации внутри концепции узлов и скобки приложить информацию в отношении узлов. Буквы х и у, которые называются кореферентность этикетки, показать, как понятие и соотношение узлы соединены между собой. В общей логики Interchange Format (CLIF), эти письма отображаются на переменные, а в следующем заявлении: Как видно из этого примера, звездочки на кореферентность этикетки * х и у * на карте CGIF к квантором существования переменных в CLIF и вопросительные знаки? х и? у карте связанных переменных в CLIF. Квантор всеобщности, в лице каждого * @ г в CGIF, будут представлены FORALL (г) в CLIF. Entitative граф является элементом графического синтаксис для логики, Чарльз Сандерс Пирс, разработанные в рамках имя качественного логики начала в 1880 году, принимая охвата формализм лишь постольку, поскольку высказываний или сентенциальных аспектов логики беспокоит. [8 ] имеет следующий синтаксис: семантика: «пруф» манипулирует график, используя короткий список правил, пока не графа сводится к пустой вырезать или пустая страница. Граф, который может быть настолько сокращение является то, что сейчас называется тавтология (или дополнять их). Графы, которые не могут быть упрощены за какой-то момент являются аналогами выполнимые формулы логики первого порядка. Экзистенциальной граф типа схематические или визуального обозначения для логических выражений, предложенный Чарльз Сандерс Пирс, который написал свою первую работу по графическим логики в 1882 году и продолжает развиваться метод вплоть до своей смерти в 1914 году. Пирс предложил три системы смотрите: Канде ! экзистенциальных графов: Alpha гнезда в бета-и гамма-излучения. Бета не гнездится гамма-, количественно модальная логика, нечто большее, чем даже могли себе Пирса. В альфа-синтаксис: Все хорошо частью графа подграф. Семантика: Таким образом, альфа-графов минималистский обозначения сентенциальных логика, основанная на выразительные адекватности А и Not. Альфа-графов является радикальное упрощение два элемента булевой алгебры и правда функторов. В начале 1990-х Вс-Джу Шин представил расширение экзистенциального графов называется Венн-II [9]. Синтаксис и семантика данного формально, вместе с набором правил трансформации, которые показали себя вполне жизнеспособной и полными. Доказательства приступить путем применения правил (которые удалить или добавить синтаксических элементов или из диаграммы) последовательно. Венн-II эквивалентна в выразительной силе до первого порядка одноместную языка.