Chris,
Right, I slipped. I should have said that some *new* inferences will be
generated - the new inference is what I meant by "change".
Thanks for the clarification. (01)
Pat (02)
Patrick Cassidy
MICRA, Inc.
908-561-3416
cell: 908-565-4053
cassidy@xxxxxxxxx (03)
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-
> bounces@xxxxxxxxxxxxxxxx] On Behalf Of Christopher Menzel
> Sent: Thursday, February 25, 2010 12:59 PM
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] Foundation ontology, CYC, and Mapping
>
> On Feb 25, 2010, at 11:18 AM, Patrick Cassidy wrote:
> > ...
> > I am well aware that for each new axiom added to an ontology, some
> logical inferences derived from input assertions will change.
>
> Careful there. Classical logic, as the logicians like to say, is
> *monotonic*. Intuitively put, in classical logic, knowledge only grows;
> learning something new cannot lead you to revise what you have already
> deduced. A bit more exactly: In classical logic, adding a new
> (nonredundant) axiom only gives one the power to prove things that one
> couldn't prove before. The inferences one could make without the axiom
> will not change with its addition; nothing that was provable without
> the axiom will cease to be provable with the addition of the axiom.
>
> -chris
>
>
> _________________________________________________________________
> 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
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (04)
_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (05)
|