Общее знание

  • Общее знание (англ. common knowledge) имеет место в ситуации, когда каждому индивиду из некоторой группы известно о наступлении некого события, о наличии этого знания у других представителей группы, о наличии знания о наличии знания и так далее ad infinitum. Концепция общего знания впервые возникла в философской литературе у Дэвида Келлогга Льюиса (1969). Определение общего знания было дано тогда же социологом Моррисом Фриделлом. Математическая (теоретико-множественная) интерпретация осуществлена в 1976 году Робертом Ауманном, который занимался построением эпистемической теории игр. С 1980-х годов концепцией заинтересовались исследователи в области информатики. Общее знание лежит в основе многих логических головоломок, изучением который, в частности, занимался Джон Хортон Конвей.

    Общее знание связано с более слабой концепцией взаимного знания. В отличие от общего, взаимное предполагает осведомлённость о наступлении события, но никакие другие условия на знания участников не налагаются. Таким образом, общее знание всегда является взаимным (обратное неверно).

Источник: Википедия

Связанные понятия

Теорема о конце света (англ. Doomsday argument, буквально «Аргумент судного дня» — сокращённо далее DA, нет устоявшегося перевода на русский язык, обычно используют английское название или сокращение DA) — это вероятностное рассуждение, которое претендует на то, чтобы предсказывать будущее время существования человеческой расы, исходя только из оценки числа живших до сих пор людей. Исходя из предположения, что живущие сейчас люди находятся в случайном месте всей хронологии человеческой истории, велики...
Понятийное мышление — вид мышления, где используются понятия и логические конструкции.
Логическая вероятность — логическое отношение между двумя предложениями, степень подтверждения гипотезы H свидетельством E.
Семантическая информация — смысловой аспект информации, отражающий отношение между формой сообщения и его смысловым содержанием.
Когнитивная семантика является частью когнитивной лингвистики. Основными принципами когнитивной семантики являются следующие: во-первых, грамматика есть концептуализация; во-вторых, концептуальная структура закреплена в речи и мотивируется ей; в-третьих, возможность использования языка основывается на общих когнитивных ресурсах, а не на специальном языковом модуле.

Упоминания в литературе

В экспертной системе, основанной на правилах, знание представляется в форме правил "если… то…". База знаний содержит как общие знания, так и информацию о частных случаях. "Механизм вывода применяет знания при решении реальных задач. По существу, он является интерпретатором базы знаний. В продукционной системе механизм вывода совершает цикл распознавание-действие. Процедуры, которые выполняют этот управляющий цикл, отделены от самих продукционных правил" [264, стр. 275]. Далее у Дж. Люгера есть интерпретация понятия "истинность" для продукций: "В системе, основанной на правилах, пары "условие-действие" представляются правилами "если… то…", в которых посылка (часть "если") соответствует условию, а заключение (часть "то") – действию. Если условие удовлетворяется, экспертная система осуществляет действие, предусмотренное при истинности заключения. Данные частных случаев можно хранить в рабочей памяти. Механизм вывода осуществляет цикл продукционной системы распознавание-действие. При этом управление может осуществляться либо на основе данных, либо на основе цели" [264, стр. 282]. Таким образом, говоря о продукционных системах и миварных сетях, можно употреблять термин "логический вывод", но в контексте цикла распознавание-действие.
3. Если высказывание истины профессионалом объединяет и связывает, то правдолюб всегда рискует разрушить отношения, сложившиеся у него с тем, к кому он обращается. Он говорит правду не для того, чтобы утвердить позитивную связь общего знания, наследия, преемственности. Мужественный правдолюб «говорит, что есть, но сообразуясь с особенностями людей, ситуаций и обстоятельств. Его специфическая роль состоит не в том, чтобы говорить о бытии природы и вещей. В анализе parresia постоянно обнаруживается эта противоположность между бесполезным знанием, говорящим о бытии вещей и мира, и высказыванием истины паресиастом, которое всегда применяется, оказывается привязано к индивидам и ситуациям, сообщая им о том, что они представляют собой в действительности, говоря людям правду о них самих, скрывающуюся от их глаз, раскрывая их подлинное положение, их характер, изъяны, оценивая их поведение и вероятные последствия принятого ими решения. Паресиаст не открывает своему собеседнику, что есть. Он разоблачает его или помогает признаться в том, что он собой представляет» (там же, с. 28). Зная людей, нетрудно предсказать, что многим это не понравится, и в результате произойдет не объединение, а разрушение межличностных отношений.
Наука рассказала мне о происхождении материи, атомов, звезд, планет, Земли, жизни, человечества… и меня самого. Какое бы физическое явление я ни стремился понять, всякий раз я обнаруживал, что наука уже справилась с этой задачей. Но при всей своей мудрости, увлеченности, пытливости, при всех своих исследованиях наука так и не смогла дать мне хотя бы самые общие знания о Боге. Что же это за сущность, ускользающая от волевых и талантливых людей, благодаря которым у нас есть лазерные лучи, космические корабли, трансплантация сердца и ядерная энергия?

