> On 26 Jun 2019, at 16:24, Patrick J Hayes <phayes@ihmc.us> wrote: > > A quick remark: > >> On Jun 26, 2019, at 8:03 AM, Dave Raggett <dsr@w3.org <mailto:dsr@w3.org>> wrote: >> >> I very much agree and have been arguing for a blend of symbolic and statistical techniques using insights from decades of work in Cognitive Psychology. Rational belief is about what can be justified given prior knowledge and past experience. > > So far in this thread we have been talking about knowledge representation notations. You are here talking about mechanisms, not quite the same topic. I entirely agree about the need to put together symbolic and statistical, but I don’t see any reason why the use of the statistical would change the nature or the semantics of the symbolic. (Do you?) Good question. Statistical approaches alter the nature of reasoning, and this will influence the semantics. > >> This is not infallible, but nonetheless very useful in practice. It can support higher order reasoning, something that is essential for modelling human reasoning. > > What kind of higher-order reasoning are you referring to here? The term ‘higher-order’ has various meanings. If you simply mean that the logic can mention, describe and quantify over properties and relationships as first-class entities, then I would agree; but versions of FOL, even RDF, can do that. You will need to explain further. Reification allows RDF to describe relationships, e.g. the time interval that a given relationship holds, but reification is painful in practice. Extensions to Turtle and to N3 have been proposed that makes this less painful to express and process. We also want to explore ideas for fresh representations of declarative knowledge and procedural rules that are easier for the average developer. We would like to be able to model the meaning of natural language in a way that mimics what we know about human reasoning without reducing everything to logic. The semantics are defined operationally in terms of the application of rules on graphs, including the means to compile graphs to rules. Natural language is very flexible in its expressivity. Dave Raggett <dsr@w3.org> http://www.w3.org/People/Raggett W3C Data Activity Lead & W3C champion for the Web of things
Received on Wednesday, 26 June 2019 16:51:11 UTC