[Top] [All Lists]

Re: [ontolog-forum] Paraconsistent Logic

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Tue, 15 Jul 2014 17:44:28 -0400
Message-id: <53C5A0BC.40606@xxxxxxxxxxx>
On 7/15/2014 1:36 PM, Rich Cooper wrote:
> Does anyone have recommendations for papers on Paraconsistent logic?    (01)

The Wikipedia article you cited has pointers to several survey articles
at the bottom, which include references to many more articles.    (02)

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?    (03)

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.    (04)

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.    (05)

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.    (06)

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.    (07)

Does anyone know of any implementations that use paraconsistent
logics to deal with any of these (or other) issues?    (08)

John    (09)

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    (010)

<Prev in Thread] Current Thread [Next in Thread>