Эпистемическая возможность
Эпистемологическая возможность Эпистемологическая возможность Связывает утверждение с текущим состоянием знаний о реальном мире Утверждение эпистемически возможно, если оно может быть […]
Вики
Epistemic logic
Вики
Немонотонная логика
Немонотонная логика Немонотонная логика Формальная логика с немонотонным отношением выводов Фиксирует и представляет логические выводы, которые могут быть опровергнуты Разработана
Вики
Эпистемическая модальная логика
Эпистемологическая модальная логика Основы эпистемологической логики Эпистемологическая логика изучает знания и их логические свойства. Знание определяется как истинность убеждений в
Вики
Общее знание (логика)
Общеизвестное (логика) Определение и свойства общих знаний Общие знания – это знание, которое разделяется всеми участниками ситуации. Общие знания включают
Вики
Немонотонная логика
Немонотонная логика Определение и применение немонотонной логики Немонотонная логика используется для описания выводов, которые могут быть опровергнуты. Монотонная логика не
Вики
Доксастическая логика
Доксастическая логика Основы модальной логики Модальная логика изучает логические отношения между утверждениями и верованиями. Утверждения могут быть истинными или ложными,
Вики
Эпистемическая модальная логика
Эпистемологическая модальная логика Эпистемологическая логика изучает знание и его свойства. Знание определяется как истинность убеждений субъекта. Логики, такие как S4
Вики
Индукционные головоломки
Индукционные головоломки Головоломки со шляпами требуют определения цвета шляпы на основе информации о других шляпах. Базовая головоломка со шляпой включает