An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving.
Ronnie W. SmithD. Richard HippAlan W. BiermannPublished in: Comput. Linguistics (1995)
Keyphrases
- theorem proving
- dialog systems
- natural language generation
- natural language
- first order logic
- human computer
- inference rules
- automated deduction
- natural language interfaces
- automated reasoning
- theorem prover
- decision procedures
- human communication
- conversational agents
- proof procedure
- term rewriting
- automated theorem proving
- speech recognition
- consequence finding
- parallel search
- proof planning
- proof search
- geometry theorem proving
- natural language interface
- expert systems
- dialogue system
- knowledge representation
- machine translation
- knowledge base
- human computer interaction
- programming language
- natural language processing
- information extraction