找回密碼
 To register

QQ登錄

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

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

打印 上一主題 下一主題

Titlebook: Reasoning with Actual and Potential Contradictions; Philippe Besnard,Anthony Hunter Book 1998 Springer Science+Business Media Dordrecht 19

[復(fù)制鏈接]
查看: 44424|回復(fù): 42
樓主
發(fā)表于 2025-3-21 17:46:01 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書(shū)目名稱Reasoning with Actual and Potential Contradictions
編輯Philippe Besnard,Anthony Hunter
視頻videohttp://file.papertrans.cn/823/822498/822498.mp4
叢書(shū)名稱Handbook of Defeasible Reasoning and Uncertainty Management Systems
圖書(shū)封面Titlebook: Reasoning with Actual and Potential Contradictions;  Philippe Besnard,Anthony Hunter Book 1998 Springer Science+Business Media Dordrecht 19
描述We are happy to present the second volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real world and must therefore be addressed by every system that attempts to represent reality. The representation of un- certainty is a major concern of philosophers, logicians, artificial intelligence researchers and computer sciencists, psychologists, statisticians, economists and engineers. The present Handbook volumes provide frontline coverage of this area. This Handbook was produced in the style of previous handbook series like the Handbook of Philosophical Logic, the Handbook of Logic in Computer Science, the Handbook of Logic in Artificial Intelligence and Logic Programming, and can be seen as a companion to them in covering the wide applications of logic and reasoning. We hope it will answer the needs for adequate representations of uncertainty. This Handbook series grew out of the ESPRIT Basic Research Project DRUMS II, where the acronym is made out of the Handbook series title. This project was financially supported by the European Union and regroups 20 major European research teams working in the general domain of uncer- tainty.
出版日期Book 1998
關(guān)鍵詞artificial intelligence; intelligence; knowledge; logic; logic programming; modal logic; philosophy; progra
版次1
doihttps://doi.org/10.1007/978-94-017-1739-7
isbn_softcover978-90-481-5063-2
isbn_ebook978-94-017-1739-7
copyrightSpringer Science+Business Media Dordrecht 1998
The information of publication is updating

書(shū)目名稱Reasoning with Actual and Potential Contradictions影響因子(影響力)




書(shū)目名稱Reasoning with Actual and Potential Contradictions影響因子(影響力)學(xué)科排名




書(shū)目名稱Reasoning with Actual and Potential Contradictions網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱Reasoning with Actual and Potential Contradictions網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱Reasoning with Actual and Potential Contradictions被引頻次




書(shū)目名稱Reasoning with Actual and Potential Contradictions被引頻次學(xué)科排名




書(shū)目名稱Reasoning with Actual and Potential Contradictions年度引用




書(shū)目名稱Reasoning with Actual and Potential Contradictions年度引用學(xué)科排名




書(shū)目名稱Reasoning with Actual and Potential Contradictions讀者反饋




書(shū)目名稱Reasoning with Actual and Potential Contradictions讀者反饋學(xué)科排名




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

1票 100.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用戶組沒(méi)有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 22:44:05 | 只看該作者
板凳
發(fā)表于 2025-3-22 03:42:03 | 只看該作者
地板
發(fā)表于 2025-3-22 05:33:38 | 只看該作者
Paraconsistent Logics,out the logic being trivialized [Gabbay and Hunter, 1991; Finkelstein .., 1994]. This is the need to derive reasonable inferences without deriving the trivial inferences that follow the ex falso quodlibet proof rule that holds in classical logic.
5#
發(fā)表于 2025-3-22 09:53:35 | 只看該作者
Modal Logics for Representing Incoherent Knowledge,eed to be able to represent and reason with this in a non-trivial way. Representing incoherences cannot be done non-trivially in classical logic, since here when an inconsistency arises one may derive anything using (properties of the) material implication and modus ponens.
6#
發(fā)表于 2025-3-22 14:53:10 | 只看該作者
Introduction to Actual and Potential Contradictions,apter some general issues of representing and reasoning with notions of contradiction and inconsistency. For the sake of generality in this chapter, logics are here understood as formal systems consisting of a language . (in the form of a set of formulas) on which an inference operation . is defined
7#
發(fā)表于 2025-3-22 19:01:17 | 只看該作者
8#
發(fā)表于 2025-3-22 22:56:51 | 只看該作者
Modal Logics for Representing Incoherent Knowledge,ther one we get some information that contradicts this. Examples range from human conversion in groups to electronic agents with multiple sensors and computer systems with multiple (communicating) intelligent (artificial) agents (so-called ‘.’). In order to cope with this incoherent information we n
9#
發(fā)表于 2025-3-23 04:46:05 | 只看該作者
10#
發(fā)表于 2025-3-23 08:00:11 | 只看該作者
Conditional Logics for Defeasible Reasoning,totypical proprties. Example of such statements include “birds fly” or “John walks to work”. A notable characteristic of such statements is that they express a truth (or a conditional) that makes reference to . states of affairs. Such statements may also admit exceptions: it is clearly true that not
 關(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-7 07:32
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
鄯善县| 托里县| 浪卡子县| 崇明县| 积石山| 元阳县| 洪洞县| 虹口区| 正蓝旗| 巴南区| 新乡市| 达拉特旗| 秦安县| 日土县| 胶南市| 马边| 大理市| 沂水县| 吴堡县| 二连浩特市| 华安县| 贡觉县| 武平县| 衡东县| 克什克腾旗| 沾益县| 抚远县| 蓝山县| 澄迈县| 宁明县| 雷波县| 县级市| 宜兰市| 伊通| 阿勒泰市| 比如县| 县级市| 崇义县| 武城县| 商都县| 贺兰县|