-
Notifications
You must be signed in to change notification settings - Fork 13
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Schemes with conclusion being a variable cause problems during instantiation #25
Comments
Hi Pierre,
Nice to hear from you. Hope all is well. I will look into this an get back to you ASAP.
Tom
…________________________________
From: Pierre Allix <notifications@github.com>
Sent: Tuesday, March 28, 2017 3:52 PM
To: carneades/carneades-4
Cc: Subscribed
Subject: [carneades/carneades-4] Schemes with conclusion being a variable cause problems during instantiation (#25)
Hi Tom :),
When the premises of a scheme having a variable as a conclusion can be grounded with statements put in the assumptions, it fails to generate an argument but also blocks the generation for the other schemes.
For example the following file stops to produce any argument during the evaluation, when the commented line are uncommented:
meta:
title: Walton Argumentation Schemes
notes: >
Here we illustrate one way to represent many of the argumentation schemes of Doug Walton,
including critical questions.
source: >
Walton, Douglas and Reed, Chris and Macagno, Fabrizio (2008).
Argumentation Schemes. Cambridge University Press.
language:
just/1: "just %s"
in/2: "%s contains %s as a member."
more_coherent_explanation/2: "There exists a more coherent explanation than theory %s of observation %s."
observed/1: "%s has been observed."
explanation/2: "Theory %s explains %s."
has_occurred/1: "An event %s has occurred."
causes/2: "Event %s causes event %s."
interference/1: "An event has occurred which interferes with event %s."
will_occur/1: "An event %s will occur."
statements:
expert(joe,climate): Joe is a climate expert.
in_domain(¬caused_by(global_warming,humans),climate): >
The claim that global warming is not caused by humans is in the climate domain.
asserts(joe,¬caused_by(global_warming,humans)): >
Joe asserts that global warming is not caused by humans.
¬caused_by(global_warming,humans): >
Global warming is not caused by humans.
based_on_evidence(asserts(joe,¬caused_by(global_warming,humans))):
"Joe's assertion is based on evidence."
observed(s): observed
explanation(t,s): explanation
in(t,h): in
argument_schemes:
# - id: abduction
# variables: [S,T,H]
# conclusions: [H]
# premises:
# - observed(S)
# - explanation(T,S)
# - in(T,H)
# exceptions:
# - more_coherent_explanation(T,S)
- id: abduction_working
variables: [S,T,H]
conclusions:
- just(h)
premises:
- observed(S)
- explanation(T,S)
- in(T,H)
exceptions:
- more_coherent_explanation(T,S)
assumptions:
- observed(s)
- explanation(t,s)
- in(t,h)
Yours,
Pierre
-
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub<#25>, or mute the thread<https://github.com/notifications/unsubscribe-auth/AAsP-y_fX4YiWQqSjs4iXb-DzC5JHcXrks5rqRCjgaJpZM4MrpwQ>.
|
But the expert witness scheme works, also when its premises match assumptions. I can reproduce the problem with the abduction scheme, but do not yet see the difference between these two schemes causing this problem. I will keep looking. The example below works, but you need to add the langauge. Statements need not be declared; they will be derived automatically.
|
I found the problem. The predicate of the conclusion of the abductive argument, s, was not
|
Please let me know if I can close this issue now. |
Indeed, it works. Thank you. I'm closing the issue. |
Hi Tom :),
When the premises of a scheme having a variable as a conclusion can be grounded with statements put in the
assumptions
, it fails to generate an argument but also blocks the generation for the other schemes.For example the following file stops to produce any argument during the evaluation, when the commented lines are uncommented:
Yours,
Pierre
The text was updated successfully, but these errors were encountered: