Re: Defeasible Logic

Thanks for the pointer.  It seems weaker than plausible reasoning, though, as the latter can cope with uncertain, incomplete and inconsistent knowledge using qualitative and quantitive metadata.  The notion of “proof” as used in [1] is perhaps more mathematical than grounded in the uncertainty of real life where “truth” is a rather softer notion.

> On 10 Mar 2022, at 07:47, Timothy Holborn <timothy.holborn@gmail.com> wrote:
> 
> Hi All,
> 
> I was recently reminded of this work on Defeasible Logic[1][2]
> 
> Thought i'd note it... 
> 
> [1] http://www.defeasible.org/ <http://www.defeasible.org/>
> [2] https://www.governatori.net/publications.html <https://www.governatori.net/publications.html> 
> 
> 

Dave Raggett <dsr@w3.org> http://www.w3.org/People/Raggett
W3C Data Activity Lead & W3C champion for the Web of things