EImprove - Optimizing Energy and Comfort in Buildings based on Formal Semantics and Reinforcement Learning.
Sagar VermaSupriya AgrawalR. VenkateshUlka ShrotriSrinarayana NagarathinamRajesh JayaprakashAabriti DuttaPublished in: DAC (2021)
Keyphrases
- formal semantics
- reinforcement learning
- logical language
- formal language
- er model
- operational semantics
- learning algorithm
- function approximation
- modelling language
- modeling language
- logical reasoning
- first order logic
- ventilating and air conditioning
- owl dl ontology
- speech acts
- user interface
- epistemic logic
- life cycle
- learning process
- multi agent
- case study
- knowledge base