Non-determinism and Probabilities in Timed Concurrent Constraint Programming

被引：6
|
作者：
Perez, Jorge A. [1 ]
Rueda, Carnilo [2 ,3 ]
机构：
[1] Univ Bologna, Dept Comp Sci, I-40126 Bologna, Italy
[2] Univ Javeriana, Dept Comp Engn & Sci, Cali, Colombia
[3] IRCAM, Paris, France
来源：
LOGIC PROGRAMMING, PROCEEDINGS | 2008年 / 5366卷
关键词：
D O I：
10.1007/978-3-540-89982-2_56
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A timed Concurrent constraint process calculus with probabilistic and non-deterministic choices is proposed. We outline the rationale of an operational semantics for the calculus. The semantics ensures consistent interactions between both kinds of choices and is indispensable for the definition of logic-based verification capabilities over system specifications.
引用
收藏
页码：677 / +
页数：2
相关论文
共 50 条
  • [41] A POWER-DOMAIN FOR COUNTABLE NON-DETERMINISM
    PLOTKIN, GD
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 418 - 428
  • [42] Why should they believe us?: Determinism, non-determinism and evidence
    Budgen, David
    [J]. 19TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION & TRAINING, PROCEEDINGS, 2006, : 4 - 4
  • [43] A timed concurrent constraint language
    de Boer, FS
    Gabbrielli, M
    Meo, MC
    [J]. INFORMATION AND COMPUTATION, 2000, 161 (01) : 45 - 83
  • [44] Non-Determinism and the Lawlessness of Machine Learning Code
    Cooper, A. Feder
    Frankle, Jonathan
    De Sa, Christopher
    [J]. PROCEEDINGS OF THE 2022 SYMPOSIUM ON COMPUTER SCIENCE AND LAW, CSLAW 2022, 2022, : 1 - 8
  • [45] A unified view of monadic and applicative non-determinism
    Rivas, Exequiel
    Jaskelioff, Mauro
    Schrijvers, Tom
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2018, 152 : 70 - 98
  • [46] Semantic Domains for Combining Probability and Non-Determinism
    Tix, Regina
    Keimel, Klaus
    Plotkin, Gordon
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 222 : 3 - 97
  • [47] Non-determinism in Godel's System T
    Kristiansen, Lars
    Mender, Bedeho Mesghina Wolde
    [J]. THEORY OF COMPUTING SYSTEMS, 2012, 51 (01) : 85 - 105
  • [48] A polynomial-cost non-determinism analysis
    Peña, R
    Segura, C
    [J]. IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 2002, 2312 : 121 - 137
  • [49] Non-determinism and Failure Modes in Machine Learning
    Faria, Jose M.
    [J]. 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 310 - 316
  • [50] A coalgebraic approach to non-determinism: Applications to multilattices
    Cabrera, I. P.
    Cordero, P.
    Gutierrez, G.
    Martinez, J.
    Ojeda-Aciego, M.
    [J]. INFORMATION SCIENCES, 2010, 180 (22) : 4323 - 4335
12345