Hmm... but if there are "significant implications" for computational advantages once one gets to the level of automated reasoners, then this is an argument that carries much more practical weight than purely "aesthetic" ones, and _should_ get more air-time. No? Same with reasoning - how would you go about querying this alongside e.g. a list of Director, Age Restriction, Country of origin, Duration + another 4 sets I can't think of... Reasoners have been using formats like this since the 1960s. You would unify the two expressions from left to right. I also suspect that there is something happening at a psychological level in these arguments - it's far easier for a human to relate to information in a structure like that below - but is this necessarily the case for machines? Yes, there are significant computational advantages. In general, the more stuff you can incorporate into the unifier, the more efficient the inference search: you tend to be trading an exponential for a linear cost, a very good trade. Pat HayesReceived on Sunday, 20 May 2001 05:30:57 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:38 UTC