Means-end relations and a measure of efficacy

J.L. Hughes, A. Esterline, B. Kimiaghalam

Research output: Contribution to journalArticleAcademicpeer-review


Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic features common to much practical reasoning involving means and ends. We alter the semantics for PDL by adding probabilities to the transition systems and interpreting dynamic formulas ¿ as fuzzy predicates about the reliability of a as a means to ¿. This gives our semantics a measure of efficacy for means-end relations.
Original languageEnglish
Pages (from-to)83-108
Number of pages26
JournalJournal of Logic, Language and Information
Issue number1-2
Publication statusPublished - 2006


Dive into the research topics of 'Means-end relations and a measure of efficacy'. Together they form a unique fingerprint.

Cite this