找回密碼
 To register

QQ登錄

只需一步，快速開(kāi)始

掃一掃，訪問(wèn)微社區(qū)

打印 上一主題 下一主題

Titlebook: Revision, Acceptability and Context; Theoretical and Algo Dov M. Gabbay,Odinaldo T. Rodrigues,Alessandra Rus Book 2010 Springer-Verlag Berl

[復(fù)制鏈接]
查看: 10264|回復(fù): 42
樓主
發(fā)表于 2025-3-21 16:03:48 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書(shū)目名稱(chēng)Revision, Acceptability and Context
副標(biāo)題Theoretical and Algo
編輯Dov M. Gabbay,Odinaldo T. Rodrigues,Alessandra Rus
視頻videohttp://file.papertrans.cn/830/829803/829803.mp4
概述This is the most-up-to-date book on this topic.The book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic The authors illustrate the ide
叢書(shū)名稱(chēng)Cognitive Technologies
圖書(shū)封面Titlebook: Revision, Acceptability and Context; Theoretical and Algo Dov M. Gabbay,Odinaldo T. Rodrigues,Alessandra Rus Book 2010 Springer-Verlag Berl
描述An important aspect in the formalisation of common-sense reasoning is the construction of a model of what an agent believes the world to be like to help in her reasoning process. This model is often incomplete or inaccurate, but new information can be used to refine it. The study of techniques that achieve this in a rational way is the task of the discipline of belief revision, with which this book is concerned.There are three key elements to the book‘s approach. Firstly, the methodology of logic by translation. A specific instance of this is the idea of revision by translation. Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level. In this book, we bring the operation of deletion to the object level. Finally, through Labelled Deductive Systems, we use the context of the revision to finetune its operation and illustrate the idea through the presentation of various algorithms.The book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory
出版日期Book 2010
關(guān)鍵詞Belief revision; Revision theory; algorithms; artificial intelligence; database; database theory; intellig
版次1
doihttps://doi.org/10.1007/978-3-642-14159-1
isbn_softcover978-3-642-26430-6
isbn_ebook978-3-642-14159-1Series ISSN 1611-2482 Series E-ISSN 2197-6635
issn_series 1611-2482
copyrightSpringer-Verlag Berlin Heidelberg 2010
The information of publication is updating

書(shū)目名稱(chēng)Revision, Acceptability and Context影響因子(影響力)




書(shū)目名稱(chēng)Revision, Acceptability and Context影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Revision, Acceptability and Context網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Revision, Acceptability and Context網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Revision, Acceptability and Context被引頻次




書(shū)目名稱(chēng)Revision, Acceptability and Context被引頻次學(xué)科排名




書(shū)目名稱(chēng)Revision, Acceptability and Context年度引用




書(shū)目名稱(chēng)Revision, Acceptability and Context年度引用學(xué)科排名




書(shū)目名稱(chēng)Revision, Acceptability and Context讀者反饋




書(shū)目名稱(chēng)Revision, Acceptability and Context讀者反饋學(xué)科排名




單選投票, 共有 1 人參與投票
 

0票 0.00%

Perfect with Aesthetics
 

1票 100.00%

Better Implies Difficulty
 

0票 0.00%

Good and Satisfactory
 

0票 0.00%

Adverse Performance
 

0票 0.00%

Disdainful Garbage
您所在的用戶(hù)組沒(méi)有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 21:10:21 | 只看該作者
板凳
發(fā)表于 2025-3-22 04:09:53 | 只看該作者
Background and Overview,tems, e.g., Labelled Deductive Systems lds-book-one, we can keep track of inconsistency and label exactly how contradictions are derived. This labelling allows us to execute different options for inconsistency.
地板
發(fā)表于 2025-3-22 06:20:54 | 只看該作者
5#
發(fā)表于 2025-3-22 10:52:49 | 只看該作者
Stepwise Revision Operations, a sense unaware of the agent’s history of revision, and this has implications on the iteration of the revision process. For that reason, we call this type of revision operation .. We will consider the iteration of the revision process in Chapter 4.
6#
發(fā)表于 2025-3-22 15:43:44 | 只看該作者
7#
發(fā)表于 2025-3-22 17:10:55 | 只看該作者
Background and Overview,se,it explodes. The semantics reinforces the nature of inconsistency — there is no classical or intuitionistic model for inconsistent data.In some systems, e.g., Labelled Deductive Systems lds-book-one, we can keep track of inconsistency and label exactly how contradictions are derived. This labelli
8#
發(fā)表于 2025-3-22 23:32:06 | 只看該作者
Introducing Revision Theory, development of classical logic, for instance. The investigation of how humans change their minds in the face of new contradictory information is however somewhat more recent. Early accounts include the work of Ramsey [40, 41] in his insights into conditional statements, for instance, and subsequent
9#
發(fā)表于 2025-3-23 04:54:48 | 只看該作者
10#
發(fā)表于 2025-3-23 08:00:41 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛(ài)論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-29 14:26
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
龙胜| 合阳县| 田林县| 惠东县| 黑龙江省| 句容市| 峨眉山市| 尚志市| 扶余县| 永川市| 泰来县| 柳河县| 尼勒克县| 闻喜县| 清水县| 湟源县| 永登县| 凤庆县| 新和县| 钟山县| 山东省| 新密市| 龙游县| 临城县| 江安县| 昭平县| 茶陵县| 贵州省| 班玛县| 海盐县| 玛曲县| 牡丹江市| 神农架林区| 商洛市| 秭归县| 萍乡市| 常熟市| 罗甸县| 青海省| 门头沟区| 阿图什市|