Связанные понятия (продолжение)

Ква́лиа (от лат. qualia (мн. ч.) — свойства, качества, quale (ед. ч.) — какого сорта или какого рода) — термин, используемый в философии, преимущественно в англоязычной аналитической философии сознания, для обозначения сенсорных, чувственных явлений любого рода. Введен американским философом К. И. Льюисом в 1929 году.
Открытый индивидуализм (англ. open individualism; сокр. от открытый индивидуальный взгляд на тождество личности) — точка зрения в философии, согласно которой существует только один самотождественный субъект, который является всеми и которому принадлежат все тела людей и все независимые потоки сознания. Открытый индивидуализм требует отличного от обычного понимания этернализма. Феноменологическая интерпретация открытого индивидуализма состоит в том, что я (как единственный субъект) постоянно «обнаруживаю...
Красота математики — восприятие математики как объекта эстетического наслаждения, схожего с музыкой и поэзией.
Нооге́н — это педагогическая (образовательная) технология, по форме основанная на разработанных Г. П. Щедровицким организационно-деятельностных играх (ОДИ), а в качестве содержания использующая решение задач на онтологическое моделирование (создание возможных миров, например: «Построить механику в мире с двумя перпендикулярными временами», «Построить мир, в котором есть язык, а в языке нет названий», «Построить позиционную систему счисления с ненатуральным основанием» и т. п.).
Математическая шутка — фраза или небольшой текст юмористического содержания, который опирается на аспекты математики или стереотипы о математике. Юмор может определяться игрой слов или двойным смыслом математического термина. Эти шутки часто непонятны для тех, кто не обладает математическим складом ума. Относится к научному юмору.
Число́ — основное понятие математики, используемое для количественной характеристики, сравнения, нумерации объектов и их частей. Письменными знаками для обозначения чисел служат цифры, а также символы математических операций. Возникнув ещё в первобытном обществе из потребностей счёта, понятие числа с развитием науки значительно расширилось.
Задача Иосифа Флавия или считалка Джозефуса — известная математическая задача с историческим подтекстом.
Кита́йская ко́мната (англ. Chinese room) — мысленный эксперимент в области философии сознания и философии искусственного интеллекта, впервые опубликованный Джоном Сёрлом в 1980 году. Цель эксперимента состоит в опровержении утверждения о том, что цифровая машина, наделённая «искусственным интеллектом» путём её программирования определённым образом, способна обладать сознанием в том же смысле, в котором им обладает человек. Иными словами, целью является опровержение гипотезы так называемого «сильного...
Аксиомы межличностной коммуникации (англ. Five basic axioms) — свойства взаимоотношений между людьми, впервые описанные группой американских учёных во главе с Паулем Вацлавиком из Института психологических исследований Пало-Альто в 1967 году. Эти аксиомы описывают основы коммуникации в малых группах, а также дают возможность объяснить эффект так называемой «паталогической коммуникации» — осложнений, которые могут исказить коммуникацию, завести её в тупик.
Данная статья — часть обзора История математики. Современная математика изучает абстрактные структуры совершенно различной природы (множества, высказывания, логические языки, функции), но её основным объектом изучения изначально были понятия натурального числа и геометрической фигуры, возникшие из практической деятельности человека.

