“…Traditionally, ASP reasons about discrete-valued symbols and does not quantify uncertainty explicitly. But in some works such as P-log (Baral, Gelfond, and Rushton 2009), RIL (Zhang et al 2019), NeurASP (Yang, Ishay, and Lee 2020) and DILOG (Zhou et al 2020), the paradigm is extended to allow probability atoms, and integrated with subsymbolic approaches. In this paper, we just use ASP without probabilities, to characterize and reason about some contextual factors that are not modeled in dialog states.…”