Sorry, second attempt: According to Christian-Emil's homework for issue 606, the reason to avoid the statement P7(x,y) ∧ P89(y,z) ⇒ P7(x,z) was that it might create problems in hypothetical information systems that are clever enough to traverse the graph created by all P89 statements but not clever enough to not fill themselves up with large amounts of deduced P7 statements.
If we accept this argument, do we still regard P7(x,y) ∧ P89(y,z) ⇒ P7(x,z) as true based on the semantics of P7 and P89? Or do we now say that we need to have an explicit statement that x was within a place y and regard only the statements P7(x,z) to be true or inferrable for all z between the spatial projection and y? If the latter: If I have a statement in my information system that, lacking more precise information, a period such as the move of an object took place somewhere in Europe, is P7 then automatically true for all places between the spatial projection of the move and Europe but my information system couldn't actually infer any additional P7 statement because it doesn't know where the declarative place of the spatial projection is? > Am 20.10.2022 um 13:56 schrieb Wolfgang Schmidle via Crm-sig > <[email protected]>: > > Quick question: According to Christian-Emil's homework for issue 606, the > reason to avoid the statement P7(x,y) ∧ P89(y,z) ⇒ P7(x,z) was that it might > create problems in hypothetical information systems that are clever enough to > traverse the graph created by all P89 statements but not clever enough to not > fill themselves up with large amounts of deduced P7 statements. > > If we accept this argument, do we still assume that P7(x,y) ∧ P89(y,z) ⇒ > P7(x,z) is true based on the semantics of P7 and P89? Or do we now say that > we need to have an explicit statement that x was within a place y and regard > only the statements P7(x,z) to be inferrable for all z the spatial projection > and y? > > If the latter: If I have a statement in my information system that, lacking > more precise information, an object is located (or the move of an object took > place) somewhere in Europe, is P7 then automatically true for all places > between the spatial projection and Europe but my information system couldn't > actually infer any additional P7 statement because it doesn't know where the > declarative place of the spatial projection is? > > Best, > Wolfgang > > > _______________________________________________ > Crm-sig mailing list > [email protected] > http://lists.ics.forth.gr/mailman/listinfo/crm-sig _______________________________________________ Crm-sig mailing list [email protected] http://lists.ics.forth.gr/mailman/listinfo/crm-sig
