| 書(shū)目名稱(chēng) | Handbook of Philosophical Logic | | 副標(biāo)題 | Volume 14 | | 編輯 | D.M. Gabbay,F. Guenthner | | 視頻video | http://file.papertrans.cn/422/421922/421922.mp4 | | 概述 | Authoritative in the area of philosophical logic, presenting comprehensive coverage of key areas of logic.Of particular interest to those in the field of artificial intelligence and common sense agent | | 叢書(shū)名稱(chēng) | Handbook of Philosophical Logic | | 圖書(shū)封面 |  | | 描述 | theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: ? a chapter on non-monotonic logic ? a chapter on combinatory logic and ?-calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re- 1 moved. Non-monotonic logic is now a very major area of philosop- cal logic, alongside default logics, labelled deductive systems, ?bring l- ics, multi-dimensional, multimodal and substructural logics. Intensive - examinations of fragments of classical logic have produced fresh insights, including at time decision procedures and equivalence with non-classical systems. Perhaps the most impressive achievement of philosophical logic as arising inthepastdecadehasbeenthee?ectivenegotiationofresearchpartnerships with fallacy theory, informal logic and argumentation theory, attested to by the Amsterdam Conference in Logic and Argumentation in 1995, and the two Bonn Conferences in Practical Reasoning in 1996 and 1997. These subjects are becoming more and more useful in agent theory and intelligent and reactive databases. Finally, ?fteen years after the start of the Handbook project, I would li | | 出版日期 | Book 20071st edition | | 關(guān)鍵詞 | Causality; Conditionals; Inconsistency; Logic; Quantifiers; artificial intelligence; intelligence; linguist | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4020-6324-4 | | isbn_softcover | 978-90-481-7608-3 | | isbn_ebook | 978-1-4020-6324-4Series ISSN 3004-992X Series E-ISSN 3004-9938 | | issn_series | 3004-992X | | copyright | Springer Science+Business Media B.V. 2007 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 22:23
發(fā)表于 2025-3-21 17:27:34
