Non-Prioritized Belief Change
暫譯: 非優先信念變更
Fermé, Eduardo, Garapa, Marco, Reis, Maurício D. L.
- 出版商: Springer
- 出版日期: 2026-04-24
- 售價: $6,680
- 貴賓價: 9.5 折 $6,346
- 語言: 英文
- 頁數: 203
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 3031970217
- ISBN-13: 9783031970214
-
相關分類:
Machine Learning
海外代購書籍(需單獨結帳)
相關主題
商品描述
Belief change (also referred to as logic of theory change or as belief revision) is a research area that models how rational agents modify their beliefs in response to new information or experiences. It emerged as a major field of study in the mid-1980s and has since become a key topic across disciplines such as philosophy, logic, and artificial intelligence. The one that is nowadays considered the standard model of belief change is the AGM model, proposed by Alchourrón, Gärdenfors and Makinson in the Journal of Symbolic Logic in 1985 (the so-called AGM paper).
In the four decades that have followed since, the area has developed rapidly and in many directions. The AGM model inspired many researchers to propose extensions and generalizations (for an overview see Belief Change by Fermé and Hansson, Springer, 2018), from among which the authors highlight the models of non-prioritized belief change: These are models in which the belief change operators considered do not give priority to the new information received (contrary to what is the case regarding the AGM model which fulfils the principle of primacy of new information). For example, the output of a non-prioritized revision may not contain the new belief that has motivated that revision. Analogously, the outcome of a non-prioritized contraction may still contain the sentence by which the contraction is made.
In a deep and comprehensive manner, this book summarises the contributions made to the modelling of non-prioritized belief change in the literature from 1985. All models are presented and taxonomized according to their main characteristics.
商品描述(中文翻譯)
信念變更（也稱為理論變更邏輯或信念修訂）是一個研究領域，旨在模擬理性代理人如何根據新資訊或經驗修改其信念。這一領域在1980年代中期興起，並且已成為哲學、邏輯和人工智慧等學科中的一個關鍵主題。如今被認為是信念變更標準模型的是AGM模型，該模型由Alchourrón、Gärdenfors和Makinson於1985年在《符號邏輯期刊》中提出（即所謂的AGM論文）。
在隨後的四十年中，這一領域迅速發展並朝多個方向拓展。AGM模型啟發了許多研究者提出擴展和概括（有關概述，請參見Fermé和Hansson的《信念變更》，Springer，2018），其中作者特別強調了非優先信念變更模型：這些模型中考慮的信念變更運算子不會優先考慮所接收的新資訊（這與AGM模型的情況相反，後者遵循新資訊的優先原則）。例如，非優先修訂的輸出可能不包含促使該修訂的新信念。類似地，非優先收縮的結果仍可能包含進行收縮的句子。
本書以深入且全面的方式總結了自1985年以來文獻中對非優先信念變更建模的貢獻。所有模型根據其主要特徵進行呈現和分類。
作者簡介
Eduardo Fermé is a Full Professor at the University of Madeira, where he currently heads the Department of Informatics Engineering and Interactive Media Design. He holds a PhD in Computer Science from the University of Buenos Aires (1999) and a PhD in Philosophy from KTH Royal Institute of Technology, Sweden (2011). His research focuses on the foundations of belief change, with an emphasis on bridging formal models with practical applications in Artificial Intelligence, including areas such as knowledge representation, non-monotonic logic, and decision-making systems. He has published more than 40 journal articles--over half in top-ranked international journals--and over 40 peer-reviewed conference papers, with regular contributions to major AI venues such as IJCAI, AAAI, and KR. He has led more than 10 research projects and contributed as a senior researcher to several others, funded by agencies in Portugal, Argentina, Brazil, France, Germany, and the European Union. As a lecturer, he has taught for over 30 years in the areas of Logic, Artificial Intelligence, and Belief Revision at undergraduate and postgraduate levels in Argentina, Portugal, and Brazil. He has supervised over 40 master's dissertations, 6 doctoral theses, and 4 postdoctoral researchers in diverse fields including Informatics, Mathematics, Psychology, and Education.
Marco Garapa is a teacher of the Secretaria Regional de Educação, Ciência e Tecnologia of Madeira and has been teaching for over two decades at the Faculty of Exact Sciences and Engineering of the University of Madeira, where he carries out his academic activities. He graduated in Mathematics in 1999, completed a Master's degree in Mathematics in 2006, and obtained a PhD in Mathematics, with a specialization in Logic and Computer Science in 2017, all from University of Madeira. He is a researcher at CIMA (Centro de Investigação em Matemática e Aplicações). His primary research interests lie in belief revision, particularly in non-prioritized belief change and belief base dynamics. His research findings have been published in leading international journals and presented at prominent conferences within the fields of Artificial Intelligence and Logic. Throughout his academic career, he has taught a broad range of courses at both undergraduate and master's levels, including subjects such as Logic, Computational Logic, and Calculus, among others.
Maurício D. L. Reis is an Associate Professor in the Department of Mathematics at the Faculty of Exact Sciences and Engineering of the University of Madeira (UMa), and a researcher at CIMA (Centro de Investigação em Matemática e Aplicações). He obtained a PhD in Mathematics, specialising in Logic and Computer Science, from UMa in 2011. Prior to that, he graduated in Mathematics from UMa in 2001 and earned an MSc in Applied Mathematics from Instituto Superior Técnico - Technical University of Lisbon, in 2004. His main research interests are in the field of the Logic of Belief Change, and his principal scientific contributions concern multiple contraction, belief base revision, and non-prioritised belief change. His scholarly work includes several articles published in leading scientific journals and in the proceedings of top-tier scientific conferences. With over two decades of teaching experience, his pedagogical activities have encompassed a broad spectrum of courses at both undergraduate and master's levels, covering subjects including, among others, Logic, Applied Logic, and Computability Theory.
作者簡介(中文翻譯)
愛德華多·費爾梅是馬德拉大學的全職教授，目前擔任資訊工程與互動媒體設計系的系主任。他於1999年在布宜諾斯艾利斯大學獲得計算機科學博士學位，並於2011年在瑞典KTH皇家技術學院獲得哲學博士學位。他的研究專注於信念變更的基礎，特別是將形式模型與人工智慧中的實際應用相結合，包括知識表示、非單調邏輯和決策系統等領域。他已發表超過40篇期刊文章，其中一半以上發表在頂級國際期刊上，並發表超過40篇經過同行評審的會議論文，定期為主要的人工智慧會議如IJCAI、AAAI和KR作出貢獻。他主導了超過10個研究項目，並作為高級研究員參與了其他幾個由葡萄牙、阿根廷、巴西、法國、德國和歐盟資助的項目。作為講師，他在阿根廷、葡萄牙和巴西的本科和研究生層次教授邏輯、人工智慧和信念修訂等領域的課程，已有超過30年的教學經驗。他指導了超過40篇碩士論文、6篇博士論文和4名博士後研究人員，涵蓋資訊學、數學、心理學和教育等多個領域。
馬可·加拉帕是馬德拉地區教育、科學與技術秘書處的教師，並在馬德拉大學精確科學與工程學院教授超過二十年，從事學術活動。他於1999年獲得數學學士學位，於2006年完成數學碩士學位，並於2017年獲得馬德拉大學的數學博士學位，專攻邏輯與計算機科學。他是CIMA（數學與應用研究中心）的研究員。他的主要研究興趣在於信念修訂，特別是非優先信念變更和信念基礎動態。他的研究成果已發表在領先的國際期刊上，並在人工智慧和邏輯領域的知名會議上進行報告。在他的學術生涯中，他教授了廣泛的本科和碩士課程，包括邏輯、計算邏輯和微積分等科目。
毛里西奧·D·L·雷斯是馬德拉大學（UMa）精確科學與工程學院數學系的副教授，並是CIMA（數學與應用研究中心）的研究員。他於2011年在UMa獲得數學博士學位，專攻邏輯與計算機科學。在此之前，他於2001年在UMa獲得數學學士學位，並於2004年在里斯本技術大學的高等技術學院獲得應用數學碩士學位。他的主要研究興趣在於信念變更的邏輯，主要的科學貢獻涉及多重收縮、信念基礎修訂和非優先信念變更。他的學術工作包括在領先的科學期刊和頂級科學會議的會議論文中發表的多篇文章。擁有超過二十年的教學經驗，他的教學活動涵蓋了本科和碩士層次的廣泛課程，包括邏輯、應用邏輯和可計算性理論等主題。
