Knowledge Interchange Format
- KIF grew out
of a the DARPA-funded Knowledge
Sharing Effort
- It is basically first-order logic in lisp format.
- It is meant to be a content language.
- Agents can define properties of things in a domain as well
as relationships between things and general properties of the
domain.
- For example, the sentences shown below encode 3 tuples in
a personnel database
(salary 015-46-3946 widgets 72000)
(salary 026-40-9152 grommets 36000)
(salary 415-32-4707 fidgets 42000)
- The following sentence states that one chip is larger than
another:
(> (* (width chip1) (length chip1))
(* (width chip2) (length chip2)))
- This one asserts that the number obtained by raising any
real--number ?x to an even power ?n is positive:
(=> (and (real-number ?x)
(even-number ?n))
(> (expt ?x ?n) 0))
- This one says that on object is a bacher if it is a man
and is not married
(defrelation bachelor (?x) :=
(and (man ?x)
(not (married ?x))))
- This one says that anyone who is a person is also a
mammal
(defrelation person (?x) :=> (mammal ?x))
José M. Vidal
.
6 of 24