\documentstyle{article}

\textwidth 180mm
\textheight 138mm

\begin{document}

\huge

\section*{\huge\bf The rule editing template}

This is where the rules are constructed and modified. The procedure is
the same way for both e-mail and News article rules.

\newpage
\section*{\huge\bf Internal Representation of Rules}

This is how rules look to the system. Users never see this
representation (unless they want to). Instead users interact through
the rule-editor.

\newpage
\section*{\huge\bf The rule editor}

This is where the users can get a over\-view of their rule-set.  New
rules can be entered and old rules can be edited or deleted.

\newpage
\section*{\huge\bf A General Conference System With a Filter Attached.}

This shows a user interacting with a News-reader and an e-mail reader
with the filter is attached. The filter is completely transparent to
the users.

\newpage
\section*{\huge\bf The Group Editor}

The group-editor gives a graphical over\-view of the group structure
within the Usenet News system. Users can navigate and explore the
hierarchic structure of Usenet News.

This is a tool for filtering the group flow and performing certain
actions on the News-groups. These actions are for example to subscribe
or unsubscribe to a given News-group.

\newpage
\section*{\huge\bf The Basic Object Oriented Design}

This shows a simple design structure for the filter part of the
system. Both the reasoning system and the actual messages and rules
work with ``abstract'' messages and rules.

New types of rules and messages can be constructed from the abstract
ones to create a new filter implementation. This simplifies extension
of this system considerably.

\newpage
\section*{\huge\bf The {\bf GHOSTS} system}

The {\bf GHOSTS} system consists of several parts. They cooperate
towards a common goal. The goal is to trim down an over\-whelming
information flow into a more manageable one. Users interact with the
system through a rule-editor and a group-editor. These are the only
parts of the system that users see. The filtering is done
automatically in the background.

\end{document}
