Go up to Top
Go forward to 2 Adding to the Electrical Domain
1 Defining a Simple Relation
Define the predicate happy(P,D) that is true when person P is
happy on day D. A person is happy on a day if
You may use whatever constant symbols (e.g., "david") or
predicate symbols (e.g., "teaching") you require. If the intended
interpretation of a symbol isn't obvious you must
give its intended interpretation.
- the person is a student and
the day is a holiday, or
- the person is teaching a course that has a midterm on that day, or
- the person is David and the day is either Tuesday or Sunday.
material, ©David Poole, Alan Mackworth and Randy Goebel, 1999