Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines

机译：用抽象状态机建模条件知识发现和信念修正

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We develop a high-level ASM specification for the CON-DOR system that provides powerful methods and tools for managing knowledge represented by conditionals. Thereby, we are able to elaborate crucial interdependencies between different aspects of knowledge representation, knowledge discovery, and belief revision. Moreover, this specification provides the basis for a stepwise refinement development process of the CONDOR system based on the ASM methodology.

机译：我们为CON-DOR系统开发了高级ASM规范，该规范提供了强大的方法和工具来管理由条件表示的知识。因此，我们能够阐述知识表示，知识发现和信念修正的不同方面之间的关键相互依赖性。而且，该规范为基于ASM方法论的CONDOR系统逐步完善开发过程提供了基础。

著录项

来源
《10th International Workshop on Abstract State Machines 2003: Advances in Theory and Practice ASM 2003, Mar 3-7, 2003, Taormina, Italy》|2003年|p.186-203|共18页
会议地点 Taormina(IT);Taormina(IT)
作者
Christoph Beierle; Gabriele Kern-Isberner;
展开▼
作者单位

Praktische Informatik VIII -Wissensbasierte Systeme Fachbereich Informatik, FernUniversitaet Hagen 58084 Hagen, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类无线电电子学、电信技术;
关键词

相似文献

外文文献
中文文献
专利

1. Knowledge-based deep belief network for machining roughness prediction and knowledge discovery [J] . Yu Jianbo, Liu Guoliang Computers in Industry . 2020,第1期

机译：基于知识的深度信仰网络，用于加工粗糙度预测和知识发现
2. SALVAGING THE SPIRIT OF THE METER-MODELS TRADITION: A MODEL OF BELIEF REVISION BY WAY OF AN ABSTRACT IDEALIZATION OF RESPONSE TO INCOMING EVIDENCE DELIVERY DURING THE CONSTRUCTION OF PROOF IN COURT [J] . ALDO FRANCO DRAGONI, EPHRAIM NISSAN Applied Artificial Intelligence . 2004,第3a4期

机译：挽救米特模型传统的精髓：通过法院证明构建过程中对证据交付的响应的抽象化来简化信念修正的模型
3. Precise prediction and knowledge discovery in model selection problem of non-identifiable learning machines [J] . Koitiro Nishiue, Sumio Watanabe 電子情報通信学会技術研究報告. ニュ-ロコンピュ-ティング. Neurocomputing . 2001,第735期

机译：不可识别学习机模型选择问题中的精确预测和知识发现
4. Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines [C] . Christoph Beierle, Gabriele Kern-Isberner International Workshop on Abstract State Machines . 2003

机译：用抽象状态机建模条件知识发现和信仰修订
5. Knowledge discovery and prediction modeling of protein-drug binding kinetics by integrating machine learning, normal mode analysis and molecular dynamics simulation. [D] . Chiu, See Hong. 2015

机译：通过集成机器学习，正常模式分析和分子动力学模拟，对蛋白质-药物结合动力学进行知识发现和预测建模。
6. Modelling conditional skewness: Heterogeneous beliefs short sale restrictions and market declines [O] . Wai Yan Shum -1

机译：模拟条件偏斜：异类信念卖空限制和市场下跌
7. Conditional doxastic models: a qualitative approach to dynamic belief revision [O] . Baltag , Alexandru, Smets, Sonja 2006

机译：有条件的十进制模型：动态信念修正的定性方法

Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines

摘要

著录项

相似文献

相关主题

期刊订阅