ONT Re: Zeroth Order Theories (ZOT's)
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
By way of catering to popular demand, I have decided to
render this symposium a bit more à la carte, and thus to
serve up as faster food than heretofore a choice selection
of the more sumptuous bits that I have in my logical larder,
not yet full fare, by any means, but a sample of what might
one day approach to being an abundantly moveable feast of
ontological contents and general metaphysical delights.
I'll leave it to you to name your poison, as it were.
Applications of a Propositional Calculator:
Constraint Satisfaction Problems.
Jon Awbrey, April 24, 1995.
Fabric Knowledge Base
Based on the example in [MaW, pages 8-16].
Logical Input File: Fab.Log
o---------------------------------------------------------------------o
| |
| (has_floats , plain_weave ) |
| (has_floats ,(twill_weave ),(satin_weave )) |
| |
| (plain_weave , |
| (plain_weave one_color ), |
| (color_groups ), |
| (grouped_warps ), |
| (some_thicker ), |
| (crossed_warps ), |
| (loop_threads ), |
| (plain_weave flannel )) |
| |
| (plain_weave one_color cotton balanced smooth ,(percale )) |
| (plain_weave one_color cotton sheer ,(organdy )) |
| (plain_weave one_color silk sheer ,(organza )) |
| |
| (plain_weave color_groups warp_stripe fill_stripe ,(plaid )) |
| (plaid equal_stripe ,(gingham )) |
| |
| (plain_weave grouped_warps ,(basket_weave )) |
| |
| (basket_weave typed , |
| (type_2_to_1 ), |
| (type_2_to_2 ), |
| (type_4_to_4 )) |
| |
| (basket_weave typed type_2_to_1 thicker_fill ,(oxford )) |
| (basket_weave typed (type_2_to_2 , |
| type_4_to_4 ) same_thickness ,(monks_cloth )) |
| (basket_weave (typed ) rough open ,(hopsacking )) |
| |
| (typed (basket_weave )) |
| |
| (basket_weave ,(oxford ),(monks_cloth ),(hopsacking )) |
| |
| (plain_weave some_thicker ,(ribbed_weave )) |
| |
| (ribbed_weave ,(small_rib ),(medium_rib ),(heavy_rib )) |
| (ribbed_weave ,(flat_rib ),(round_rib )) |
| |
| (ribbed_weave thicker_fill ,(cross_ribbed )) |
| (cross_ribbed small_rib flat_rib ,(faille )) |
| (cross_ribbed small_rib round_rib ,(grosgrain )) |
| (cross_ribbed medium_rib round_rib ,(bengaline )) |
| (cross_ribbed heavy_rib round_rib ,(ottoman )) |
| |
| (cross_ribbed ,(faille ),(grosgrain ),(bengaline ),(ottoman )) |
| |
| (plain_weave crossed_warps ,(leno_weave )) |
| (leno_weave open ,(marquisette )) |
| (plain_weave loop_threads ,(pile_weave )) |
| |
| (pile_weave ,(fill_pile ),(warp_pile )) |
| (pile_weave ,(cut ),(uncut )) |
| |
| (pile_weave warp_pile cut ,(velvet )) |
| (pile_weave fill_pile cut aligned_pile ,(corduroy )) |
| (pile_weave fill_pile cut staggered_pile ,(velveteen )) |
| (pile_weave fill_pile uncut reversible ,(terry )) |
| |
| (pile_weave fill_pile cut ( (aligned_pile , staggered_pile ) )) |
| |
| (pile_weave ,(velvet ),(corduroy ),(velveteen ),(terry )) |
| |
| (plain_weave , |
| (percale ),(organdy ),(organza ),(plaid ), |
| (oxford ),(monks_cloth ),(hopsacking ), |
| (faille ),(grosgrain ),(bengaline ),(ottoman ), |
| (leno_weave ),(pile_weave ),(plain_weave flannel )) |
| |
| (twill_weave , |
| (warp_faced ), |
| (filling_faced ), |
| (even_twill ), |
| (twill_weave flannel )) |
| |
| (twill_weave warp_faced colored_warp white_fill ,(denim )) |
| (twill_weave warp_faced one_color ,(drill )) |
| (twill_weave even_twill diagonal_rib ,(serge )) |
| |
| (twill_weave warp_faced ( |
| (one_color , |
| ((colored_warp )(white_fill )) ) |
| )) |
| |
| (twill_weave warp_faced ,(denim ),(drill )) |
| (twill_weave even_twill ,(serge )) |
| |
| (( |
| ( ((plain_weave )(twill_weave )) |
| ((cotton )(wool )) napped ,(flannel )) |
| )) |
| |
| (satin_weave ,(warp_floats ),(fill_floats )) |
| |
| (satin_weave ,(satin_weave smooth ),(satin_weave napped )) |
| (satin_weave ,(satin_weave cotton ),(satin_weave silk )) |
| |
| (satin_weave warp_floats smooth ,(satin )) |
| (satin_weave fill_floats smooth ,(sateen )) |
| (satin_weave napped cotton ,(moleskin )) |
| |
| (satin_weave ,(satin ),(sateen ),(moleskin )) |
| |
o---------------------------------------------------------------------o
| Reference [MaW]
| Maier, David & Warren, David S.,
|'Computing with Logic: Logic Programming with Prolog',
| Benjamin/Cummings, Menlo Park, CA, 1988.
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