To: |
"[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|

From: |
"Adrian Walker" <adriandwalker@xxxxxxxxx> |

Date: |
Tue, 13 Feb 2007 12:54:42 -0500 |

Message-id: |
<1e89d6a40702130954u4489cf22w6fee4d3bcc00167b@xxxxxxxxxxxxxx> |

Hi Chris -- [Adrian] > * Semantics2 Specifies what inferences should be made from > any collection of rules and facts -- usually based on a model > theory, e.g. as in [3]. [Chris] That's what is usually called *proof theory* in logic. As you note, a proof theory is indeed typically *based on* a model theory, but the whole point of soundness and completeness theorems in logic is precisely to prove that the inferences that can be made from a collection of assumptions ("facts") according to a proof theory ("rules" (roughly)) are in fact sanctioned by the model theory (a.k.a., the formal semantics) given for the language of the proof theory. It seems to me to be very unwise (and certainly not in keeping with standard terminology in mathematical logic) to call proof theory a sort of semantics [Adrian] I think if you read the following again > * Semantics2 Specifies what an inferences should be made from > any collection of rules and facts -- usually based on a model > theory, e.g. as in [3]. (and if you have time to look at the paper), you'll see that we are in complete agreement. The essential point is to have a model theory as a gold standard to which programmers must adhere when implementing an engine. Cheers, -- Adrian [3] Backchain Iteration: Towards a Practical Inference Method that is Simple Enough to be Proved Terminating, Sound and Complete. Journal of Automated Reasoning, 11:1-22 On 2/13/07, Christopher Menzel <
cmenzel@xxxxxxxx> wrote:On Feb 13, 2007, at 11:11 AM, Adrian Walker wrote: _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01) |

Previous by Date: | Re: [ontolog-forum] Role of definitions (Remember the poor human), Christopher Menzel |
---|---|

Next by Date: | Re: [ontolog-forum] Role of definitions (Remember the poor human), John F. Sowa |

Previous by Thread: | Re: [ontolog-forum] Role of definitions (Remember the poor human), Christopher Menzel |

Next by Thread: | Re: [ontolog-forum] Role of definitions (Remember the poor human), John F. Sowa |

Indexes: | [Date]
[Thread]
[Top]
[All Lists] |