ACL RD-TEC 1.0 Summarization of J95-3001
Paper Title:
AN ARCHITECTURE FOR VOICE DIALOG SYSTEMS BASED ON PROLOG-STYLE THEOREM PROVING
AN ARCHITECTURE FOR VOICE DIALOG SYSTEMS BASED ON PROLOG-STYLE THEOREM PROVING
Authors: Ronnie W. Smith and Alan W. Biermann and D. Richard Hipp
Primarily assigned technology terms:
- algorithm
- automatic system
- bracketing
- circuit repair
- computational linguistics
- computer science
- computing
- connected-speech recognizer
- controller
- database
- dialog control
- dialog processing
- dialog system
- dialog systems
- distance parsing
- error correction
- error-correction
- human-machine dialog
- illustration
- language generation
- matching
- meaning representation
- minimum distance parsing
- modeling
- parser
- parsing
- parsing algorithm
- plan recognition
- problem solver
- problem solving
- problem-solving process
- processing
- processor
- prolog
- querying
- quintus prolog
- reasoning
- reasoning system
- recognition
- recognition system
- recognizer
- repair
- scoring
- scoring method
- searching
- sentence generation
- signal-processing
- simulator
- speech error correction
- speech recognition
- speech recognition system
- speech recognizer
- subdialog processing
- synchronization
- text-to-speech
- theorem prover
- theorem proving
- translator
- unification
- user modeling
- vocalization
- voice dialog
- voice dialog systems
- weighting
Other assigned terms:
- ambiguity
- approach
- axioms
- background knowledge
- break
- case
- coherence
- comprehension
- concept
- context information
- context-free grammar
- convergence
- conversation
- data structures
- debugging
- derivation
- description language
- device
- dialog
- dialog coherence
- dictionary
- dictionary entries
- discourse
- discourse structure
- discourse structure information
- experimental results
- fact
- feature
- generation
- grammar
- grammar rules
- grammatical input
- human communication
- hypotheses
- implementation
- inferences
- interpretation
- interpreter
- knowledge
- knowledge base
- learnability
- likelihood
- linguistic
- linguistic interface
- linguistic structure
- linguistics
- location description
- mathematics
- meaning
- meanings
- measure
- measures
- mechanisms
- message
- method
- natural language
- natural language input
- nouns
- paragraphs
- parse
- partial parse
- pause
- perplexity
- phrase
- plan recognition problem
- predicates
- presuppositions
- probabilities
- probability
- process
- prolog code
- pronoun
- pronouns
- queries
- query
- representations
- rule set
- segments
- semantic
- semantic structures
- sentence
- sentence meaning
- sentences
- signal
- silence
- slot
- speech act
- statistics
- style
- syntax
- system architecture
- system performance
- terms
- text
- theorem
- theory
- topics
- training
- tree
- trees
- understanding
- user
- user model
- user training
- user utterance
- user utterances
- utterance
- vocabulary
- voice input
- word
- word sequence
- words
