Probabilistic Semantics for RoboChart - A Weakest Completion Approach.

Jim Woodcock Ana Cavalcanti Simon Foster Alexandre Mota Kangfeng Ye

Published in: UTP (2019)

Keyphrases

probabilistic model
data driven
formal semantics
bayesian networks
generative model

speech acts
logic programming
information retrieval
probabilistic logic
probabilistic reasoning

conceptual model
probabilistic knowledge
model theoretic
probability theory
conceptual graphs

conditional probabilities
information systems
artificial intelligence
genetic algorithm