Graduate studies at Western
|Abstract||Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting, the decision to trust a user may sensibly be based on that user’s past behaviour. We introduce a speciﬁcation language based on linear temporal logic for expressing a policy for categorising the behaviour patterns of a user depending on its transaction history. We also present an algorithm for checking whether the transaction history obeys the stated policy. To be useful in a real setting, such a language should allow one to express realistic policies which may involve parameter quantiﬁcation and quantitative or statistical patterns. We introduce several extensions of linear temporal logic to cater for such needs: a restricted form of universal and existential quantiﬁcation; arbitrary computable functions and relations in the term language; and a “counting” quantiﬁer for counting how many times a formula holds in the past. We then show that model checking a transaction history against a policy, which we call the history-based transaction monitoring problem, is PSPACE-complete in the size of the policy formula and the length of the history, assuming that the underlying interpreted functions and relations are polynomially computable. The problem becomes decidable in polynomial time when the policies are ﬁxed. We also consider the problem of transaction monitoring in the case where not all the parameters of actions are observable. We formulate two such “partial observability” monitoring problems, and show their decidability under certain restrictions.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Bryan W. Husted (1994). Honor Among Thieves. Business Ethics Quarterly 4 (1):17-27.
Uriah Kriegel (2006). The Same-Order Monitoring Theory of Consciousness. In Uriah Kriegel & Kenneth Williford (eds.), Self-Representational Approaches to Consciousness. MIT Press.
Daniel G. Campos (2002). Assessing the Value of Nature: A Transactional Approach. Environmental Ethics 24 (1):57-74.
Martin Lange (2009). Model Checking for Hybrid Logic. Journal of Logic, Language and Information 18 (4):465-491.
Nicholas Capaldi (2007). Corporate Social Responsibility in Developing Countries in a Global Market Economy. International Corporate Responsibility Series 3:223-229.
Rodolphe Blavy & Luciana Juvenal, Mexico's Integration Into Nafta Markets: A View From Sectoral Real Exchange Rates.
Ronald K. Mitchell (2004). Evolutionary Biology Research, Entrepreneurship, and the Morality of Security-Seeking Behavior in an Imperfect Economy. The Ruffin Series of the Society for Business Ethics 2004:263-287.
Marcelo Finger & Dov M. Gabbay (1992). Adding a Temporal Dimension to a Logic System. Journal of Logic, Language and Information 1 (3):203-233.
Joeri Engelfriet & Jan Treur (2002). Linear, Branching Time and Joint Closure Semantics for Temporal Logic. Journal of Logic, Language and Information 11 (4):389-425.
Nadia Creignou, Johannes Schmidt, Michael Thomas & Stefan Woltran (2011). Complexity of Logic-Based Argumentation in Post's Framework. Argument and Computation 2 (2-3):107 - 129.
Savas Konur (2011). An Event-Based Fragment of First-Order Logic Over Intervals. Journal of Logic, Language and Information 20 (1):49-68.
Sorry, there are not enough data points to plot this chart.
Added to index2010-12-22
Total downloads1 ( #292,563 of 740,419 )
Recent downloads (6 months)0
How can I increase my downloads?