Probabilistic semantic automata in the verification of quantified statements.
Jakub DotlacilJakub SzymanikMarcin ZajenkowskiPublished in: CogSci (2014)
Keyphrases
- natural language
- generative model
- probabilistic model
- model checking
- domain specific
- latent semantic
- bayesian networks
- domain knowledge
- semantic information
- uncertain data
- temporal logic
- semantically meaningful
- semantic knowledge
- finite state
- cellular automata
- data sets
- semantic network
- semantic annotation
- semantic analysis
- information theoretic
- probabilistic logic
- posterior probability
- semantic similarity
- finite state machines
- semantic features
- semantic web
- semantically related
- formal verification
- finite automata
- high level