反馈文件质量
lgli/A:\compressed\10.1007%2FBFb0037025.pdf
Truth Maintenance Systems: Ecai-90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific) 🔍
Oskar Dressler, Adam Farquhar (auth.), João Pavão Martins, Michael Reinfrank (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science 515, 1, 1991
英语 [en] · PDF · 3.7MB · 1991 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save
描述
The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: **-****Meta-level** **control:** the goal here is to specify some meta-criteria to control the behavior of the TMS. **-****Extensions of TMS:** here the aim is to incorporate new mechanisms into TMS-like systems. **-****Foundations:** there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. **-****Belief revision:** TMS can be considered as providing support to manage the more general problem of belief revision.
备用文件名
lgrsnf/A:\compressed\10.1007%2FBFb0037025.pdf
备用文件名
nexusstc/Truth Maintenance Systems: ECAI-90 Workshop Stockholm, Sweden, August 6, 1990 Proceedings/1cbc7410cc058ef727d2349d0a85b05c.pdf
备用文件名
zlib/Computers/Computer Science/Oskar Dressler, Adam Farquhar (auth.), João Pavão Martins, Michael Reinfrank (eds.)/Truth Maintenance Systems: ECAI-90 Workshop Stockholm, Sweden, August 6, 1990 Proceedings_2117522.pdf
备选作者
Joao P Martins; Michael Reinfrank; European Conference on Artificial Intelligence; Truth Maintenance Workshop
备选作者
João P Martins; M Reinfrank; European Conference on Artificial Intelligence; Truth Maintenance Workshop
备选作者
M Reinfrank; João P Martins; Truth Maintenance Workshop; European Conference on Artificial Intelligence
备选作者
Joao P Martins; Michael Reinfrank; SpringerLink (Online service)
备选作者
Martins, Joao P. [editor]; Reinfrank, Michael [editor];
备用出版商
Springer Berlin Heidelberg : Imprint: Springer
备用出版商
Springer Spektrum. in Springer-Verlag GmbH
备用出版商
Steinkopff. in Springer-Verlag GmbH
备用版本
Lecture notes in computer science ;, 515., Lecture notes in artificial intelligence, Lecture notes in computer science ;, 515., Lecture notes in computer science., Berlin, New York, Germany, 1991
备用版本
Lecture notes in computer science ; Lecture notes in artificial intelligence, 515, Berlin ; New York, c1991
备用版本
Lecture Notes in Artificial Intelligence, 515, 1st ed. 1991, Berlin, Heidelberg, 1991
备用版本
Lecture Notes in Computer Science Ser, New York, Aug. 1991
备用版本
Germany, Germany
备用版本
August 1991
元数据中的注释
lg963620
元数据中的注释
{"container_title":"Lecture Notes in Computer Science","edition":"1","isbns":["3540475508","3540543058","9783540475507","9783540543053"],"issns":["0302-9743","1611-3349"],"last_page":180,"publisher":"Springer","series":"Lecture Notes in Computer Science 515"}
元数据中的注释
Includes bibliographical references.
"[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref.
备用描述
Putting The Problem Solver Back In The Driver's Seat : Contextual Control Of The Amts / Oskar Dressler And Adam Farquhar -- Variations On Backtracking For Tms / Ulrich Junker -- An Abductive Procedure For The Cms/atms / Katsumi Inoue -- Knowledge Assimilation And Abduction / A.c. Kakas And P. Mancarella -- Truth Maintenance Systems And Belief Revision / Laura Giordano And Alberto Martelli -- A Possibilistic Assumption-based Truth Maintenance System With Uncertain Justifications, And Its Application To Belief Revision / Didier Dubois, Jérôme Lang, And Henri Prade -- Arc : An Extended Atms Based On Directed Cat-correct Resolution / Pierre Tayrac -- On Logical Foundations Of The Atms / Yasushi Fujiwara And Shinichi Honiden -- A Skeptical Semantics For Truth Maintenance / Cees Witteveen -- Semantic Accounts Of Belief Revision / Peter Jackson And John Pais. J.p. Martins, M. Reinfrank (eds.). [papers From] The Truth Maintenance Workshop ... Held On August 6, 1990, During The European Conference On Artificial Intelligence In Stockholm, Sweden--pref.
备用描述
Annotation The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. - Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. - Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. - Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision
备用描述
Putting the problem solver back in the Driver's seat: Contextual control of the ATMS....Pages 1-16
Variations on backtracking for TMS....Pages 17-33
An abductive procedure for the CMS/ATMS....Pages 34-53
Knowledge assimilation and abduction....Pages 54-70
Truth maintenance systems and belief revision....Pages 71-86
A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision....Pages 87-106
ARC: An extended ATMS based on directed CAT-correct resolution....Pages 107-124
On logical foundations of the ATMS....Pages 125-135
A skeptical semantics for truth maintenance....Pages 136-154
Semantic accounts of belief revision....Pages 155-177
备用描述
Keine Beschreibung vorhanden.
Erscheinungsdatum: 24.07.1991
开源日期
2013-08-01
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：JDownloader
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。