---
title: "PHI - A Logic-Based Tool for Intelligent Help Systems"
authors:
  - "Mathias Bauer"
  - "Susanne Biundo"
  - "Dietmar Dengler"
  - "Jana Koehler"
  - "Gabriele Paul"
doi: ""
url: "https://ijcai.org/proceedings/1993/65"
pdf: "https://ijcai.org/proceedings/1993/0065.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "460-465"
track: "Intelligent Tutoring Systems"
keywords:
---

# PHI - A Logic-Based Tool for Intelligent Help Systems

Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 460-465.

## Abstract

We introduce a logic-based system which improves the performance of intelligent help systems by supplying them with plan generation and plan recognition components. Both components work in close mutual cooperation. There are two modes of cross-talk between them, one where plan recognition is done on the basis of abstract plans provided by the planner and the other where optimal plans are generated based on recognition results. The examples which are presented are taken from an operating system domain , namely from the UNIX mail domain.