Solid reasoning proof checking

[josd]

The Solid reasoning answers can be trusted via an independ proof checker.

Actors/actresses

A proof generator and an independent proof checker.

Preconditions

Solid reasoning data, rules and query availabe on the web.

Steps

• Get the Solid reasoning data, rules and query
• Generate the proof with the the proof generator
• Check the proof with the independent proof checker
• Generate a report of the proof check

Postconditions

The proof is checked and a report is generated.

[josd]

There is a working test scenario at https://github.com/josd/eye/tree/master/reasoning/socrates and another one at https://github.com/josd/eye/tree/master/reasoning/witch

[CopChristophe]

Question: is this deductive or inductive reasoning?

[josd]

This is deductive reasoning as explained in https://www.w3.org/DesignIssues/Semantic.html and https://www.w3.org/DesignIssues/Logic.html

[pheyvaer]

@RubenVerborgh What changes would you like to see here?

[RubenVerborgh]

I would need a concrete use case. I understand that a proof checker is generic, but we should set a concrete goal for a proof that we should be able to check.

[josd]

Could be something similar to https://www.w3.org/2006/09dc-aus/swpf#(3)

-- https://josd.github.io

On Wed, Aug 3, 2022 at 12:19 AM Ruben Verborgh @.***> wrote:

I would need a concrete use case. I understand that a proof checker is generic, but we should set a concrete goal for a proof that we should be able to check.

— Reply to this email directly, view it on GitHub https://github.com/SolidLabResearch/Challenges/issues/21#issuecomment-1203269035, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABPHJBSOIPBR2IBLUPROX3VXGNGLANCNFSM5R6JYMOA . You are receiving this because you modified the open/close state.Message ID: @.***>

[pheyvaer]

@josd Can you add a concrete goal as Ruben mentions?

[josd]

So this was intended as a scenario https://github.com/SolidLabResearch/Challenges/issues/21#issue-1184819705 and not as a concrete use case. Proof checking could be applied for https://github.com/SolidLabResearch/Challenges/issues/58