Probabilistic Semantics for RoboChart - A Weakest Completion Approach.
Jim WoodcockAna CavalcantiSimon FosterAlexandre MotaKangfeng YePublished 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