Abstract:This paper reports on the scalability of the answer extraction system ExtrAns. An answer extraction system locates the exact phrases in the documents that contain the explicit answers to the user queries. Answer extraction systems are therefore more convenient than document retrieval systems in situations where the user wants to find specific information in limited time.
ExtrAns performs answer extraction over UNIX manpages. It has been constructed by combining available linguistic resources and implementing only a few modules from scratch. A resolution procedure between the minimal logical form of the user query and the minimal logical forms of the manpage sentences finds the answers to the queries. These answers are displayed to the user, together with pointers to the respective manpages, and the exact phrases that contribute to the answer are highlighted.
This paper shows that the increase in response times is not a big issue when scaling the system up from 30 to 500 documents, and that the response times for 500 documents are still acceptable for a real-time answer extraction system.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct a consistent classical - quantum coupled dynamics theory, namely the so - called Symmetric Hybrid Dynamics. Specifically, the authors hope to solve the following key problems:
1. **Consistency Requirement**: Under certain general conditions, the predictions of this theory should be consistent with the complete quantum - mechanical predictions. This means that in the appropriate limit cases, Symmetric Hybrid Dynamics should be able to be reduced to standard quantum mechanics.
2. **Gauge Structure**: The theory should have a consistent gauge structure, including:
- It should be formulated on the Lie algebra of observables.
- The time evolution should be unitary.
- The theory should allow general gauge transformations generated by unitary operators.
- In particular, the time evolution itself is a gauge transformation.
3. **Interaction between Classical and Quantum Systems**: Provide a method for describing the interaction between classical and quantum subsystems, ensuring that this description is mathematically consistent and can be used for the prediction of actual physical systems.
To achieve these goals, the authors introduced a tool called "symmetric semi - dequantization mapping", which transforms a fully quantized system into a Symmetric Hybrid Dynamics system. In addition, they also explored how to transition from symmetric classical mechanics to Symmetric Hybrid Dynamics and proved that in the limit of \(\hbar \to 0\), symmetric classical mechanics is reduced to standard classical mechanics.
### Specific Problems and Solutions
- **Problem**: The existing classical - quantum coupling theories lack a consistent gauge structure, making problems such as time evolution difficult to handle.
- **Solution**: Through Symmetric Hybrid Dynamics, the authors proposed a new method to overcome these problems. By introducing appropriate mappings and gauge transformations, the mathematical consistency of the theory is ensured.
- **Problem**: How to ensure that the predictions of Symmetric Hybrid Dynamics are consistent with the predictions of complete quantum mechanics?
- **Solution**: The authors proved that under certain initial conditions and dynamical behaviors, the predictions of Symmetric Hybrid Dynamics are consistent with the predictions of complete quantum mechanics. This makes Symmetric Hybrid Dynamics an effective approximation method.
- **Problem**: How to handle the interaction between classical and quantum systems?
- **Solution**: Through Symmetric Hybrid Dynamics, the authors provided a framework in which the interaction between classical and quantum subsystems can be described, thus better understanding their coupling.
In summary, this paper aims to establish a theoretical framework that is both consistent and can effectively describe the interaction between classical and quantum systems, in order to fill the gaps in existing theories and provide a basis for future research.