For what it's worth, section 3.6.6.2 of my thesis gives some discussion of the need for robustness in dealing with contradictions, in human-level AI. Phil Thesis: http://www.philjackson.prohosting.com/PCJacksonPhDThesis20140422.pdf
From: lobrst@xxxxxxxxx To: ontolog-forum@xxxxxxxxxxxxxxxx Date: Wed, 16 Jul 2014 00:23:02 +0000 Subject: Re: [ontolog-forum] Paraconsistent Logic
Note that Carl Hewitt (known mostly for his AI work on Planner and Actor) has been arguing for "Inconsistency Robustness in Foundations of Mathematics" in the
Foundations of Mathematics [FOM] list, and has mentioned there is a panel on the topic at IR'14 (http://ir14.org), upcoming at Stanford July 29-31.
Thanks,
Leo
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx]
On Behalf Of Steven Ericsson-Zenith
Sent: Tuesday, July 15, 2014 7:14 PM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] Paraconsistent Logic
See the Stanford Encyclopedia of Philosophy entry http://plato.stanford.edu/entries/logic-paraconsistent/. As far as I am aware. however, "para consistent
logic" is illogical, not least because it provides an uncertain means to reason about consistency.
Steven
On Tuesday, July 15, 2014, John F Sowa <sowa@xxxxxxxxxxx> wrote:
On 7/15/2014 1:36 PM, Rich Cooper wrote:
> Does anyone have recommendations for papers on Paraconsistent logic?
The Wikipedia article you cited has pointers to several survey articles
at the bottom, which include references to many more articles.
They do not, however, cite any publications about paraconsistent
logics applied to the design and implementation of practical systems.
Does anyone know of any such applications?
Most practical systems deal with inconsistent subsystems by having
a very underspecified upper level ontology (formal or informal) that
avoids making any commitment on any details that could cause an
inconsistency.
Then they support an open-ended collection of microtheories at
the lower levels, which may be inconsistent with oe another.
Marvin Minsky, Herb Simon, and others have recommend that for
about 50 years, and Cyc has been doing that for the past 20 years.
For example, a modern automobile or airplane has many components
that were designed with theories that are inconsistent with the
theories used in the design of other components.
Computer circuits, for example, have to take into account quantum
effects at the lowest levels. GPS systems have to take relativity
into account for maximum accuracy. But the gross motions of the
car or plane are computed on the basis of Newtonian mechanics.
Does anyone know of any implementations that use paraconsistent
logics to deal with any of these (or other) issues?
John
_________________________________________________________________
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
_________________________________________________________________
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 |
_________________________________________________________________
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 (01)
|