A note on knowledge-based programs and specifications

Details A note on knowledge-based programs and specifications A note on knowledge-based programs and specifications

2000-03-13

arxiv.org/abs/cs/0003058v1

Computer Science

Distributed, Parallel, and Cluster Computing

To appear, Distributed Computing

Scientific paper

Knowledge-based program are programs with explicit tests for knowledge. They have been used successfully in a number of applications. Sanders has pointed out what seem to be a counterintuitive property of knowledge-based programs. Roughly speaking, they do not satisfy a certain monotonicity property, while standard programs (ones without tests for knowledge) do. It is shown that there are two ways of defining the monotonicity property, which agree for standard programs. Knowledge-based programs satisfy the first, but do not satisfy the second. It is further argued by example that the fact that they do not satisfy the second is actually a feature, not a problem. Moreover, once we allow the more general class of knowledge-based specifications, standard programs do not satisfy the monotonicity property either.

Affiliated with

Also associated with

No associations

Rating

A note on knowledge-based programs and specifications does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A note on knowledge-based programs and specifications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A note on knowledge-based programs and specifications will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-459704