Visualising proof by cases.

[PanBartosz]

Hello! I'm writing my master's thesis about legal reasoning and I'm planning to use Carneades for visualising arguments. My problem is that i don't know how to model proof by exhaustion :

if P then R if Q then R P or Q

R

I have searched in papers about Carneades and provided examples and i don't have a clue how to do it. Can you guide me?

[tfgordon]

I suppose you want to model proof by exhaustion as an argument scheme. The trick is to view if/then and or as metalevel predicates. See the (commented out) scheme for defeasible modus ponens in the examples/AGs/Walton.yml file for an example. Defeasible modus ponens currently doesn't work, because the minor premise is a variable. We are fixing this. But proof by exhaustion doesn't have this problem. Support for variable conclusions is all you need, and this is already supported.

Get Outlook for Androidhttps://aka.ms/ghei36

From: PanBartosz Sent: Friday, July 15, 4:06 PM Subject: [carneades/carneades-4] Visualising proof by cases. (#18) To: carneades/carneades-4

Hello! I'm writing my master's thesis about legal reasoning and I'm planning to use Carneades for visualising arguments. My problem is that i don't know how to model proof by exhaustion :

if P then R if Q then R

P or Q

R

I have searched in papers about Carneades and i don't have a clue how to do it. Can you guide me?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://github.com/carneades/carneades-4/issues/18, or mute the threadhttps://github.com/notifications/unsubscribe-auth/AAsP-5jZQ-8q5drX_2StJCM7XN3c6g6Mks5qV5P1gaJpZM4JNbi1.

On Fri, Jul 15, 2016 at 4:06 PM +0200, "PanBartosz" notifications@github.com<mailto:notifications@github.com> wrote:

Hello! I'm writing my master's thesis about legal reasoning and I'm planning to use Carneades for visualising arguments. My problem is that i don't know how to model proof by exhaustion :

if P then R if Q then R

P or Q

R

I have searched in papers about Carneades and i don't have a clue how to do it. Can you guide me?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://github.com/carneades/carneades-4/issues/18, or mute the threadhttps://github.com/notifications/unsubscribe-auth/AAsP-5jZQ-8q5drX_2StJCM7XN3c6g6Mks5qV5P1gaJpZM4JNbi1.

[PanBartosz]

Hello! Your insights were very helpful. I have came up with simple solution.

My only issue is that Carneades behaves super weird when statements names are only one letter. proofbycasesgood.yml is the working one, proofbycasesbad.yml is the strange one. I think that unexpected behaviour is caused by parser module?

Thank you very much!

proofbycases.zip

[tfgordon]

Statement names need to be syntactically correct Prolog atoms. Capital letters, or words beginning with capital letters denote variables in Prolog, not atoms.

We are planning to implement a syntax checker to catch and report such errors.

Get Outlook for Androidhttps://aka.ms/ghei36

On Sat, Jul 16, 2016 at 5:41 PM +0200, "PanBartosz" notifications@github.com<mailto:notifications@github.com> wrote:

Hello! Your insights were very helpful. I have came up with simple solution.

My only issue is that Carneades behaves super weird when statements names are only one letter. proofbycasesgood.yml is the working one, proofbycasesbad.yml is the strange one. I think that unexpected behaviour is caused by parser module?

Thank you very much!

proofbycases.ziphttps://github.com/carneades/carneades-4/files/367348/proofbycases.zip

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/carneades/carneades-4/issues/18#issuecomment-233136209, or mute the threadhttps://github.com/notifications/unsubscribe-auth/AAsP-yl7q74WWA5OcDorYT1Yv8bOsM99ks5qWPupgaJpZM4JNbi1.