ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Sorted for ∃s and whizz (was Re: type free logic an

 To: ontolog-forum@xxxxxxxxxxxxxxxx "John F. Sowa" Sat, 20 Aug 2011 02:18:54 -0400 <4E4F51CE.2080509@xxxxxxxxxxx>
 ```On 8/20/2011 1:30 AM, Pat Hayes wrote: > This was several years ago, so is based upon recollection. > Others who were involved may remember other details.    (01) I agree with Pat about the basic issues we discussed.    (02) We decided that most (perhaps all) versions of sorted FOL could be translated to Common Logic with restricted quantifiers.    (03) For each sort S and any x, specify a monadic relation S such that (S x) is true iff x is an element of sort S.    (04) Then use those sort relations to restrict the quantifiers; e.g.,    (05) (forall ((x S1) (y S2)) (exists (z S3)) (f x y z))))    (06) PH > In order to be fully general, it would have to provide a general > notation for defining the sorts and the sort constraints upon the > arguments of all sorted relations, and relationships that hold > between sorts. The major problem is that there is no single notion > of a sorted logic, and no rational way to choose between the many > alternatives.    (07) That's true. But if the sorted logic has some systematic way of specifying sorts, it should be possible to map that method into a way of defining corresponding CL relations. If sort S1 includes sort S2, then for any x, the relation (S2 x) would imply (S1 x).    (08) The design goal for Common Logic is to provide an abstract syntax with a very general semantics (model theory) that can support a very wide range of logics that are used in many different branches of computer science.    (09) That would enable different logics to be mapped to CL in a way that preserves the truth conditions of the original languages. Then multiple knowledge sources could be related to one another by means of the CL semantics as their common foundation.    (010) John    (011) _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (012) ```
 Current Thread [ontolog-forum] Sorted for ∃s and whizz (was Re: type free logic and higher order quantification), Simon Spero Re: [ontolog-forum] Sorted for ∃s and whizz (was Re: type free logic and higher order quantification), Pat Hayes Re: [ontolog-forum] Sorted for ∃s and whizz (was Re: type free logic and higher order quantification), John F. Sowa <= [ontolog-forum] New Enterprise and IT Taxonomies, Frank Guerino Re: [ontolog-forum] New Enterprise and IT Taxonomies, Tom Knorr Re: [ontolog-forum] New Enterprise and IT Taxonomies, Frank Guerino [ontolog-forum] Partial interest ontology, doug foxvog [ontolog-forum] Partial interest ontology, doug foxvog [ontolog-forum] Partial interest ontology, doug foxvog Re: [ontolog-forum] Partial interest ontology, Rich Cooper Re: [ontolog-forum] Partial interest ontology, Ron Wheeler Re: [ontolog-forum] Partial interest ontology, John F. Sowa Re: [ontolog-forum] Partial interest ontology, AzamatAbdoullaev