Necessary and Sufficient

We just completed another training class, and like they say, “no one learns more than the instructor.”  In this case the blindingly obvious, and yet elusive pattern that revealed itself was the separation of the sufficient from the necessary. 

 

 

Until last week, while we had an intellectual understanding of the distinction between “necessary” and “necessary and sufficient” (and a very tenuous grip on sufficient but not necessarily necessary), we weren’t using the distinction consistently in our designs.  In the course of discussion, prompted by some questions in the class and elaborated in the bar (thank god for cocktail napkins) we were able to tease out the patterns of “sufficient” (technically a superclass of a restriction) from necessary (a subclass of a restriction), and to line them up with some design patterns.  “Sufficient” is essentially the “rule in” pattern.  For instance, having a child who is a human is sufficient to make you a human. But of course it is not necessary.  Having a biologicallMother who is an animal is necessary as a Person, but not sufficient. 

 

I’m going back to gist and factoring out the necessary from the sufficient. 

 

Meanwhile, a reminder: it’s last call for papers for next years Semantic Technology Conference, we’ve still got a few slots open. 

Your rating: None

Post new comment

The content of this field is kept private and will not be shown publicly.
 
  • Allowed HTML tags: <p> <span> <div> <h1> <h2> <h3> <h4> <h5> <h6> <img> <map> <area> <hr> <br> <br /> <ul> <ol> <li> <dl> <dt> <dd> <table> <tr> <td> <em> <b> <u> <i> <strong> <font> <del> <ins> <sub> <sup> <quote> <blockquote> <pre> <address> <code> <cite> <embed> <object> <strike> <caption> <iframe>
  • Lines and paragraphs break automatically.
  • HTML tags will be transformed to conform to HTML standards.
  • Images can be added to this post.
  • You may insert videos with [video:URL]

More information about formatting options

CAPTCHA
This process helps prevent spam.
Copy the characters (respecting upper/lower case) from the image.