Go backward to Question 3
Go up to Top
Go forward to Question 5
Question 4
Using the object-attribute-value representation, axiomatize the
following knowledge about a user's preference for news articles using
definite clauses (no negation as failure). The
user can skip or read an article, and each article is either long or
short, either a new thread or a follow-up, the author of the news
article is either known or unknown to the user, and the article is
either read at home or at work.
The user skips long articles and short articles that are a follow-ups where
the author is unknown. They read short articles whose thread is new or
whose author is known.
There was a typo in the original version. The last word should be
"known" (as above).
Note that this description covers all cases for articles.