A framework for interactive problem solving based on interactive query revision
Logic programming has been widely used because of the clearness of its semantics and its extensibility. Many inference systems have been proposed using a logic programming framework. But few of these have studied logic based man-machine interaction, apart from systems based on incremental query [Emden 1985]. Incremental query allows users to enter a part of queries incrementally instead of entering the whole query at once, as in Prolog. In this paper we investigate essential concepts of interactive problem solving and generalize incremental query further. And we propose a new query model for logic programming, which we call interactive query revision. Interactive query revision allows a user to modify queries and hypotheses and to act as a part of the inference engine, in addition to entering queries incrementally. We apply interactive query revision to an interactive LSI layout system.
KeywordsLogic Program Inference System Logic Programming Inference Engine Query Model
Unable to display preview. Download preview PDF.
- [Bowen 1982]D.L. Bowen, L.M. Pereira, F.C.N. Pereira and D.H.D. Warren: User's guide to DECsystem-10 Prolog. Dept of Artificial Intelligence, University of Edinburgh (1982).Google Scholar
- [Bowen 1985]K.Bowen, T.Weinberg: A Meta-Level Extension of Prolog, Technical Report CIS-85-1, Syracuse University (1985).Google Scholar
- [Colmerauer 1982]A. Colmerauer: Prolog II: Reference Manual and Theoretical Model,Internal Report, Groupe Intelligence Artificielle, Universite d'Aix-Marseille II, (1982).Google Scholar
- [Emden 1984]M.H.Emden: Logic as an Interaction Language, Proc. of 5th Conf. Canadian Soc. for Computational Studies in Intelligence (1984).Google Scholar
- [Emden 1985]M.H.Emden, M.Ohki, A.Takeuchi: Spreadsheet with Incremental Queries as a User Interface for Logic Programming, ICOT Technical Report (1985).Google Scholar
- [Mukai 1985]K. Mukai, H. Yasukawa: Complex Indeterminates in Prolog and its Application to Discourse Models, New Generation Computing, 3 pp441–466 (1985).Google Scholar
- [Nakashima 1982]H.Nakashima: Prolog/KR — languages features, Proc. of the First International Logic Programming Conference, (1982).Google Scholar
- [Poole]D.Pools, R.Aleliunas, R.Goebel: Theorist: a logical reasoning system for defaults and diagnosis, Waterloo University (1985).Google Scholar
- [Sergot 1983]Marek Sergot: A Query-The-User for Logic Programming, Proc. of the European Conference on Integrated Computing Systems, P. Degano and E. Sandewall (eds.), North Holland, 1983.Google Scholar
- [Shapiro 1983a]E.Shapiro: Algorithmic Program Debugging, The MIT Press, 1983Google Scholar
- [Shapiro 1983b]E.Shapiro: Logic Programs with Uncertainties: A Tool for Implementing Rule-based Systems, Proc. of IJCAI'83, 1983Google Scholar
- [Takeuchi 1985]A.Takeuchi, K.Furukawa: Partial Evaluation of Prolog Programs and its Application to Meta Programming, Proc. of Logic Programming Conference'85 (Tokyo), (1985)..Google Scholar