A framework for interactive problem solving based on interactive query revision

  • Masaru Ohki
  • Akikazu Takeuchi
  • Koichi Furukawa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 264)


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.


Logic Program Inference System Logic Programming Inference Engine Query Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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
  2. [Bowen 1985]
    K.Bowen, T.Weinberg: A Meta-Level Extension of Prolog, Technical Report CIS-85-1, Syracuse University (1985).Google Scholar
  3. [Colmerauer 1982]
    A. Colmerauer: Prolog II: Reference Manual and Theoretical Model,Internal Report, Groupe Intelligence Artificielle, Universite d'Aix-Marseille II, (1982).Google Scholar
  4. [Emden 1984]
    M.H.Emden: Logic as an Interaction Language, Proc. of 5th Conf. Canadian Soc. for Computational Studies in Intelligence (1984).Google Scholar
  5. [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
  6. [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
  7. [Nakashima 1982]
    H.Nakashima: Prolog/KR — languages features, Proc. of the First International Logic Programming Conference, (1982).Google Scholar
  8. [Poole]
    D.Pools, R.Aleliunas, R.Goebel: Theorist: a logical reasoning system for defaults and diagnosis, Waterloo University (1985).Google Scholar
  9. [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
  10. [Shapiro 1983a]
    E.Shapiro: Algorithmic Program Debugging, The MIT Press, 1983Google Scholar
  11. [Shapiro 1983b]
    E.Shapiro: Logic Programs with Uncertainties: A Tool for Implementing Rule-based Systems, Proc. of IJCAI'83, 1983Google Scholar
  12. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Masaru Ohki
    • 1
  • Akikazu Takeuchi
    • 1
  • Koichi Furukawa
    • 1
  1. 1.ICOT Research CenterInstitute for New Generation Computer TechnologyTokyoJapan

Personalised recommendations