McGuinness Oct 17, 2002
5
Issues, continued
nSystem needs to be extensible with respect to
inference rules, …
nShould include black box algorithms with trust
annotation on black box
nWhat
is trust? Trust of
inference rules, agent (might have additional granularity), source. Look at solutions such as delegated trust
in n3
nProofs
with true but not useful information- need techniques for pruning
nAre there techniques like Google’s reverse links
that can help?
nIf you want a “good explanation” that may impact
the proof spec. And what is a
“good explanation”
nWhere do ground facts ground out (what granularity)
nProvenance or other annotations on information