Логіка перегляду переконань: пізнавальні дії як модальні оператори

Козаченко, Надія Павлівна

URI: http://elibrary.kdpu.edu.ua/handle/0564/1732
https://doi.org/10.31812/0564/1732

Date: 2010-12-25

Abstract:

Дисертацію присвячено розробці формального механізму для вивчення динамічних аспектів перегляду переконань із застосуванням апарату динамічної модальної логіки DML. Основою для такої логіки є подання пізнавальних дій (розширення, скорочення, перегляду) як модальних операторів. Проаналізовано основні традиції досліджень перегляду переконань: постулатний підхід AGM і динамічна стратегія DDL. Обґрунтовано можливість поєднання переваг функціонального і динамічного підходів за рахунок подання пізнавальних дій як модальних операторів. Розроблено синтаксис динамічної модальної логіки (DML), в основу якого покладено запропоновану інтерпретацію пізнавальних дій, уточнено ряд понять: динамічна формула, доксастичні зобов’язання, умовна доксастична дія. Формалізовано основні властивості доксастичних операцій. Запропоновано низку логічних систем: логіки розширення (DMLE), логіки скорочення (DMLC), комплексної логіки (DML), у якій розширення і скорочення є незалежними операторами. Найбільш значущими є результати, отримані в рамках розширеної динамічної модальної логіки – DMLEC. Система DMLEC побудована як розширення DMLE шляхом уведення операторів скорочення та ревізії за допомогою редукційних аксіом. Запропоновано варіант семантики можливих світів дозволяє інтерпретувати динамічні формули й довести несуперечливість DMLEC на цій модельній структурі.

Description:

