Oberschelp A. Order Sorted Predicate Logic. in Blsius KH & al.: Sorts and Types in Artificial Intelligence, Springer Verlag, 1989  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Model The model is formalized and eventually implemented according to the syntactic and pragmatic constraints of the logic formalism and or of the computational tool employed. Our current model of medical taxonomies integration, ON8, uses an order sorted logic syntax and semantics 47, 48 (the toplevel presented in the Appendix shows sorts definitions through quantification on sub sorts, and hierarchically defined relations) 4.9. The current state of the implemented medical ontology as an output of ONIONS The results of the application of ONIONS to medical taxonomies ....

Oberschelp A. Order Sorted Predicate Logic. in Blsius KH & al.: Sorts and Types in Artificial Intelligence, Springer Verlag, 1989

....the accessibility relation between worlds correlates with the isa relation. Sorting relies on many sorted logics. Plain many sorted logics offer no relation between sorts. To provide a counterpart for subtype supertype (i.e. isa) relation, ordersorted logics have been developed (for overview, see [Obe89]) In those, a partial ordering on sorts is assumed which basically is a subsort supersort relation. A good example of an order sorted logic programming language is EPOS [HV87] The LOGIN [AN86] language (which served as a starting point for the ALF [Mel88] merger of OO and logic) can also be ....

A. Oberschelp. Order-sorted predicate logic. In Sorts and Types in AI: Workshop Proc., Eringerfeld, April 1989, pp 8-17. Berlin: Springer-Verlag, 1989. (LNAI, 418).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC