This Article 
 Bibliographic References 
 Add to: 
Avoiding Misconstruals in Database Systems: A Default Logic Approach
December 1993 (vol. 5 no. 6)
pp. 994-996

A cooperative interface that, using suitable user models, alters the processing of the user's queries to include additional information that will block faulty inferences is described. In a sense, the interface actively teaches the user facts about the database not explicitly asked for. User interaction with the database then becomes a learning and discovery process guided by the queries posed to the interface. A semantics for user models is introduced that captures, with the help of default logic, the nonmonotonic behavior users normally exhibit. Results showing that the cooperative interface generates enough additional information to block all faulty inferences are presented.

[1] A. S. Hemerly, M. A. Casanova, and A. L. Furtado, "Exploiting user models to avoid misconstruals," in1st Int. Workshop Nonstandard Queries and Answers Approach, Tolouse, France, 1991.
[2] A. S. Hemerly, A. L. Furtado, and M. A. Casanova, "An approach to user models in cooperative systems based on default logic," Rio Scientific Center, IBM Brasil, Tech. Rep. CCR-143, 1992.
[3] A. Kobsa and W. Wahlster, eds.,User Models in Dialog Systems, Springer-Verlag, New York, 1989.
[4] J. W. Lloyd,Foundations of Logic Programming, New York: Springer, 1984.
[5] R. Reiter, "A logic for default reasoning,"Art. Intel., vol. 13, pp. 81-132, 198O.

Index Terms:
database systems; default logic approach; cooperative interface; user models; faulty inference blocking; user interaction; discovery process; semantics; nonmonotonic behavior; cooperative systems; deductive databases; formal logic; inference mechanisms; user modelling
A.S. Hemerly, M.A. Casanova, A.L. Furtado, "Avoiding Misconstruals in Database Systems: A Default Logic Approach," IEEE Transactions on Knowledge and Data Engineering, vol. 5, no. 6, pp. 994-996, Dec. 1993, doi:10.1109/69.250086
Usage of this product signifies your acceptance of the Terms of Use.