Proceedings:
Book One
Volume
Issue:
Proceedings of the AAAI Conference on Artificial Intelligence, 2
Track:
Theoretical Foundations
Downloads:
Abstract:
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.
AAAI
Proceedings of the AAAI Conference on Artificial Intelligence, 2