反馈文件质量
lgli/A:\compressed\10.1007%2F978-1-4615-2275-1.pdf
The Knowledge Acquisition and Representation Language, KARL 🔍
Dieter Fensel (auth.) Springer US : Imprint : Springer, 1, 1995
英语 [en] · PDF · 5.8MB · 1995 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save
描述
The Knowledge Acquisition and Representation Language KARL is a formal and operational specification language for knowledge-based systems and second-generation expert systems. KARL provides language primitives to represent knowledge according to the layers of a KADS-oriented model of expertise. The main features of KARL are: it provides epistemologically adequate modelling primitives that allow knowledge specifications at the knowledge level. Therefore, KARL allows a smooth transition from informal to formal specifications. KARL is a formal knowledge specification language. That is, it has a declarative semantics. KARL is an operational knowledge specification language that allows prototyping, i.e. knowledge evaluation by testing. Read more... Abstract: The Knowledge Acquisition and Representation Language KARL is a formal and operational specification language for knowledge-based systems and second-generation expert systems. KARL provides language primitives to represent knowledge according to the layers of a KADS-oriented model of expertise. The main features of KARL are: it provides epistemologically adequate modelling primitives that allow knowledge specifications at the knowledge level. Therefore, KARL allows a smooth transition from informal to formal specifications. KARL is a formal knowledge specification language. That is, it has a declarative semantics. KARL is an operational knowledge specification language that allows prototyping, i.e. knowledge evaluation by testing.
备用文件名
lgrsnf/A:\compressed\10.1007%2F978-1-4615-2275-1.pdf
备用文件名
nexusstc/The Knowledge Acquisition and Representation Language, KARL/e0f4d0c401c3fc68c2f23373b579493a.pdf
备用文件名
zlib/Computers/Computer Science/Dieter Fensel (auth.)/The Knowledge Acquisition and Representation Language, KARL_2118501.pdf
备选作者
by Dieter Fensel
备用出版商
Canadian Centre on Substance Abuse
备用出版商
Options Publishing, Incorporated
备用出版商
Kluwer Academic Publishers
备用出版商
Whyld Publishing Co-op.
备用出版商
Seuil Jeunesse
备用版本
United Kingdom and Ireland, United Kingdom
备用版本
United States, United States of America
备用版本
Springer Nature, New York, NY, 2012
备用版本
Canada - English Language, Canada
备用版本
Boston, MA, Massachusetts, 1995
备用版本
New York, NY, 1995
备用版本
France, France
备用版本
1, 2012
元数据中的注释
lg2132107
元数据中的注释
{"edition":"1","isbns":["1461359597","1461522757","1601611641","1771781971","1871911931","2022052072","9781461359593","9781461522751","9781601611642","9781771781978","9781871911930","9782022052076"],"last_page":238,"publisher":"Springer US"}
备用描述
Within the framework of so-called second generation expert systems [62] knowledge modeling is one of the most important aspects. On the one hand, knowledge acquisition is no longer seen as a knowledge transfer process, rather it is now considered as model construction process which is typically a cyclic and error prone process. On the other hand, the distinction between knowledge and symbol level descriptions [166] resulted in various proposals for conceptual knowledge models describing knowledge in an implementation independent way. One of the most prominent examples of such a conceptual model is the KADS model of expertise which is characterized by its clear distinction of different know ledge types and by the usage of specific modeling primitives to describe these different knowledge types [185]. The semi formal KADS expertise model entails all the advantages and disadvantages which have been identified for semi-formal system models e.g. in the software engineering community.
Erscheinungsdatum: 27.09.2012
备用描述
Front Matter....Pages i-xix
Introduction....Pages 1-38
Logical-KARL....Pages 39-62
Procedural-KARL....Pages 63-70
The KARL Model of Expertise....Pages 71-131
The Formal Semantics of KARL....Pages 133-185
Conclusion....Pages 187-211
Back Matter....Pages 213-238
开源日期
2013-08-01
更多信息……

🚀 快速下载

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

🐢 低速下载

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

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