Vitaliy Dolgorukov | National Research University Higher School of Economics (original) (raw)
Uploads
Papers by Vitaliy Dolgorukov
В статье обсуждаются затруднения, которые вызывает использование стандартной семантики Крипке для... more В статье обсуждаются затруднения, которые вызывает использование стандартной семантики Крипке для анализа эпистемических сценариев: присутствие в модели возможных миров, неразличимых никакой формулой; комбинаторный взрыв(экспоненциальный рост множества возможных миров при линейном усложнении сценария); гиперспецификация предлагаемой моделью первоначального эпистемического сценария. Рассматриваются альтернативные варианты построения эпистемической логики, которые стремятся преодолеть данные затруднения: семантика структур знания и синтаксическая эпистемическая логика, также предлагается подход к построению диаграмматической эпистемической логики.
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents, 2024
Logics for resource-bounded agents have been getting more and more attention in recent years sinc... more Logics for resource-bounded agents have been getting more and more attention in recent years since they provide us with more realistic tools for modelling and reasoning about multi-agent systems. While many existing approaches are based on the idea of agents as imperfect reasoners, who must spend their resources to perform logical inference, this is not the only way to introduce resource constraints into logical settings. In this paper we study agents as perfect reasoners, who may purchase a new piece of information from a trustworthy source. For this purpose we propose dynamic epistemic logic for semi-public queries for resource-bounded agents. In this logic (groups of) agents can perform a query (ask a question) about whether some formula is true and receive a correct answer. These queries are called semi-public, because the very fact of the query is public, while the answer is private. We also assume that every query has a cost and every agent has a budget constraint. Finally, our framework allows us to reason about group queries, in which agents may share resources to obtain a new piece of information together. We demonstrate that our logic is complete, decidable and has an efficient model checking procedure.
Lecture Notes in Computer Science, 2023
We present a static (𝖤𝖫𝖻𝖼) and dynamic (𝖣𝖤𝖫𝖻𝖼) epistemic logic for budget-constrained agents, in ... more We present a static (𝖤𝖫𝖻𝖼) and dynamic (𝖣𝖤𝖫𝖻𝖼) epistemic logic for budget-constrained agents, in which an agent can obtain some information in exchange for budget resources. 𝖤𝖫𝖻𝖼 extends a standard multi-agent epistemic logic with expressions concerning agent’s budgets and formulas’ costs. 𝖣𝖤𝖫𝖻𝖼 extends 𝖤𝖫𝖻𝖼 with dynamic modality “[?𝑖𝐴]φ ”which reads as “φ holds after i’s question whether a propositional formula A is true”. In this paper we provide a sound and complete axiomatization for 𝖤𝖫𝖻𝖼 and 𝖣𝖤𝖫𝖻𝖼 and show that both logics are decidable.
Dynamic Epistemic Logic for Budget-Constrained Agents. , 2023
We present a static (𝖤𝖫𝖻𝖼) and dynamic (𝖣𝖤𝖫𝖻𝖼) epistemic logic for budget-constrained agents, in ... more We present a static (𝖤𝖫𝖻𝖼) and dynamic (𝖣𝖤𝖫𝖻𝖼) epistemic logic for budget-constrained agents, in which an agent can obtain some information in exchange for budget resources. 𝖤𝖫𝖻𝖼 extends a standard multi-agent epistemic logic with expressions concerning agent’s budgets and formulas’ costs. 𝖣𝖤𝖫𝖻𝖼 extends 𝖤𝖫𝖻𝖼 with dynamic modality “[?𝑖𝐴]φ ”which reads as “φ holds after i’s question whether a propositional formula A is true”. In this paper we provide a sound and complete axiomatization for 𝖤𝖫𝖻𝖼 and 𝖣𝖤𝖫𝖻𝖼 and show that both logics are decidable.
Статья посвящена трудностям определения имплицитного знания группы — знания, которое могло бы воз... more Статья посвящена трудностям определения имплицитного знания группы — знания, которое могло бы возникнуть в группе в результате полного обмена информацией. Обсуждаются два подхода к логическому моделированию этого типа группового знания: синтаксический подход (следствие из множества знаний отдельных агентов) и семантический подход (модальность пересечения индивидуальных отношений достижимости). Рассматриваются два соответствующих модальных оператора: оператор имплицитного знания, опирающийся на синтаксический подход, и оператор дистрибутивного знания, выражающий семантический подход. В статье демонстрируется, что в общем случае данные операторы не эквивалентны, но совпадают в классе конечных модально различимых моделей. Утверждается, что несовпадение двух модальных операторов не означает, что мы имеем дело с двумя содержательно различными видами группового знания, а означает, что модели Крипке, которые не являются модально различимыми, не могут рассматриваться в качестве интуитивно приемлемого описания эпистемического сценария. Мы утверждаем, что принцип полной коммуникации, требующий возможности полного обмена информацией между агентами группы, не совместим со стандартной версией оператора имплицитного знания и требует рассмотрения его компактных версий. Мы предлагаем четыре новых версии оператора компактного имплицитного знания, различающихся условием извлечения информации (общезначимость в модели, общее знание среди агентов группы, «каждый в группе знает», «хотя бы кто-то в группе знает»). Утверждается, что все рассмотренные версии оператора компактного имплицитного знания в классе конечных модально различимых моделей совпадают с оператором дистрибутивного знания. Тем самым демонстрируется, что стандартное требование логического следования для условия извлечении информации является избыточным и может быть ослаблено до модальности «хотя бы кто-то в группе знает»
Логические исследования, 2018
Настоящая статья посвящена конкретному эпизоду в большой дискуссии о соотношении семантики и онт... more Настоящая статья посвящена конкретному эпизоду в большой дискуссии о соотношении семантики и онтологии, а именно поиску адекватной семантической ин- терпретации для набора сущностей, постулируемых так называемым «онтологическим квадратом» или «четырехкатегорными онтологиями».
Онтологическим квадратом называется теория, восходящая к работам Аристотеля (в частности, ко второй главе трактата «Категории») и утверждающая необходимость раз- личения между четырьмя типами сущностей: субстанциальными универсалиями, суб- станциальными партикуляриями, акцидентальными универсалиями, акцидентальными партикуляриями.
В программной статье «Против Фантологии» Б. Смит пытается продемонстрировать, что онтологический квадрат не может быть адекватно описан в рамках логики преди- катов. Б. Смит упрекает Г. Фреге в том, что тот, будучи отцом современной логики, стал одновременно и отцом «фантологии», теории, в рамках которой все разнообразие сущностей сводится к объектам (‘a’) и предикатам(‘F ’).
Избавление логики от «фантологии», с точки зрения Б. Смита, возможно благодаря обогащению логики предикатов целым набором отношений, которые соответствуют до- пущениям «онтологического квадрата» и тем самым обогащают постулируемую логи- ческими теориями систему онтологических допущений. С нашей точки зрения, подход Б. Смита обладает рядом недостатков: формулируемая им теория рассматривает в каче- стве универсалий только предикаты разного типа. То есть богатая система отношений, которая предлагается в рассматриваемом подходе, не лишена «фантологических» черт: все рассматриваемые Б. Смитом отношения на уровне метаязыка соответствуют множе- ству кортежей.
В настоящей статье мы предлагаем другой вариант формализации сущностей, посту- лируемых «онтологическим квадратом», — вариант, который базируется на теоретико- типовой семантике и обладает рядом преимуществ перед подходом Б. Смита.
Мы оставляем за скобками вопрос об истинности или адекватности «онтологического квадрата» в качестве метафизической теории. Наш тезис носит более слабый характер: мы постарались продемонстрировать, что теоретико-типовая семантика может рассматриваться как релевантный инструмент для формализации сущностей, которые различа- ются в «онтологическом квадрате».
Васюков В. Л., Драгалина-Черная Е. Г., Долгоруков В. В. Logica Ludicra: аспекты теоретико-игровой... more Васюков В. Л., Драгалина-Черная Е. Г., Долгоруков В. В. Logica Ludicra: аспекты теоретико-игровой семантики и прагматики. СПб. : Алетейя, 2014.
Books by Vitaliy Dolgorukov
Введение в лингвистическую прагматику М.: ЛЕНАНД, 2020., 2020
В работе рассматриваются основные понятия лингвистической прагматики: пресуппозиции и импликатур... more В работе рассматриваются основные понятия лингвистической прагматики: пресуппозиции и импликатуры. Подробно обсуждаются наиболее важные фор-мальные и экспериментальные исследования. Каждая глава снабжена вопросами и заданиями. Книга предназначена прежде всего для студентов-лингвистов, но также будет интересна философам, психологам и всем, кто интересуется устройством и функционированием естественного языка.
В статье обсуждаются затруднения, которые вызывает использование стандартной семантики Крипке для... more В статье обсуждаются затруднения, которые вызывает использование стандартной семантики Крипке для анализа эпистемических сценариев: присутствие в модели возможных миров, неразличимых никакой формулой; комбинаторный взрыв(экспоненциальный рост множества возможных миров при линейном усложнении сценария); гиперспецификация предлагаемой моделью первоначального эпистемического сценария. Рассматриваются альтернативные варианты построения эпистемической логики, которые стремятся преодолеть данные затруднения: семантика структур знания и синтаксическая эпистемическая логика, также предлагается подход к построению диаграмматической эпистемической логики.
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents, 2024
Logics for resource-bounded agents have been getting more and more attention in recent years sinc... more Logics for resource-bounded agents have been getting more and more attention in recent years since they provide us with more realistic tools for modelling and reasoning about multi-agent systems. While many existing approaches are based on the idea of agents as imperfect reasoners, who must spend their resources to perform logical inference, this is not the only way to introduce resource constraints into logical settings. In this paper we study agents as perfect reasoners, who may purchase a new piece of information from a trustworthy source. For this purpose we propose dynamic epistemic logic for semi-public queries for resource-bounded agents. In this logic (groups of) agents can perform a query (ask a question) about whether some formula is true and receive a correct answer. These queries are called semi-public, because the very fact of the query is public, while the answer is private. We also assume that every query has a cost and every agent has a budget constraint. Finally, our framework allows us to reason about group queries, in which agents may share resources to obtain a new piece of information together. We demonstrate that our logic is complete, decidable and has an efficient model checking procedure.
Lecture Notes in Computer Science, 2023
We present a static (𝖤𝖫𝖻𝖼) and dynamic (𝖣𝖤𝖫𝖻𝖼) epistemic logic for budget-constrained agents, in ... more We present a static (𝖤𝖫𝖻𝖼) and dynamic (𝖣𝖤𝖫𝖻𝖼) epistemic logic for budget-constrained agents, in which an agent can obtain some information in exchange for budget resources. 𝖤𝖫𝖻𝖼 extends a standard multi-agent epistemic logic with expressions concerning agent’s budgets and formulas’ costs. 𝖣𝖤𝖫𝖻𝖼 extends 𝖤𝖫𝖻𝖼 with dynamic modality “[?𝑖𝐴]φ ”which reads as “φ holds after i’s question whether a propositional formula A is true”. In this paper we provide a sound and complete axiomatization for 𝖤𝖫𝖻𝖼 and 𝖣𝖤𝖫𝖻𝖼 and show that both logics are decidable.
Dynamic Epistemic Logic for Budget-Constrained Agents. , 2023
We present a static (𝖤𝖫𝖻𝖼) and dynamic (𝖣𝖤𝖫𝖻𝖼) epistemic logic for budget-constrained agents, in ... more We present a static (𝖤𝖫𝖻𝖼) and dynamic (𝖣𝖤𝖫𝖻𝖼) epistemic logic for budget-constrained agents, in which an agent can obtain some information in exchange for budget resources. 𝖤𝖫𝖻𝖼 extends a standard multi-agent epistemic logic with expressions concerning agent’s budgets and formulas’ costs. 𝖣𝖤𝖫𝖻𝖼 extends 𝖤𝖫𝖻𝖼 with dynamic modality “[?𝑖𝐴]φ ”which reads as “φ holds after i’s question whether a propositional formula A is true”. In this paper we provide a sound and complete axiomatization for 𝖤𝖫𝖻𝖼 and 𝖣𝖤𝖫𝖻𝖼 and show that both logics are decidable.
Статья посвящена трудностям определения имплицитного знания группы — знания, которое могло бы воз... more Статья посвящена трудностям определения имплицитного знания группы — знания, которое могло бы возникнуть в группе в результате полного обмена информацией. Обсуждаются два подхода к логическому моделированию этого типа группового знания: синтаксический подход (следствие из множества знаний отдельных агентов) и семантический подход (модальность пересечения индивидуальных отношений достижимости). Рассматриваются два соответствующих модальных оператора: оператор имплицитного знания, опирающийся на синтаксический подход, и оператор дистрибутивного знания, выражающий семантический подход. В статье демонстрируется, что в общем случае данные операторы не эквивалентны, но совпадают в классе конечных модально различимых моделей. Утверждается, что несовпадение двух модальных операторов не означает, что мы имеем дело с двумя содержательно различными видами группового знания, а означает, что модели Крипке, которые не являются модально различимыми, не могут рассматриваться в качестве интуитивно приемлемого описания эпистемического сценария. Мы утверждаем, что принцип полной коммуникации, требующий возможности полного обмена информацией между агентами группы, не совместим со стандартной версией оператора имплицитного знания и требует рассмотрения его компактных версий. Мы предлагаем четыре новых версии оператора компактного имплицитного знания, различающихся условием извлечения информации (общезначимость в модели, общее знание среди агентов группы, «каждый в группе знает», «хотя бы кто-то в группе знает»). Утверждается, что все рассмотренные версии оператора компактного имплицитного знания в классе конечных модально различимых моделей совпадают с оператором дистрибутивного знания. Тем самым демонстрируется, что стандартное требование логического следования для условия извлечении информации является избыточным и может быть ослаблено до модальности «хотя бы кто-то в группе знает»
Логические исследования, 2018
Настоящая статья посвящена конкретному эпизоду в большой дискуссии о соотношении семантики и онт... more Настоящая статья посвящена конкретному эпизоду в большой дискуссии о соотношении семантики и онтологии, а именно поиску адекватной семантической ин- терпретации для набора сущностей, постулируемых так называемым «онтологическим квадратом» или «четырехкатегорными онтологиями».
Онтологическим квадратом называется теория, восходящая к работам Аристотеля (в частности, ко второй главе трактата «Категории») и утверждающая необходимость раз- личения между четырьмя типами сущностей: субстанциальными универсалиями, суб- станциальными партикуляриями, акцидентальными универсалиями, акцидентальными партикуляриями.
В программной статье «Против Фантологии» Б. Смит пытается продемонстрировать, что онтологический квадрат не может быть адекватно описан в рамках логики преди- катов. Б. Смит упрекает Г. Фреге в том, что тот, будучи отцом современной логики, стал одновременно и отцом «фантологии», теории, в рамках которой все разнообразие сущностей сводится к объектам (‘a’) и предикатам(‘F ’).
Избавление логики от «фантологии», с точки зрения Б. Смита, возможно благодаря обогащению логики предикатов целым набором отношений, которые соответствуют до- пущениям «онтологического квадрата» и тем самым обогащают постулируемую логи- ческими теориями систему онтологических допущений. С нашей точки зрения, подход Б. Смита обладает рядом недостатков: формулируемая им теория рассматривает в каче- стве универсалий только предикаты разного типа. То есть богатая система отношений, которая предлагается в рассматриваемом подходе, не лишена «фантологических» черт: все рассматриваемые Б. Смитом отношения на уровне метаязыка соответствуют множе- ству кортежей.
В настоящей статье мы предлагаем другой вариант формализации сущностей, посту- лируемых «онтологическим квадратом», — вариант, который базируется на теоретико- типовой семантике и обладает рядом преимуществ перед подходом Б. Смита.
Мы оставляем за скобками вопрос об истинности или адекватности «онтологического квадрата» в качестве метафизической теории. Наш тезис носит более слабый характер: мы постарались продемонстрировать, что теоретико-типовая семантика может рассматриваться как релевантный инструмент для формализации сущностей, которые различа- ются в «онтологическом квадрате».
Васюков В. Л., Драгалина-Черная Е. Г., Долгоруков В. В. Logica Ludicra: аспекты теоретико-игровой... more Васюков В. Л., Драгалина-Черная Е. Г., Долгоруков В. В. Logica Ludicra: аспекты теоретико-игровой семантики и прагматики. СПб. : Алетейя, 2014.
Введение в лингвистическую прагматику М.: ЛЕНАНД, 2020., 2020
В работе рассматриваются основные понятия лингвистической прагматики: пресуппозиции и импликатур... more В работе рассматриваются основные понятия лингвистической прагматики: пресуппозиции и импликатуры. Подробно обсуждаются наиболее важные фор-мальные и экспериментальные исследования. Каждая глава снабжена вопросами и заданиями. Книга предназначена прежде всего для студентов-лингвистов, но также будет интересна философам, психологам и всем, кто интересуется устройством и функционированием естественного языка.