Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic.
Sara MohammadinejadJesse ThomasonJyotirmoy V. DeshmukhPublished in: CoRR (2022)
Keyphrases
- temporal logic
- interactive learning
- natural language
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- interactive video
- mazurkiewicz traces
- predicate logic
- belief revision
- verification method
- computer technology
- temporal knowledge
- dynamic constraints
- transition systems
- bounded model checking
- knowledge representation
- model checker
- database systems
- finite state
- domain specific
- reactive systems
- knowledge base
- formal specification language
- artificial intelligence