1. Васильченко А. Проблема інтенціональності дії в сучасній аналітичній філософії / А. Васильченко // Часопис “Дух і літера”. – К. : Дух і літера, 2003. – №11-12. – С. 138-151. 2. Войшвилло Е.K. Семантика релевантной логики и вопрос о природе логических законов / Е.K Войшвилло // Разум и культура. Труды международного франко-советского коллоквиума. – М. : Издательство МГУ, 1983. – С. 69-76. 3. Ишмуратов А. Т. Логический анализ практических рассуждений / А. Т. Ишмуратов. – К, 1987. – 138 c. 4. Ішмуратов А.Т. Вступ до філософської логіки / А. Т. Ішмуратов. – К, 1997. – 350 c. 5. Смирнов В.А. Логические методы анализа научного знания / В.А. Смирнов. – М. : Наука, 1987. – 256 c. 6. Карнап Р. Значение и необходимость / Р. Карнап. – М. : Издательство ЛКИ, 2007. – 380 c. 7. Карпенко А. С. Логика на рубеже тысячелетий / А. С. Карпенко // Логические исследования. – М. : Наука, 2000. – №7. – С. 7-60. 8. Клини С. Математическая логика / С. Клини. – М, 1973. – 480 c. 9. Козаченко Н.П. Знання і переконання як категорії логіки та філософії / Н.П. Козаченко // Актуальні проблеми духовності. Зб. наук. праць / ред.: Шрамко Я.В. – Кривий Ріг, 2004. – №5. – С. 128-142. 10. Козаченко Н.П. Побудова динамічної логіки перегляду знань / Н.П. Козаченко // Проблеми гуманітарних наук. Наукові записки ДДПУ. – Дрогобич : Вимір, 2004. – Вип. 13. – С. 66-75. 11. Козаченко Н.П. Модели изменения убеждений: некоторые открытые проблемы / Н.П. Козаченко // Актуальні проблеми духовності : [ Зб. наук. праць / ред.: Шрамко Я.В.]. – Кривий Ріг : Видавничий Дім, 2006. – №7. – С. 218-230. 12. Козаченко Н.П. Проблемы построения доксастических моделей / Н.П. Козаченко // Актуальні проблеми духовності : [ Зб. наук. праць / ред.: Шрамко Я.В.]. – Кривий Ріг : Видавничий Дім, 2007. – №8. – С. 245-258. 191 13. Козаченко Н.П. Эпистемические модели: принципы построения и структура AGM / Н.П. Козаченко // Гуманитарное измерение меняющегося мира : [Сборник статей кафедры Философии и Гуманитарных Наук]. – М. : Издат. центр ЕАОИ, 2008. – С. 249-263. 14. Козаченко Н.П. Динамика познавательных действий: AGM и DDL / Н.П. Козаченко // Актуальні проблеми духовності : [ Зб. наук. праць / ред.: Шрамко Я.В.]. – Кривий Ріг : Видавничий Дім, 2008. – №9. – С. 373-390. 15. Козаченко Н. П. Критерии рациональности изменения убеждений: непротиворечивость / Н. П. Козаченко // Логические исследования / [отв. ред. А. С. Карпенко] ; Ин-т философии РАН. – М. ; СПб : ЦГИ, 2010. – Вып. 16. – С. 134–156. 16. Козаченко Н.П. Смена убеждений как логико-этическая проблема / Н.П. Козаченко // Роль науки, релігії та суспільства у формуванні моральної особистості : Матеріали ХVI Міжнародної науковопрактичної конференції. – Донецьк : ІПШІ «Наука і освіта», 2003. – С. 135-138. 17. Козаченко Н.П. Аксиомы сокращения знаний / Н.П. Козаченко // Інформоенергетика ІІІ-го тисячоліття: соціолого-синергетичний та медико-екологічний підход : [ Зб. наук. праць / ред.: Лобанова А.С. та ін.]. – Київ ; Кривий Ріг, 2003р. – С. 72-74. 18. Конверський А. Є. Логіка (традиційна та сучасна): Підручник / А. Є. Конверський. – К. – 2004. – 440 c. 19. Конверский А.Е. Теория и ее обоснование / А.Е. Конверский. – К. : ВІПОЛ, 2000. – 180 с. 20. Костюк В.Н. Элементы модальной логики / В.Н. Костюк. – Киев, 1978. – 179с. 21. Кримський С.Б. Трансформація методологічної свідомості науки / С.Б. Кримський // Наука та наукознавство. Міжнародний науковий журнал. – 1996. – № 3-4. – С.32-38. 22. Кримський С.Б. Запити філософських смислів / С.Б. Кримський. – К. : ПАРАПАН, 2003. – 240 с. 23. Кузнєцов В.І. Нечіткі поняття та відношення між ними / В.І. 192 Кузнєцов // Проблеми теорії ментальності. / М.В.Попович та ін.– К. : Наук. Думка, 2006. – С. 163-197. 24. Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики / Я. Лукасевич. – М., 1959. – 311 c. 25. Лук’янець В. С. Науковий світогляд на зламі століть / Лук’янець В. С., Кравченко О. М., Озадовська Л. В., Мороз О. Я. – К. : ПАРАПАН, 2006. – 213 c. 26. Навроцький В. Колективні ментальні поняття: логіка, методологія і філософія науки / В. Навроцький // Філософська думка. – 2005. – №2. – С. 3-12. 27. Навроцький В.В. Колективність та етнічність / В. В. Навроцький // Проблеми теорії ментальності / М.В.Попович та ін. – К. : Наук. Думка, 2006. – 408 с. 28. Навроцький В.В. Аналітична соціальна філософія про колективні феномени / В. В. Навроцький // Актуальні проблеми духовності: [Зб. наук. праць / ред.: Шрамко Я.В.]. – Кривий Ріг, 2009. – Вип.10. – С. 293-301. 29. Навроцький В.В. Інференціалізм: ментальні стани чи ментальні статуси / В. В. Навроцький // Філософська думка. – 2008. – № 3. – С. 3-13. 30. Омельянчик В. И. Возможность, структура, действие: введение в модальный реалізм / В. И. Омельянчик. – Киев : Наукова думка, 1991. – 207 с. 31. Пенроуз Р. Новый ум короля. О компьютерах, мышлении и законах физики / Р.Пенроуз. – М. : УРСС, 2005. – 384 c. 32. Полани М. Личностное знание: на пути к посткритической философии / М. Полани. – М., 1985. – 344 с. 33. Попович М. В. Философские вопросы семантики / М. В. Попович. – К., 1975. – 299 c. 34. Попович М.В. Гуманістичні орієнтири науки на порозі XXI століття / М. В. Попович // Вісн. НАН України. – 2004. – № 1. – С. 39-42. 35. Попович М.В. Поняття «дискурс» у метафоричному та логіколінгвістичному розумінні / М. В. Попович // Філософ. думка. – 2003. – № 1. – С. 27-36. 193 36. Поппер К. Миф концептуального каркаса / К. Поппер //Логика и рост научного знания / К. Поппер – М. : Прогресс, 1983. – С.558-593. 37. Поспелов Д. А. Десять «горячих точек» в исследованиях по искусственному интеллекту / Д. А. Поспелов // Интеллектуальные системы. – М. : Издательство МГУ, 1996. – Т.1, вып. 1-4. – C.47-56. 38. Поспелов Д. А. Моделирование рассуждений. Опыт анализа мыслительных актов / Д. А. Поспелов // Радио и связь. – 1989. – 184 с. 39. Смирнова Е.Д. Логическая семантика и философские основания логики / Е.Д. Смирнова. – М., 1986. – 161 c. 40. Смирнова Е.Д. Основы логической семантики / Е.Д. Смирнова. – М., 1990. – 143 c. 41. Тейз А. Логический подход к искусственному интеллекту. От модальной логики к логике баз данных / Тейз А., Грибомон П., Юлен Г. – М. : Мир, 1998. – 494 c. 42. Теплицький І. О. Елементи комп’ютерного моделювання / І. О. Теплицький. – Кривий Ріг : КДПУ, 2005. – 208 с. 43. Тулмин С. Человеческое понимание / С. Тулмин. – М. : Прогресс, 1984. – 327с. 44. Фейс Р. Модальная логика / Р. Фейс. – М., 1974. 45. Фреге Г. Смысл и денотат / Г. Фреге // Семиотика и информатика. – М., 1997. – Вып. 35. – С. 351 – 379. 46. Хоменко І.В. Що таке логіка / І.В. Хоменко // Барви творчості. – К.,1995. – С. 83-95. 47. Хоменко І.В. Логіка: підручник / І.В. Хоменко. – К., 2007. – 336 c. 48. Хоменко І.В. Логіка: теорія та практика / І.В. Хоменко. – К. : ЦУЛ, 2010. 49. Шрамко Я.В. Логико-эпистемологические предпосылки развития знаний / Я.В. Шрамко // Актуальні проблеми духовності : [Зб. наук. праць. / ред.: Шрамко Я.В.]. – Кривий Ріг : «І.В.І», 2002. – №4 – С. 151-162. 50. Шрамко Я.В. Ревизия знаний как проблема научной эпистемологии / Я.В. Шрамко // Комп’ютерне моделювання та інформаційні технології в освітній діяльності. – Кривий Ріг, 1999. – С. 34-45. 194 51. Шрамко Я.В. Знания и убеждения: их развитие и критический пересмотр / Я.В. Шрамко // Философия науки. – 2005. – №1(24). – С. 3-19. 52. Шрамко Я. В. Некоторые проблемы аналитической эпистемологии / Я.В. Шрамко // Логос. – 2006. – № 1 (52). – С. 3-25. 53. Шрамко Я. В. Парадокс познаваемости мира / Я.В. Шрамко // Логика: Перспективы развития. – Киев : Изд-во Киевского университета, 2006. – С. 101-107. 54. Юдин Б.Г. Методологический анализ как направление изучения науки / Б.Г. Юдин. – М. : Наука, 1986. – 261с. 55. Areces C. Iterable AGM functions / Areces C. Becher V. ; In H. Rott and M.-A. Williams, editors // Frontiers in Belief Revision. – Kluwer Academic Publisher, 1999. 56. Alchourron C. Philosophical foundations of deontic logic and the logic of defeasible conditionals / Alchourron C. ; In J.J.Meyer and R. J. Wieringa, editors // Deontic Logics in Computer Science: Normative System Specification. – Chichester : Wiley & Sons, 1994. – P. 43-84. 57. Alchourron C. Detachment and defeasibility in deontic logic / C. Alchourron // Studia Logica. – 1996. – Vol. 51. – P.5-18. 58. Alchourron C. On the logic of theory change: Partial meet contraction and revision functions / C. Alchourron, P. Gardenfors, D. Makinson // Journal of Symbolic Logic. – 1985.– Vol. 50. – P. 510-530. 59. Alchourron C. Hierarchies of regulations and their logic / C. Alchourron, D. Makinson ; In Risto Hilpinen, editor // New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics. – 1981. – Р. 125-148. 60. Alchourron C. On the logic of theory change: Contraction functions and their associated revision functions / C. Alchourron, D. Makinson // Theoria. – 1982. – Vol. 48. – P. 14-37. 61. Alchourron C. On the logic of theory change: Safe contraction / C. Alchourron, D. Makinson // Studia Logica. – 1985 – Vol. 44. – P. 405- 422. 62. Alchourron C. Maps between some differents kinds of contraction functions: The finite case / C. Alchourron, D. Makinson //Studia Logica. – 1986. – Vol. 45. – P. 187-198. 195 63. Anderson A. R. Entailment: Logic of Relevance and Necessity / A. R. Anderson, N. D. Belnap, J. M. Dunn. – Princeton : Princeton University Press, 1992. – Vol. 2. 64. Aucher G. A. Combination System for Update Logic and Belief Revision : Master's thesis ILLC / G. A. Aucher. – Amsterdam, 2003. 65. Baltag A. The Logic of Common Knowledge, Public Announcements, and Private Suspicion / A. Baltag, L. Moss, S. Solecki // Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 98) / Itzhak Gillboa ed. – Evanston, 1998. – Р. 43-56. 66. Baltag A. Dynamic Belief Revision over Multi-Agent Plausibility Model / A. Baltag, S. Smets // Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 06). – Liverpool, 2006. 67. Baltag A. The Logic of Conditional Doxastic Actions: A theory of dynamic multi-agent belief revision / A. Baltag, S. Smets // Proceedings of the Workshop on Rationality and Knowledge (ESSLLI) / S. Artemov and R. Parikh ed. – Malaga, 2006. 68. Barwise J. Interpolation Preservation and Pebble Games / J. Barwise, J. van Benthem // Journal of Symbolic Logic. – 1999. – Vol. 64. – P. 881-903. 69. Boutilier C. Conditional Logics of Normality: a Modal Approach / C. Boutilier // Artificial Intelligence. – 1994. – Vol. 68. – P.87-154. 70. Burgin M. Properties in Science and Their Modelling / M. Burgin, V. Kuznetsov // Quality and Quantity. – 1993. – Vol. 27. – P. 371-382. 71. Burgess J. Basic Tense Logic / J. Burgess // Handbook of philosophical logic. – Reidel, 1984. – Vol. 2 – P. 89-133. 72. Benthem J. van The Logic of Time [Second Edition] / J. van Benthem – Kluwer Academic Publisher, 1991. 73. Benthem J. van Semantic Parallels in Natural Language and Computation / J. van Benthem // Logic Colloquium Granada North-Holland / Ebbinghaus H.-D. et al. ed.. – Amsterdam, 1989. – P. 331-375. 74. Benthem J. Changing Preferences :Tech Report CS-93-10 / J. van Benthem, J. van Eijck, A. Frolova ; Center for Mathematics and Computer Science. – Amsterdam, 1993. 75. Benthem J. van Structural Properties of Dynamic Reasoning / J. van Benthem // Meaning: the Dynamic Turn. – Amsterdam, 2003. – 196 P. 15-31. 76. Benthem J. van Diversity of Logical Agents in Games / J. van Benthem, F. Liu // Philosophia Scientiae. – 2004. – Vol. 8(2). – P. 163-178. 77. Benthem J. van Dynamic logic for belief revision / J. van Benthem // Journal of Applied Non-Classical Logics. – 2004. – Vol. 14. 78. Benthem J. van Dynamic Logic of Preference Upgrade : Tech Report, PP2005-29 / J. van Benthem, F. Liu. – Amsterdam, 2005. 79. Benthem J. van Common Knowledge in Update Logics / J. van Benthem, J. van Eijck, B. Kooi // Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005). – Singapore, 2005. – P. 253-261. 80. Benthem J. van Open Problems in Logical Dynamics / J. van Benthem // Mathematical Problems from Applied Logics / T. Rozhkovskaya ed. – New York : Springer, 2006. 81. Benthem J. van Logics for Preference Ceteris Paribus / J. van Benthem, P. Girard, O. Roy. – Stanford University Press, 2006. 82. Benthem J. van Dynamic Logic of Preference Upgrade / J. van Benthem, F. Liu // Journal of Applied Non-Classical Logic. – 2004 – Vol. 14(2). 83. Benthem J. van The Tree of Knowledge in Action: Towards a Common Perspective / J. van Benthem, E. Pacuit // Advances in Modal Logic. – 2006. 84. Cantwell J. On the logic of small change in hypertheories / J. Cantwell // Theoria. – 1999. – Vol 63. – P. 54-89 85. Cantwell J. Some logics of iterated belief change / J. Cantwell // Studia Logica. – 1999. – Vol. 63. – P. 49-84. 86. Chisholm R. Theory of Knowledge / R. Chisholm – N.J., 1989. 87. Dalal M. Investigations into a theory of knowledge base revision: Preliminary report /Makesh Dalal // Seventh National Converence on Artificial Intelligence (AAAI-88). – St. Paul, 1988. – P. 475-479. 88. Ditmarsch H. van Prolegomena to Dynamic Logic for Belief Revision: Knowledge, Rationality & Action / H. van Ditmarsch // Synthese. – 2005. – Vol. 147(2). – P. 229-275. 89. Ditmarsch H. van Dynamic Epistemic Logic / H. van Ditmarsch, W. van der Hoek, B. Kooi. – Berlin : Springer, 2006. 197 90. Doyle J. A truth maintenance system / J. Doyle // Artificial Intelligence. – 1979. – Vol.12. – P. 231-272. 91. Doyle J. Reason maintenance and belief revision: Foundations versus coherence theories / J. Doyle // Belief Revision / In Peter Gardenfors, editor. – Cambridge University Press, 1992. – Vol. 29. – P. 29-51. 92. Dubois D. Belief change and possibilistic logic / D. Dubois, H. Prade // Belief Revision / In Peter Gardenfors, editor. – Cambridge University Press, 1992. – Vol. 29. – P. 142-182. 93. Fagin R. Updating Logical Databases / R. Fagin, G. Kuper, J. Ullman, M. Vardi // Advances in Computing Research / Kannelakis P., Preparata F. eds. – 1999. – Vol. III – P. 1-18. 94. Fagin R. Reasoning about Knowledge / R. Fagin, J. Halpern, Y. Moses, M. Vardi. – Cambridge : The MIT Press, 1995. 95. Fagin R. On the semantics of updates in databases: Preliminary report / R. Fagin, J. Ullman, M. Vardi // Proceedings of Second ACM SIGACTSIGMOD Symposium on Principles of Database Systems. – 1983. – P. 352-365. 96. Feldman R. Epistemological Duties / R. Feldman // Oxford handbook of epistemology. – N.Y., 2002. – P. 362-385. 97. Ferme E. A little note about maxichoice and epistemic entrenchment : manuscript / E. Ferme– Proceedings Workshop on Logic, Language, Information and Computation Wollic`99. – Itatiaia, 1999. – P. 111-114. 98. Ferme E. On the logic of theory change: Contraction without recovery / E. Ferme // Journal of Logic, Language and Information. – 1998. – Vol. 7. – P. 127-137. 99. Ferme E. A brief note about the Rott contraction / E. Ferme, R. Rodriguez // Logic Journal of the IGPL.– 1998. – Vol. 6(6). – P. 835-842. 100. Ferme E. Five faces of recovery / Ferme E. // Frontiers in Belief Revision / H.Rott and M-A Williams, editors. – Kluwer Academic Publisher, 1999. 101. Ferme E. Selective revision / E. Ferme, S.O. Hansson // Studia Logica. – 1999. – Vol. 63 – P. 331-342. 102. Ferme E. Irrevocable belief revision and epistemic entrenchment / E. Ferme // Logic Journal of the IGPL. – Oxford University Press, 2000. – Vol. 8 (5). – P. 645-652. 198 103. Ferme E. Revision by Comparison / E. Ferme, H. Rott // Artificial Intelligence. – 2004. – Vol. 157. – P. 5–47. 104. Fuhrmann A. Relevant Logics, Modal Logics and Theory Change : PhD thesis / A. Fuhrmann ; Australian National University. – Canberra, 1988. 105. Fuhrmann A. Reflective modalities and theory change / A. Fuhrmann //Synthese.– 1989. – Vol. 81(1). – P. 115-134. 106. Fuhrmann A. Theory contraction through base contraction / A. Fuhrmann // Journal of Philosophical Logic. – 1991. – Vol. 20. – P. 175-203. 107. Fuhrmann A. An Essay on Contraction / A. Fuhrmann. – Stanford : CSLI, 1997. 108. Fuhrmann A. A Survey of Multiple Contractions / A. Fuhrmann, S. O. Hansson // Journal of Logic, Language and Information.– 1994. – Vol. 3 – P. 76. 109. Gardenfors P. Conditionals and changes of belief / P. Gärdenfors // Ada Philosophica Fennica. – 1978. – Vol. 30. – P. 381-404. 110. Gardenfors P. Rules for rational changes of belief / P. Gärdenfors // Philosophical Studies / In Tom Pauli, editor. – 1982. – Vol. 34. – P. 88-101. 111. Gardenfors P. Knowledge in Flux: Modeling the Dynamics of Epistemic States / Peter Gärdenfors. – Cambridge : The MIT Press. – 1988. 112. Gardenfors P. The dynamics of belief systems: foundations versus coherence theories / P. Gärdenfors // Reveu Internationale de Philosophic. – 1990. – Vol. 44. – P. 24-46. 113. Gardenfors P. Revisions of knowledge systems using epistemic entrenchment / P. Gardenfors, D. Makinson // Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge / In Moshe Y. Vardi, editor. – Los Altos, 1988. – P. 83-95. 114. Gardenfors P. Belief revision / P. Gärdenfors, H. Rott // Handbook of Logic in Artificial Intelligence and Logic Programming. – 1995. – Vol. IV. 115. Gomolinska A. On the Logic of Acceptance and Rejection / A. Gomolinska // Studia Logica. –1998. – Vol. 60. – P. 233–251. 116. Grove A. Two modellings for theory change / A. Grove // Journal of Philosophical Logic. –1988. – Vol. 17. – P. 157-170. 117. Hansson S. O. New operators for theory change / S. O. Hansson // Theoria. – 1989. – Vol. 55. – P. 114-132. 199 118. Hansson S. O. Belief Base Dynamics : PhD thesis / S. O. Hansson. – Uppsala University, 1991. 119. Hansson S. O. Belief contraction without recovery / S. O. Hansson // Studia Logica.– 1991. – Vol. 50. – P. 251-260. 120. Hansson S. O. A dynamic representation of belief / S. O. Hansson // Belief Revision / In Peter Gardenfors, editor. – Cambridge University Press, 1992. – P. 89-121. 121. Hansson S. O. Ten Philosophical Problems in Belief Revision / S. O. Hansson // Journal of Logic and Computation. – 2003. – Vol. 13(1). – P. 37-49. 122. Hansson S. O. Changes of disjunctively closed bases / S. O. Hansson // Journal of Logic, Language and Information. – 1993. – Vol. 2. – P. 255- 284. 123. Hansson S. O. Reversing the Levi identity / S. O. Hansson // Journal of Philosophycal Logic. – 1993. – Vol. 22. – P. 637-669. 124. Hansson S. O. Theory contraction and base contraction unified / S. O. Hansson // Journal of Symbolic Logic. – 1993. – Vol. 58. – P. 602- 625. 125. Hansson S. O. Kernel contraction / S. O. Hansson // Journal of Symbolic Logic. – 1994. – Vol. 59. – P. 845-859. 126. Hansson S. O. Taking belief bases seriously / S. O. Hansson // Logic and Philosophy of Science / In Prawitz and Westerstahl, editors. – Dordrecht : Kluwer Academic Publishers, 1994. – P. 13-28. 127. Hansson S. O. Knowledge level analysis of belief base operation / S. O. Hansson // Artificial Intelligence. – 1996. – Vol. 82. – P. 215-235. 128. Hansson S. O. Semi-revision / S. O. Hansson // Journal of Applied NonClassical Logic.– 1997. – Vol. 7. – P. 151-175. 129. Hansson S. O. A Textbook of Belief Dynamics / S. O. Hansson. – Dordrecht : Kluwer Academic Publishers, 1998. 130. Hintikka J. Knowledge and belief: an introduction to the logic of the two notions / J. Hintikka. – Ithaca ; N. Y. : Cornell University Press, 1962. 131. Katsuno H. Prepositional knowledge base revision and minimal change / H. Katsuno, A. Mendelzon // Journal of Artificial Intelligence. – 1991. – Vol. 52. – P. 263-294. 132. Katsuno H. On the difference between updating a knowledge base and 200 revising it / H. Katsuno, A. Mendelzon ; In Peter Gardenfors, editor // Belief Revision. – Cambridge : Cambridge University Press, 1992. – Vol.29. – P.183-203. 133. Kooi B. As the World Turns: on the Logic of Public Updates : manuscript / B. Kooi. – University of Groningen, 2005. 134. Levi I. The enterprise of knowledge / Isaak Levi. – Cambridge : MIT Press, 1980. 135. Levi I. The fixation of belief and its undoing: changing beliefs through inquiry / I. Levi. – Cambridge : Cambridge University Press, 1991. 136. Levi I. Contraction and informational value : manuscript / I. Levi. – Cambridge : Cambridge University Press, 1997. 137. Lewis D. Counterfactuals / D. Lewis. – Oxford : Blackwell, 1973. 138. Lehmann D. What does a conditional knowledge base entail? / D. Lehmann, M. Magidor // Artificial Intelligence. – 1992. – Vol. 55. – P. 1-60. 139. Lindstrom S. Epistemic entrenchment with incomparabilities and relational belief revision / S. Lindstrom, W. Rabinowicz // The Logic of Theory Change / In Fuhrmann and Morreau, editors. – Berlin, 1991. – P.93-126. 140. Lindstrom S. Extending Dynamic Doxastic Logic: accommodating iterated beliefs and ramsey conditionals within DDL / Sten Lindström, Wlodzimierz Rabinowicz // For Good Measure: Uppsala Philosophy Studies. – Uppsala, 1997. 141. Lindstrom S. Modal Logic and Philosophy / S. Lindstrom, K. Segerberg // Studies in Logic and Practical Reasoning. – 2007. – Vol. 3. – P. 1149-1214. 142. Liu F. Preference Change and Information Processing : Tech Report / F. Liu // Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT06). – Liverpool, 2006. 143. Lutz C. Complexity and Succinctness of Public Announcement Logic / C. Lutz // Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS06). – 2006. – P. 137-144. 144. Makinson D. How to give it up: a survey of some recent work on formal aspects of the logic of theory change / D. Makinson // Synthese. – 1985. – 201 Vol. 62. – P. 347-363. 145. Makinson D. On the status of the postulate of recovery in the logic of theory change / D. Makinson // Journal of Philosophical Logic. – 1987. – Vol. 16. – P. 383-394. 146. Makinson D. Five faces of minimality / D. Makinson // Studia Logica. – 1993. – Vol. 52. – P. 339-379. 147. Makinson D. General patterns in nonmonotonic reasoning / D. Makinson // Handbook of Logic in Artificial Intelligence and Logic Programming / In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors. – Oxford : Oxford University Press, 1994. – Vol. 3. – P. 35-110. 148. Makinson D. On the force of some apparent counterexamples to recovery / / D. Makinson // Normative Systems in Legal and Moral Theory: Festschrift for Carlos Alchourron and Eugenio Bulygin / In E. Garzon Valdez et al., editor. – Berlin, 1997. – P. 475-481. 149. Makinson D. Ways of Doing Logic: What was Different about AGM 1985? / D. Makinson // Journal of Logic and Computation.– 2003. – Vol.13. – P.3- 13. 150. Mares E. A Paraconsistent Theory of Belief Revision / Edwin D. Mares // Erkenntnis. – 2002. – Vol. 56. – P. 229–246. 151. Martins J. A model for belief revision / J. Martins, S. Shapiro // Artificial Intelligence. – 1988. – Vol. 35. – P. 25-79. 152. Miller J. The Undecidability of Iterated Modal Relativization / J. Miller, L. Moss // Studia Logica. – 2005. – Vol 97. – P. 373-407. 153. Nayak A. Studies in Belief Change : Doctoral Dissertation / Abhaya Charan Nayak. – Rochester University, 1993. 154. Nebel B. A knowledge level analysis of belief revision / B. Nebel // Proceedings of the 1st International Conference of Principles of Knowledge Representation and Reasoning. – Morgan Kaufmann, 1989. – P. 301-311. 155. Nebel B. Syntax-based approaches of belief revision / B. Nebel ; In Peter Gardenfors, editor // Belief Revision. – Cambridge University Press, 1992. – P. 52-88. 156. Niederee R. Multiple contraction: A further case against Gardenfors' principle of recovery / R. Niederee // The Logic of Theory Change / In 202 Fuhrmann and Morreau, editors. – Berlin, 1991. – P. 322-334. 157. Plaza J. A. Logics of Public Communications / J. A. Plaza // Proceedins 4th International Symposium on Methodologies for Intelligent Systems. – 1989. 158. Rabinowicz W. Global belief revision based on similarities between worlds / W. Rabinowicz // Logic for a change / In Sven Ove Hansson and Włodek Rabinowicz, editors. – Uppsala : Uppsala Prints and Preprints in Philosophy, 1995. – Vol. 9. – P. 80-105. 159. Rott H. Shifting Priorities: Simple Representations for Iterated Theory Change Operators / H. Rott // Uppsala Philosophical Studies : Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg / Lagerlund H., Lindstrom S., Sliwinski R. eds. – 2006. – Vol. 53. – P. 359- 384. 160. Rott H. Making up one’s mind: Foundations, coherence, nonmonotonicity : Technical report / H. Rott. – Oxford : Oxford University Press, 1998. 161. Rott H. Conditionals and theory change: revision, expansions and additions / H. Rott // Synthese. – 1989. – Vol. 81. – P. 91-113. 162. Rott H. Two methods of constructing contractions and revisions of knowledge systems / H. Rott // Journal of Philosophical Logic. – 1991. – Vol. 20. – P. 149-173. 163. Rott H. On the logic of theory change: More maps between different kinds of contraction functions / H. Rott // Belief Revision / In Peter Gardenfors, editor. – Cambridge : Cambridge University Press, 1992. – Vol. 29. – P. 122-141. 164. Rott H. Preferential belief change using generalized epistemic entrenchment / H. Rott // Journal of Logic, Language and Information. – 1992. – Vol. 1. – P. 45-78. 165. Rott H. Just because. Taking belief bases very seriously / H. Rott // Logic for a change / In Sven Ove Hansson and Wlodek Rabinowicz, editors. – Uppsala : Uppsala Prints and Preprints in Philosophy, 1995. – Vol. 9. – P. 106-124. 166. Rott H. Coherence and Conservation in the Dynamics of Belief, Part I: Finding the Right Framework / Hans Rott. – Amsterdam : ILLC 203 Prepublications, 1999. 167. Rott H. Severe withdrawal and recovery / H. Rott, M. Pagnucco // Journal of Philosophical Logic. – 1999. – Vol. 28(5). – P. 501-547. 168. Segerberg K. Belief Revision from the Point of View of Doxastic Logic / Krister Segerberg // Bulletin of the IGPL. – Oxford : Oxford University Press, 1995. – Vol. 3. – P. 534-553. 169. Segerberg K. Further questions about hypertheories / Krister Segerberg // Uppsala Philosophical Studies. – Uppsala, 1997. – Vol. 45. 170. Segerberg K. Irrevocable Belief Revision in Dynamic Doxastic Logic / K. Segerberg // Notre Dame Journal of Formal Logic. – 1998. – Vol. 39. – P. 287-306. 171. Segerberg K. Belief revision and doxastic commitment : manuscript / K. Segerberg. – Uppsala, 1998. 172. Segerberg K. Default Logic as Dynamic Doxastic Logic / K. Segerberg // Erkenntnis. – 1999. – Vol. 50. – P. 333-352. 173. Segerberg K. Getting started: Beginnings in the Logic of Action / K. Segerberg // Studia Logica. – 1992. – Vol. 51. – P. 347-378. 174. Segerberg K. A completeness proof in full DDL / K. Segerberg // Logic and Logical Philosophy. – 2001. – Vol. 9. – P. 77–90. 175. Segerberg K. Blueprint for a dynamic deontic logic / K. Segerberg // Journal of Applied Logic. – 2009. – Vol. 7(4). – P. 388-402. 176. Segerberg K. Dynamic doxastic logic: why, how, and where to? / K. Segerberg, H. Leitgeb // Synthese. – 2007. – Vol. 155(2). – P. 167-190. 177. Segerberg K. A blueprint for deontic logic in three (not necessarily easy) steps / K. Segerberg. – Dagstuhl, 2007. 178. Segerberg K. Moore Problems in Full Dynamic Doxastic Logic / K. Segerberg // Poznan Studies in the Philosophy of the Sciences and the Humanities. – 2006. – Vol. 91 (1). – P. 95-110. 179. Shoham Y. Reasoning About Change: Time and Change from the Standpoint of Artificial Intelligence / Y. Shoham. – Cambridge : MIT Press, 1988. 180. Shramko Y. Doxastic actions and doxastic commitments: belief revision as pure modal logic / Y. Shramko // Smirnov's Readings; 2nd International Conference. – Moscow, 1999. – P. 90-92. 181. Shramko Y. The Slingshot Argument and Sentential Identity / Y. Shramko, 204 H. Wansing // Studia Logica. – 2009. – Vol. 91. – P. 429-455. 182. Spohn W. Ordinal conditional functions: A dynamic theory of epistemic states / W. Spohn // Causation in Decision, Belief Change and Statistics / In W. Harper and B. Skyrms, editors. – Dordrecht, 1987. – Vol. 2. – P. 105- 134. 183. Stalnaker R. A Theory of Conditionals / R. Stalnaker // Studies in Logical Theory /N. Rescher, ed. – Oxford, 1968. – P. 98-112. 184. Stalnaker R. A Semantic Analysis of Conditional Logic / R. Stalnaker, R. H. Thomason // Theoria. – 1970. – Vol. 36. – P. 23-42. 185. Tarski A. Logic, Semantics, Metamhatematics. Papers from 1923 to 1938. / A. Tarski ; Translated by J. H. Woodger. – Oxford : Clarendon Press, 1956. 186. Veltman F. Defaults in Update Semantics / F. Veltman // Journal of Philosophical Logic. – 1996. –Vol. 25. – P. 221-261. 187. Williams M.-A. On the logic of theory base change / Mary-Ann Williams // Logics in Artificial Intelligence / In MacNish, editor. – Springer Verlag, 1994. – №835. – P. 95-111. 188. Williams M.-A. Transmutations of knowledge systems / Mary-Ann Williams // Proceedings of the fourth International Conference on Principles of Knowledge Representation and Reasoning / In Doyle J. etc ed. – Bonn, 1994. – P. 619-629. 189. Yamada T. Commands and Changing Obligations / T. Yamada // Proceedings of the Seventh International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII). – 2006. 190. Wright G.H. von An essay in modal logic / G.H. von. Wright – Amsterdam : North-Holland Pub. Co.,1951.

Show full item record