John,
To help answer Rich Cooper's question:
Googling "paraconsistent logic applications" returns 69,300 results -- the first is a book titled "Paraconsistency: Logic and Applications".
Googling ""conflicting evidence" artificial intelligence applications" returns 103,000 results.
Phil
> Date: Tue, 15 Jul 2014 17:44:28 -0400
> From: sowa@xxxxxxxxxxx
> To: ontolog-forum@xxxxxxxxxxxxxxxx
> Subject: Re: [ontolog-forum] Paraconsistent Logic
>
> 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
>