Means-end Relations and a Measure of Efficacy Jesse Hughes 1 Albert - - PowerPoint PPT Presentation
Means-end relations Efficacy via fuzzy logic Means-end Relations and a Measure of Efficacy Jesse Hughes 1 Albert Esterline 2 Bahram Kimiaghalam 2 1 Technical University of Eindhoven 2 North Carolina A&T July 4, 2005 Hughes, Esterline,
Means-end relations Efficacy via fuzzy logic
Jesse Hughes1 Albert Esterline2 Bahram Kimiaghalam2
1Technical University of Eindhoven 2North Carolina A&T
July 4, 2005
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic
1
Means-end relations Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic
1
Means-end relations Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
2
Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
1
Means-end relations Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
2
Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Practical reasoning is concerned with actions to attain desired results.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Practical reasoning is concerned with actions to attain desired results. Typical practical syllogisms include premises:
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Practical reasoning is concerned with actions to attain desired results. Typical practical syllogisms include premises: an assertion that some end ϕ is desirable,
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Practical reasoning is concerned with actions to attain desired results. Typical practical syllogisms include premises: an assertion that some end ϕ is desirable, an assertion that (given ψ), the action α is related to ϕ,
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Practical reasoning is concerned with actions to attain desired results. Typical practical syllogisms include premises: an assertion that some end ϕ is desirable, an assertion that (given ψ), the action α is related to ϕ, an assertion that ψ.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Practical reasoning is concerned with actions to attain desired results. Typical practical syllogisms include premises: an assertion that some end ϕ is desirable, an assertion that (given ψ), the action α is related to ϕ, an assertion that ψ. The conclusion is an action or an intention.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Practical reasoning is concerned with actions to attain desired results. Typical practical syllogisms include premises: an assertion that some end ϕ is desirable, an assertion that (given ψ), the action α is related to ϕ, an assertion that ψ. The conclusion is an action or an intention. This premise is a means-end relation.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
I want to make the hut habitable.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
I want to make the hut habitable. Unless I heat the hut, it will not be habitable.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
I want to make the hut habitable. Unless I heat the hut, it will not be habitable. Therefore I must heat the hut.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
I want to make the hut habitable. Unless I heat the hut, it will not be habitable. Therefore I must heat the hut. Expression of an agent’s desire,
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
I want to make the hut habitable. Unless I heat the hut, it will not be habitable. Therefore I must heat the hut. Expression of an agent’s desire, A necessary means-end relation,
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
I want to make the hut habitable. Unless I heat the hut, it will not be habitable. Therefore I must heat the hut. Expression of an agent’s desire, A necessary means-end relation, Concludes in a necessary action.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
I want to make the hut habitable. Unless I heat the hut, it will not be habitable. Therefore I must heat the hut. Expression of an agent’s desire, A necessary means-end relation, Concludes in a necessary action. Note: distinct premises
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
I want to make the hut habitable. Unless I heat the hut, it will not be habitable. Therefore I must heat the hut. Expression of an agent’s desire, A necessary means-end relation, Concludes in a necessary action. Note: distinct premises But necessary means-end relations are a bit tricky.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
I want to make the hut habitable. If I heat the hut, it will be habitable. Therefore, I have reason to heat the hut. An alternative with a sufficient means-end relation.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“The function of the heart is to pump blood.”
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“The function of the heart is to pump blood.” “That switch mutes the television.”
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“The function of the heart is to pump blood.” “That switch mutes the television.” “The subroutine ensures that the user is authorized.”
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“The function of the heart is to pump blood.” “That switch mutes the television.” “The subroutine ensures that the user is authorized.” “The magician’s assistant is for distracting the audience.”
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“The function of the heart is to pump blood.” “That switch mutes the television.” “The subroutine ensures that the user is authorized.” “The magician’s assistant is for distracting the audience.” We ascribe functions to biological stuff,
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“The function of the heart is to pump blood.” “That switch mutes the television.” “The subroutine ensures that the user is authorized.” “The magician’s assistant is for distracting the audience.” We ascribe functions to biological stuff, artifacts,
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“The function of the heart is to pump blood.” “That switch mutes the television.” “The subroutine ensures that the user is authorized.” “The magician’s assistant is for distracting the audience.” We ascribe functions to biological stuff, artifacts, algorithms,
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“The function of the heart is to pump blood.” “That switch mutes the television.” “The subroutine ensures that the user is authorized.” “The magician’s assistant is for distracting the audience.” We ascribe functions to biological stuff, artifacts, algorithms, personal roles. . .
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“That switch mutes the television.”
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“That switch mutes the television.” ⇓ One can use the switch to mute the television.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“That switch mutes the television.” ⇓ One can use the switch to mute the television. ⇓ Some action involving the switch will cause the television to be muted.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“That switch mutes the television.” ⇓ One can use the switch to mute the television. ⇓ Some action involving the switch will cause the television to be muted. Functions imply means-end relations.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“That switch mutes the television.” ⇓ One can use the switch to mute the television. ⇓ Some action involving the switch will cause the television to be muted. Functions imply means-end relations. Doesn’t imply desirability of the end.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“That switch mutes the television.” ⇓ One can use the switch to mute the television. ⇓ Some action involving the switch will cause the television to be muted. Functions imply means-end relations. Doesn’t imply desirability of the end. Needed: means-end semantics
distinct of desirability
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
“That switch mutes the television.” ⇓ One can use the switch to mute the television. ⇓ Some action involving the switch will cause the television to be muted. Functions imply means-end relations. Doesn’t imply desirability of the end. Needed: means-end semantics
distinct of desirability distinct from theory of practical reasoning
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
An end is some desirable condition – a proposition.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
An end is some desirable condition – a proposition. A means is a way of making the end true.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
An end is some desirable condition – a proposition. A means is a way of making the end true. Means change things: means are actions.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
An end is some desirable condition – a proposition. A means is a way of making the end true. Means change things: means are actions. Some controversies: Ends-in-themselves?
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
An end is some desirable condition – a proposition. A means is a way of making the end true. Means change things: means are actions. Some controversies: Ends-in-themselves? Objects as means?
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Propositional Dynamic Logic is a logic of actions.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Propositional Dynamic Logic is a logic of actions. Basic types: a set act of actions,
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Propositional Dynamic Logic is a logic of actions. Basic types: a set act of actions,
Closed under:
sequential composition α; β non-deterministic choice α ∪ β test ϕ? iteration α∗
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Propositional Dynamic Logic is a logic of actions. Basic types: a set act of actions,
Closed under:
sequential composition α; β non-deterministic choice α ∪ β test ϕ? iteration α∗
a set prop of propositions.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Propositional Dynamic Logic is a logic of actions. Basic types: a set act of actions,
Closed under:
sequential composition α; β non-deterministic choice α ∪ β test ϕ? iteration α∗
a set prop of propositions.
Closed under:
boolean connectives, dynamic operators [α]ϕ, αϕ.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Propositional Dynamic Logic is a logic of actions. Basic types: a set act of actions,
Closed under:
sequential composition α; β non-deterministic choice α ∪ β test ϕ? iteration α∗
a set prop of propositions.
Closed under:
boolean connectives, dynamic operators [α]ϕ, αϕ.
Intuitions: [α]ϕ: after doing α, ϕ will hold.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Propositional Dynamic Logic is a logic of actions. Basic types: a set act of actions,
Closed under:
sequential composition α; β non-deterministic choice α ∪ β test ϕ? iteration α∗
a set prop of propositions.
Closed under:
boolean connectives, dynamic operators [α]ϕ, αϕ.
Intuitions: [α]ϕ: after doing α, ϕ will hold. αϕ: after doing α, ϕ might hold.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
α α α α
Possible world semantics with transition systems for each action α.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
α α α α
Possible world semantics with transition systems for each action α. w
α
w′ means:
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
P [ α ] P
α α α α
Possible world semantics with transition systems for each action α. w
α
w′ means:
w | = [α]ϕ iff ∀ w
α
w′ . w′ |
= ϕ.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
Q
β β β
Possible world semantics with transition systems for each action α. w
α
w′ means:
w | = [α]ϕ iff ∀ w
α
w′ . w′ |
= ϕ. w | = αϕ iff ∃ w
α
w′ . w′ |
= ϕ.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
A means is an action α that can realize one’s end ϕ.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
A means is an action α that can realize one’s end ϕ. Two interpretations: ϕ
α α
Weak: α might realize ϕ.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
A means is an action α that can realize one’s end ϕ. Two interpretations: ϕ
α α
ϕ
α α
Weak: α might realize ϕ. Strong: α will realize ϕ.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
A means is an action α that can realize one’s end ϕ. Two interpretations: ϕ
α α
ϕ
α α
Weak: α might realize ϕ. Strong: α will realize ϕ. w | = αϕ w | = [α]ϕ ∧ α⊤
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
A means is an action α that can realize one’s end ϕ. Two interpretations: ϕ
α α
ϕ
α α
Weak: α might realize ϕ. Strong: α will realize ϕ. w | = αϕ w | = [α]ϕ ∧ α⊤ α can be done.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
1
Means-end relations Interest I: Practical syllogisms Interest II: Functional ascriptions Propositional Dynamic Logic
2
Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Different means to a common end have different degrees of reliability.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Different means to a common end have different degrees of reliability. End: Get 12 points with one dart.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Different means to a common end have different degrees of reliability. End: Get 12 points with one dart. Three different means: Throw for 12.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Different means to a common end have different degrees of reliability. End: Get 12 points with one dart. Three different means: Throw for 12. Throw for double 6.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Different means to a common end have different degrees of reliability. End: Get 12 points with one dart. Three different means: Throw for 12. Throw for double 6. Throw for triple 4.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Different means to a common end have different degrees of reliability. End: Get 12 points with one dart. Three different means: Throw for 12. Throw for double 6. Throw for triple 4. Efficacy: The degree of reliability of a means to an end.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α α β β
Efficacy is a measure of likelihoods.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α α β β
Efficacy is a measure of likelihoods. PDL includes non-determinism, not probabilities.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α , . 2 α 0.8 β , . 9 β 0.1
Efficacy is a measure of likelihoods. PDL includes non-determinism, not probabilities. Fix (semantic): use probabilistic transition structures.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α , . 2 α 0.8 β , . 9 β 0.1
Efficacy is a measure of likelihoods. PDL includes non-determinism, not probabilities. Fix (semantic): use probabilistic transition structures. w
α x
w′ means that
doing α in w has probability x
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α , . 2 α 0.8 β , . 9 β 0.1
Efficacy is a measure of likelihoods. PDL includes non-determinism, not probabilities. Fix (semantic): use probabilistic transition structures. w
α x
w′ means that
doing α in w has probability x
Write: P( w
α
w′ ) = x.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α , . 2 α 0.8 β , . 9 β 0.1
Syntactic fix?
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α , . 2 α 0.8 β , . 9 β 0.1
Syntactic fix? Probabilistic Computation Tree Logic (pCTL)?
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α , . 2 α 0.8 β , . 9 β 0.1
Syntactic fix? Probabilistic Computation Tree Logic (pCTL)?
Index dynamic operators, like [α]≥x, α≥x.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α , . 2 α 0.8 β , . 9 β 0.1
Syntactic fix? Probabilistic Computation Tree Logic (pCTL)?
Index dynamic operators, like [α]≥x, α≥x. Nesting requires picking x’s.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α , . 2 α 0.8 β , . 9 β 0.1
Syntactic fix? Probabilistic Computation Tree Logic (pCTL)?
Index dynamic operators, like [α]≥x, α≥x. Nesting requires picking x’s.
Probabilistic PDL?
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α , . 2 α 0.8 β , . 9 β 0.1
Syntactic fix? Probabilistic Computation Tree Logic (pCTL)?
Index dynamic operators, like [α]≥x, α≥x. Nesting requires picking x’s.
Probabilistic PDL?
Truth functional.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α , . 2 α 0.8 β , . 9 β 0.1
Syntactic fix? Probabilistic Computation Tree Logic (pCTL)?
Index dynamic operators, like [α]≥x, α≥x. Nesting requires picking x’s.
Probabilistic PDL?
Truth functional. Assigns values in [0, 1] to world-formula pairs.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α , . 2 α 0.8 β , . 9 β 0.1
Syntactic fix? Probabilistic Computation Tree Logic (pCTL)?
Index dynamic operators, like [α]≥x, α≥x. Nesting requires picking x’s.
Probabilistic PDL?
Truth functional. Assigns values in [0, 1] to world-formula pairs. Logic in loose sense.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Q
α , . 2 α 0.8 β , . 9 β 0.1
Syntactic fix? Probabilistic Computation Tree Logic (pCTL)?
Index dynamic operators, like [α]≥x, α≥x. Nesting requires picking x’s.
Probabilistic PDL?
Truth functional. Assigns values in [0, 1] to world-formula pairs. Logic in loose sense.
Fuzzy PDL.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Slogan: Probabilities and fuzziness are different.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Slogan: Probabilities and fuzziness are different. But one can use probabilities to define fuzzy predicates.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Slogan: Probabilities and fuzziness are different. But one can use probabilities to define fuzzy predicates. Hajek, et al., uses distributions on propositional formulas to define “Probably ϕ”.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Slogan: Probabilities and fuzziness are different. But one can use probabilities to define fuzzy predicates. Hajek, et al., uses distributions on propositional formulas to define “Probably ϕ”. Truth degree of “Probably ϕ” = P(ϕ).
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
“Reliably”, like “Probably”, is a vague operator.
Q
α α α
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
“Reliably”, like “Probably”, is a vague operator.
Q
α α α
In PDL: αϕ ⇔ α will possibly realize ϕ
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
“Reliably”, like “Probably”, is a vague operator.
Q
α 1 α 0.5 α . 5
In PDL: αϕ ⇔ α will possibly realize ϕ In fuzzy PDL: αϕ ⇔ α will probably realize ϕ
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
“Reliably”, like “Probably”, is a vague operator.
Q
α 1 α 0.5 α . 5
In PDL: αϕ ⇔ α will possibly realize ϕ In fuzzy PDL: αϕ ⇔ α will probably realize ϕ ⇔ α reliably realizes ϕ
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
“Reliably”, like “Probably”, is a vague operator.
Q
α 1 α 0.5 α . 5
In PDL: αϕ ⇔ α will possibly realize ϕ In fuzzy PDL: αϕ ⇔ α will probably realize ϕ ⇔ α reliably realizes ϕ αϕ(w) =
P(w
α
− → w′) · ϕ(w′).
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
“Reliably”, like “Probably”, is a vague operator.
Q
α 1 α 0.5 α . 5
In PDL: αϕ ⇔ α will possibly realize ϕ In fuzzy PDL: αϕ ⇔ α will probably realize ϕ ⇔ α reliably realizes ϕ αϕ(w) =
P(w
α
− → w′) · ϕ(w′). Like decision theory, we use means for expected outcomes.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
“Reliably”, like “Probably”, is a vague operator.
Q
α 1 α 0.5 α . 5
In PDL: αϕ ⇔ α will possibly realize ϕ In fuzzy PDL: αϕ ⇔ α will probably realize ϕ ⇔ α reliably realizes ϕ αϕ(w) =
P(w
α
− → w′) · ϕ(w′). Like decision theory, we use means for expected outcomes. Unlike decision theory, there are no utilities involved.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
“Reliably”, like “Probably”, is a vague operator.
Q
α 1 α 0.5 α . 5
In PDL: αϕ ⇔ α will possibly realize ϕ In fuzzy PDL: αϕ ⇔ α will probably realize ϕ ⇔ α reliably realizes ϕ αϕ(w) =
P(w
α
− → w′) · ϕ(w′). Like decision theory, we use means for expected outcomes. Unlike decision theory, there are no utilities involved. Elegant treatment of complex ends, like αϕ ∧ βψ.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
An accidental advantage
Weapons are for causing harm.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
An accidental advantage
Weapons are for causing harm. Examples: slingshot, nuke
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
An accidental advantage
H a r m Weapons are for causing harm. Examples: slingshot, nuke This end is fuzzy.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
An accidental advantage
H a r m
s l i n g . 5 sling 0.5 n u k e 1
Weapons are for causing harm. Examples: slingshot, nuke This end is fuzzy. Fuzzy PDL allows for fuzzy ends. A nuke is more effective in causing harm than a slingshot. (Duh.)
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Suppose J and L are cooperative but incommunicado.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Suppose J and L are cooperative but incommunicado. J knows that L will either do m in order to realize P or
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Suppose J and L are cooperative but incommunicado. J knows that L will either do m in order to realize P or n in order to realize Q.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Suppose J and L are cooperative but incommunicado. J knows that L will either do m in order to realize P or n in order to realize Q. He wants to ensure that L will succeed, whichever she chooses.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Suppose J and L are cooperative but incommunicado. J knows that L will either do m in order to realize P or n in order to realize Q. He wants to ensure that L will succeed, whichever she chooses. End: mP ∧ nQ.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Suppose J and L are cooperative but incommunicado. J knows that L will either do m in order to realize P or n in order to realize Q. He wants to ensure that L will succeed, whichever she chooses. End: mP ∧ nQ. Aim: maximize min{mP(w), nQ(w)}.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Suppose J and L are cooperative but incommunicado. J knows that L will either do m in order to realize P or n in order to realize Q. He wants to ensure that L will succeed, whichever she chooses. End: mP ∧ nQ. Aim: maximize min{mP(w), nQ(w)}. ϕ ∧ ψ(w) = min
Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
On formulas αϕ(w) =
w′∈W P( w α
w′ ) · ϕ(w′)
ϕ ∧ ψ(w) = min{ϕ(w), ψ(w)} ϕ ∨ ψ(w) = max{ϕ(w), ψ(w)} ¬ϕ(w) = 1 − ϕ(w) ϕ → ψ(w) =
if ϕ(w) ≤ ψ(w), ψ(w) else;
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
On formulas αϕ(w) =
w′∈W P( w α
w′ ) · ϕ(w′)
ϕ ∧ ψ(w) = min{ϕ(w), ψ(w)} ϕ ∨ ψ(w) = max{ϕ(w), ψ(w)} ¬ϕ(w) = 1 − ϕ(w) ϕ → ψ(w) =
if ϕ(w) ≤ ψ(w), ψ(w) else;
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
On formulas αϕ(w) =
w′∈W P( w α
w′ ) · ϕ(w′)
ϕ ∧ ψ(w) = min{ϕ(w), ψ(w)} ϕ ∨ ψ(w) = max{ϕ(w), ψ(w)} ¬ϕ(w) = 1 − ϕ(w) ϕ → ψ(w) =
if ϕ(w) ≤ ψ(w), ψ(w) else;
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
On formulas αϕ(w) =
w′∈W P( w α
w′ ) · ϕ(w′)
ϕ ∧ ψ(w) = min{ϕ(w), ψ(w)} ϕ ∨ ψ(w) = max{ϕ(w), ψ(w)} ¬ϕ(w) = 1 − ϕ(w) ϕ → ψ(w) =
if ϕ(w) ≤ ψ(w), ψ(w) else;
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
On formulas αϕ(w) =
w′∈W P( w α
w′ ) · ϕ(w′)
ϕ ∧ ψ(w) = min{ϕ(w), ψ(w)} ϕ ∨ ψ(w) = max{ϕ(w), ψ(w)} ¬ϕ(w) = 1 − ϕ(w) ϕ → ψ(w) =
if ϕ(w) ≤ ψ(w), ψ(w) else;
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
On formulas αϕ(w) =
w′∈W P( w α
w′ ) · ϕ(w′)
ϕ ∧ ψ(w) = min{ϕ(w), ψ(w)} = ϕ ∩ ψ ϕ ∨ ψ(w) = max{ϕ(w), ψ(w)} = ϕ ∪ ψ ¬ϕ(w) = 1 − ϕ(w) = W \ ϕ ϕ → ψ(w) =
if ϕ(w) ≤ ψ(w), ψ(w) else; = ϕ → ψ
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
On actions α; β(w)(w′) =
w′′∈W P( w α w′′ ) · P( w′′ β
w′ )
ϕ?(w)(w′) =
if w = w′; else.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
On actions α; β(w)(w′) =
w′′∈W P( w α w′′ ) · P( w′′ β
w′ )
ϕ?(w)(w′) =
if w = w′; else.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
On actions α; β(w)(w′) =
w′′∈W P( w α w′′ ) · P( w′′ β
w′ )
ϕ?(w)(w′) =
if w = w′; else. ϕ ∪ ψ(w)(w′) ϕ∗(w)(w′)
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Validity and Soundness
Positive results: Axioms:
Usual axioms for this fuzzy logic (De Morgan and Implication axioms)
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Validity and Soundness
Positive results: Axioms:
Usual axioms for this fuzzy logic (De Morgan and Implication axioms) Composition: [α; β]ϕ ↔ [α][β]ϕ
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Validity and Soundness
Positive results: Axioms:
Usual axioms for this fuzzy logic (De Morgan and Implication axioms) Composition: [α; β]ϕ ↔ [α][β]ϕ
Rules:
Modus ponens, cut
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Validity and Soundness
Positive results: Axioms:
Usual axioms for this fuzzy logic (De Morgan and Implication axioms) Composition: [α; β]ϕ ↔ [α][β]ϕ
Rules:
Modus ponens, cut Necessitation: ϕ/[α]ϕ
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Validity and Soundness
Positive results: Axioms:
Usual axioms for this fuzzy logic (De Morgan and Implication axioms) Composition: [α; β]ϕ ↔ [α][β]ϕ
Rules:
Modus ponens, cut Necessitation: ϕ/[α]ϕ
Negative results: Axioms:
K: [α](ϕ → ψ) → ([α]ϕ → [ψ])
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Validity and Soundness
Positive results: Axioms:
Usual axioms for this fuzzy logic (De Morgan and Implication axioms) Composition: [α; β]ϕ ↔ [α][β]ϕ
Rules:
Modus ponens, cut Necessitation: ϕ/[α]ϕ
Negative results: Axioms:
K: [α](ϕ → ψ) → ([α]ϕ → [ψ]) Distributivity: [α](ϕ ∧ ψ) ↔ ([α]ϕ ∧ [α]ψ)
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Validity and Soundness
Positive results: Axioms:
Usual axioms for this fuzzy logic (De Morgan and Implication axioms) Composition: [α; β]ϕ ↔ [α][β]ϕ
Rules:
Modus ponens, cut Necessitation: ϕ/[α]ϕ
Negative results: Axioms:
K: [α](ϕ → ψ) → ([α]ϕ → [ψ]) Distributivity: [α](ϕ ∧ ψ) ↔ ([α]ϕ ∧ [α]ψ) Test: [ψ?]ϕ ↔ (ψ → ϕ)
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Completeness
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Completeness
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Completeness
But not with these semantics. Ongoing work. . .
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Include non-deterministic features (in paper).
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Include non-deterministic features (in paper). Add to formalization of functions (SPT 2005).
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Include non-deterministic features (in paper). Add to formalization of functions (SPT 2005). Investigate better behaved semantics.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Means-end relations Efficacy via fuzzy logic Reliability as a fuzzy operator The resulting fuzzy logic
Include non-deterministic features (in paper). Add to formalization of functions (SPT 2005). Investigate better behaved semantics.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Concerns: Primary: Adding probabilities to transitions.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Concerns: Primary: Adding probabilities to transitions. Secondary: Fuzzy ends (like “causing harm”).
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Concerns: Primary: Adding probabilities to transitions. Secondary: Fuzzy ends (like “causing harm”). Aims: Keep PDL as language for means-end relations.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Concerns: Primary: Adding probabilities to transitions. Secondary: Fuzzy ends (like “causing harm”). Aims: Keep PDL as language for means-end relations. Minimal semantic changes.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Concerns: Primary: Adding probabilities to transitions. Secondary: Fuzzy ends (like “causing harm”). Aims: Keep PDL as language for means-end relations. Minimal semantic changes. Truth-functional semantics.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Concerns: Primary: Adding probabilities to transitions. Secondary: Fuzzy ends (like “causing harm”). Aims: Keep PDL as language for means-end relations. Minimal semantic changes. Truth-functional semantics. Include complex ends like αϕ ∧ βψ.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy
Concerns: Primary: Adding probabilities to transitions. Secondary: Fuzzy ends (like “causing harm”). Aims: Keep PDL as language for means-end relations. Minimal semantic changes. Truth-functional semantics. Include complex ends like αϕ ∧ βψ. Proposal: Interpret PDL as fuzzy logic.
Hughes, Esterline, Kimiaghalam Means-end Relations and a Measure of Efficacy