Подробнее: Возникновение математики
Бесконечно малая — числовая функция или последовательность, которая стремится к нулю.
Парадокс мальчика и девочки также известен в теории вероятностей как «Парадокс девочки и мальчика», «Дети мистера Смита» и «Проблемы миссис Смит». Впервые задача была сформулирована в 1959 году, когда Мартин Гарднер опубликовал один из самых ранних вариантов этого парадокса в журнале Scientific American под названием «The Two Children Problem», где привёл следующую формулировку...
Эвристика доступности (англ. availability heuristic) — это интуитивный процесс, в котором человек «оценивает частоту или возможность события по легкости, с которой примеры или случаи приходят на ум», т. е. легче вспоминаются. При подобной оценке человек полагается на ограниченное количество примеров или случаев. Это упрощает комплексную задачу оценки вероятности и прогнозирования значимости события до простых суждений, основанных на собственных воспоминаниях, поэтому такой процесс является необъективным...
Разрешение лексической многозначности (word sense disambiguation, WSD) — это неразрешенная проблема обработки естественного языка, которая заключается в задаче выбора значения (или смысла) многозначного слова или словосочетания в зависимости от контекста, в котором оно находится. Данная задача возникает в дискурсивном анализе, при оптимизации релевантности результатов поисковыми системами, при разрешении анафорических отсылок, в исследовании лингвистической когерентность текста, при анализе умозаключений...
Многозна́чная зави́симость (тж. МЗЗ) — обобщение понятия функциональной зависимости, широко использующееся в теории баз данных. В концепции нормальных форм вводится для формального определения четвертой нормальной формы...
Алгори́тм (лат. al­go­rithmi — от арабского имени математика Аль-Хорезми) — конечная совокупность точно заданных правил решения произвольного класса задач или набор инструкций, описывающих порядок действий исполнителя для решения некоторой задачи. В старой трактовке вместо слова «порядок» использовалось слово «последовательность», но по мере развития параллельности в работе компьютеров слово «последовательность» стали заменять более общим словом «порядок». Независимые инструкции могут выполняться...
Ранняя концепция Ж. Пиаже о развитии мышления ребёнка — теория развития детского мышления, разрабатываемая швейцарским психологом Жаном Пиаже в период с 1921 года до середины 1930-х гг. В рамках данной концепции были впервые сформулированы важные положения современной психологии развития...
Длительность — теория времени и сознания положенная французским философом Анри Бергсоном.
Представление знаний — вопрос, возникающий в когнитологии (науке о мышлении), в информатике и в исследованиях искусственного интеллекта.
Этернализм представляет собой философский подход к онтологической природе времени. Этот подход основан на принятой в физике методике описывать время как одно из четырёх измерений. Онтология времени постулируется аналогичной онтологии пространства. Это должно означать, что измерение времени всего лишь одно из похожих по свойствам четырёх физических измерений, что будущие события «уже существуют» и что объективно «течение» времени не существует. Эта идея иногда обозначается терминами «блок-время» или...
Здесь — философское понятие, являющееся конкретизацией категории места (в философии Нового времени — категории пространства). В грамматике его относят к дейктическим категориям.
Модель психики человека (англ. Theory of Mind (ToM). В литературе можно встретить и другие варианты перевода этого термина, например: понимание чужого сознания, теория намерений, теория сознания, теория разума и пр. (в фильмах «Би-би-си» встречается как «теория разума») — система репрезентаций психических феноменов (метарепрезентаций), интенсивно развивающаяся в детском возрасте. Обладать моделью психического состояния — означает быть способным воспринимать как свои собственные переживания (убеждение...
Третья нормальная форма (англ. Third normal form; сокращённо 3NF) — одна из возможных нормальных форм отношения в реляционной базе данных. 3NF была изначально сформулирована Э. Ф. Коддом в 1971 году.
Методы исследования понятий — группа психологических методов, направленных на изучение понятий.
Причи́нная меха́ника (Теория времени) — не признанная научным сообществом и не имеющая достаточного экспериментального подтверждения гипотеза о физических свойствах времени и объективном отличии причин от следствий, предложенная советским астрофизиком Николаем Козыревым в 1958 году.
Экспериме́нт «Мир те́сен» (англ. Small world experiment) представляет собой серию экспериментов, проведённых в США американским социологом Стэнли Милгрэмом в 1967 году. Цель эксперимента — поиск и анализ средней длины пути между объектами социальной сети, где длина пути — это количество связей между людьми (одна связь составляет одну единицу длины пути), объекты — это люди, принимавшие участие в эксперименте, которые и составляют в данном случае социальную сеть. Это новаторское исследование предполагало...
Модальный реализм (англ. Modal realism) — гипотеза, предложенная Дэвидом Льюисом, что все возможные миры такие же реальные, как реальный мир.
«Вычислительные машины и разум» (англ. Computing Machinery and Intelligence) — основополагающая работа в области искусственного интеллекта, написанная английским учёным Аланом Тьюрингом и опубликованная в 1950 году в журнале «Mind», дающая широкой аудитории представление о том, что в настоящее время называется тестом Тьюринга.
Наи́вная тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств. Основным создателем теории множеств в наивном её варианте является немецкий математик Георг Кантор. Множество есть любое собрание определённых и различимых между собой объектов нашей интуиции или интеллекта, мыслимое как единое целое. Для задания элементов множества используется форма. В качестве основных аксиом принимаются аксиома объемности, принцип абстракции и аксиома выбора.
Реше́ние зада́ч — процесс выполнения действий или мыслительных операций, направленный на достижение цели, заданной в рамках проблемной ситуации — задачи; является составной частью мышления.
Семанти́ческая сеть — информационная модель предметной области, имеющая вид ориентированного графа, вершины которого соответствуют объектам предметной области, а дуги (рёбра) задают отношения между ними. Объектами могут быть понятия, события, свойства, процессы. Таким образом, семантическая сеть является одним из способов представления знаний. В названии соединены термины из двух наук: семантика в языкознании изучает смысл единиц языка, а сеть в математике представляет собой разновидность графа...
Творчество — процесс деятельности, создающий качественно новые материалы и духовные ценности или итог создания объективно нового. Основной критерий, отличающий творчество от изготовления (производства), — уникальность его результата. Результат творчества невозможно прямо вывести из начальных условий. Никто, кроме, возможно, автора, не может получить в точности такой же результат, если создать для него ту же исходную ситуацию. Таким образом в процессе творчества автор вкладывает в материал, кроме...
«Тогда́ и то́лько тогда́» — логическая связка эквиваленции между утверждениями, применяемая в логике, математике, философии. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение...
Культура и взрыв - работа советского и эстонского культуролога, литературоведа и семиотика Юрия Михайловича Лотмана, опубликованная в 1992 году в Москве в издательстве «Гнозис». Работа включает в себя двадцать глав. Главной темой этого труда является разработка понятия взрыва как одного из двух типов процессов динамики развития культуры и исторического процесса.
Усиление интеллекта (УИ) (англ. Intelligence amplification, Cognitive augmentation, Machine augmented intelligence) — совокупность средств и методов, обеспечивающих максимально возможную производительность интеллекта человека; эффективное использование информационных технологий для усиления человеческого интеллекта. Теория УИ активно разрабатывалась в 1950-е и 1960-е годы пионерами кибернетики и информатики.
Парадо́кс дней рожде́ния. В группе, состоящей из 23 или более человек, вероятность совпадения дней рождения (число и месяц) хотя бы у двух людей превышает 50 %. Например, если в классе 23 ученика или более, то более вероятно то, что у кого-то из одноклассников дни рождения придутся на один день, чем то, что у каждого будет свой неповторимый день рождения.
Сюрреальные числа (англ. surreal number — название принадлежит американскому математику Дональду Кнуту) впервые были использованы под другим названием («числа» — англ. number) в работах английского математика Джона Конвея для описания ряда аспектов теории игр.
Тест Тьюринга — эмпирический тест, идея которого была предложена Аланом Тьюрингом в статье «Вычислительные машины и разум», опубликованной в 1950 году в философском журнале Mind. Тьюринг задался целью определить, может ли машина мыслить.
Идеальные числа были введены в 1847 году немецким математиком Эрнстом Эдуардом Куммером и послужили отправной точкой для определения идеалов колец, введённых позже Дедекиндом.

Подробнее: Идеальное число
Данная статья представляет собой обзор основных событий и тенденций в истории математики с древнейших времён до наших дней.

Подробнее: История математики
В математике теория момента остановки или марковский момент времени связана с проблемой выбора времени, чтобы принять определённое действие, для того чтобы максимизировать ожидаемое вознаграждение или минимизировать ожидаемые затраты. Проблема момента остановки может быть найдена в области статистики, экономики и финансовой математики (связанные с ценообразованием на американские опционы). Самым ярким примером, относящимся к моменту остановки, является Задача о разборчивой невесте. Проблема момента...

Подробнее: Марковский момент
Теория самовосприятия — это оценка формирования, которую разработал психолог Дэрил Бем. Он утверждает, что люди развивают свои отношения (когда нет предшествующего отношения из-за недостатка опыта и т. д., а эмоциональный ответ неоднозначен), наблюдая за своим поведением и заключая, какие отношения должны были вызвать это. Теория носит неконкурентоспособный характер, поскольку общепринятая мудрость заключается в том, что отношения определяют поведение. Кроме того, теория предполагает, что люди вызывают...
Теоре́ма о бесконе́чных обезья́нах (в одном из многочисленных вариантов формулировки) утверждает, что абстрактная обезьяна, ударяя случайным образом по клавишам пишущей машинки в течение неограниченно долгого времени, рано или поздно напечатает любой наперёд заданный текст.
Метод Бэкона — индуктивный метод познания, представленный Ф. Бэконом в сочинении «Новый Органон» (1620).
Линкос (от Lingua Cosmica) — искусственный язык, созданный Хансом Фройденталем, профессором математики, для общения с внеземным разумом.
а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я