Monitors as Responses to Questions: Determining Competence
暂无分享,去创建一个
This paper discusses the application of a propositional temporal logic to determining the competence of a monitor offer as an extended response by a question-answering system. Determining monitor competence involves reasoning about the possibility of some future state given a description of the current state and possible transitions.
[1] Bonnie L. Webber,et al. Taking the Initiative in Natural Language Data Base Interactions: Monitoring as Response , 1982, European Conference on Artificial Intelligence.
[2] Bonnie Webber,et al. EXTENDED NATURAL LANGUAGE DATA BASE INTERACTIONS , 1983 .
[3] Alasdair Urquhart,et al. Temporal Logic , 1971 .
[4] Mordechai Ben-Ari,et al. The temporal logic of branching time , 1981, POPL '81.