PROBABILISTIC REASONING ABOUT VAGUENESS

被引:0
|
作者
RITTGEN, P
WENDT, O
KONIG, W
机构
来源
WIRTSCHAFTSINFORMATIK | 1995年 / 37卷 / 02期
关键词
BAYESIAN NET; BELIEF NET; FUZZY LOGIC; PROBABILISTIC NET; REASONING; VAGUENESS;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The article presents a controller for economic processes based on the theory of Bayesian belief nets. The purpose of this controller is to detect divergencies between actual state and target state of the process and to output correcting variables with the aim of reaching the target state. First, we introduce Bayesian belief nets as a calculus for reasoning under uncertainty. Then, we show how to extend this calculus to cope with vagueness as well, thereby allowing to reason about both, vagueness and uncertainty, in a common calculus. Reasoning in this context denotes the exploration of cause-effect relations between vague and uncertain nodes. On this basis the controller itself is developed, which consists of the Bayesian belief net (BBN) and its interfaces to the environment. The interfaces are described by transformation functions from exact (scalar) input quantities into the probabilistic inputs of the net and by the back-transformation of the net's probabilistic output into exact variables. The applicability of the BBN controller is shown using a simplified logistics example, demonstrating the computer-based reasoning possibilities for application experts.
引用
收藏
页码:139 / 148
页数:10
相关论文
共 50 条
  • [1] Towards A Meta-reasoning Framework for Reasoning about Vagueness in OWL Ontologies
    Jekjantuk, Nophadol
    Pan, Jeff Z.
    Alexopoulos, Panos
    [J]. 2016 IEEE TENTH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2016, : 221 - 228
  • [2] Reasoning about probabilistic sequential programs in a probabilistic logic
    Ying, MS
    [J]. ACTA INFORMATICA, 2003, 39 (05) : 315 - 389
  • [3] Reasoning about probabilistic sequential programs in a probabilistic logic
    M. Ying
    [J]. Acta Informatica, 2003, 39 : 315 - 389
  • [4] Reasoning algebraically about probabilistic loops
    Meinicke, Larissa
    Hayes, Ian J.
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 380 - +
  • [5] Reasoning about Actions in a Probabilistic Setting
    Baral, C
    Tran, N
    Tuan, LC
    [J]. EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 507 - 512
  • [6] REASONING ABOUT PROBABILISTIC PARALLEL PROGRAMS
    RAO, JR
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 798 - 842
  • [7] Reasoning about Recursive Probabilistic Programs
    Olmedo, Federico
    Kaminski, Benjamin Lucien
    Katoen, Joost-Pieter
    Matheja, Christoph
    [J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 672 - 681
  • [8] Reasoning about probabilistic sequential programs
    Chadha, R.
    Cruz-Filipe, L.
    Mateus, P.
    Sernadas, A.
    [J]. THEORETICAL COMPUTER SCIENCE, 2007, 379 (1-2) : 142 - 165
  • [9] Reasoning about "Reasoning about Reasoning" Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion
    Zhang, Yizhou
    Amin, Nada
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):
  • [10] Characterizing and reasoning about probabilistic and non-probabilistic expectation
    Halpern, Joseph Y.
    Pucella, Riccardo
    [J]. JOURNAL OF THE ACM, 2007, 54 (03)