ACL RD-TEC 1.0 Summarization of W06-1806
Paper Title:
NATURAL LANGUAGE UNDERSTANDING USING TEMPORAL ACTION LOGIC
NATURAL LANGUAGE UNDERSTANDING USING TEMPORAL ACTION LOGIC
Primarily assigned technology terms:
- algorithm
- artificial intelligence
- automated reasoning
- chart parser
- classification
- common-sense reasoning
- computational linguistics
- coupling
- databases
- deduction system
- deep parsing
- development environment
- dialogue systems
- feature structure representation
- full natural language understanding
- instantiation
- interfaces
- knowledge representation
- knowledge representation and reasoning
- language generation
- language technology
- language translation
- language understanding
- language understanding system
- logic programming
- modelling
- natural deduction
- natural language generation
- natural language technology
- natural language translation
- natural language understanding
- natural language understanding system
- parser
- parsing
- partial understanding
- planner
- procedural knowledge representation
- processing
- prolog
- question answering
- question answering system
- reasoning
- reasoning mechanism
- reference resolution
- representation technology
- sentence processing
- shallow parsing
- structure representation
- table extraction
- theorem prover
- theorem proving
- user interface
Other assigned terms:
- action logic
- ai research
- approach
- axioms
- background knowledge
- break
- case
- concept
- declarative knowledge
- deduction
- dialogue interaction
- dialogues
- discourse
- evaluations
- existential quantifier
- fact
- feature
- feature structure
- first-order logic
- first-order theory
- formalism
- formalization
- frame
- generation
- grammar
- grammar coverage
- grammars
- head-driven phrase structure grammar
- hpsg
- hpsg grammar
- human dialogue
- implementation
- inferences
- input text
- intelligence
- interpretation
- knowledge
- knowledge base
- knowledge representation language
- knowledge structures
- language engine
- lexicon
- linguistic
- linguistic knowledge
- linguistics
- logic
- logic programming paradigm
- logical form
- measure
- mechanisms
- method
- minimal recursion semantics
- natural language
- natural language input
- natural language question
- natural language sentence
- natural language text
- parse
- phrase
- phrase structure
- phrase structure grammar
- programming paradigm
- prolog environment
- proposition
- quantifier
- queries
- query
- question type
- recursion
- relation
- representation language
- resolution theorem
- semantic
- semantic structure
- sentence
- sentences
- symbol
- system architecture
- technologies
- technology
- temporal logic
- terms
- text
- theorem
- theory
- topics
- translation component
- understanding
- user
- user interaction
- words
- world model
