Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications

Radosław Klimek

2013

Abstract

This work concerns preference models and their formal analysis using a deductive approach, i.e. temporal logic for both specification and verification, and the semantic tableaux method for reasoning. The architecture of an automatic and deduction-based verification system for preference models is also proposed. It allows analysis of both desired properties of models and their semantic contradictions. Preference models are built from predefined patterns which enable automatic generation of logical specifications for preferences.

References

  1. Chellas, B. F. (1980). Modal Logic. Cambridge University Press.
  2. D'Agostino, M., Gabbay, D., Hähnle, R., and Posegga, J. (1999). Handbook of Tableau Methods. Kluwer Academic Publishers.
  3. Fong, J., Indulska, J., and Robinson, R. (2011). A preference modelling approach to support intelligibility in pervasive applications. In 8th IEEE Workshop on Context Modeling and Reasoning (CoMoRea 2011), Seattle, USA, 21-25 March 2011, pages 409-414. IEEE.
  4. Klimek, R. (2012). Proposal to improve the requirements process through formal verification using deductive approach. In Filipe, J. and Maciaszek, L., editors, Proceedings of 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), 29-30 June, 2012, Wroclaw, Poland [extended version is to be published in SpringerVerlag], pages 105-114. SciTePress.
  5. Oztürk, M., Tsoukiàs, A., and Vincke, P. (2005). Preference modelling. In Figueira, J., Greco, S., and Ehrgott, M., editors, Multiple Criteria Decision Analysis: State of the Art Surveys, pages 27-72. Springer Verlag, Boston, Dordrecht, London.
  6. Wolter, F. and Wooldridge, M. (2011). Temporal and dynamic logic. Journal of Indian Council of Philosophical Research, XXVII(1):249-276.
Download


Paper Citation


in Harvard Style

Klimek R. (2013). Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications . In Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems - Volume 1: PECCS, ISBN 978-989-8565-43-3, pages 131-134. DOI: 10.5220/0004314901310134


in Bibtex Style

@conference{peccs13,
author={Radosław Klimek},
title={Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications},
booktitle={Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems - Volume 1: PECCS,},
year={2013},
pages={131-134},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004314901310134},
isbn={978-989-8565-43-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems - Volume 1: PECCS,
TI - Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications
SN - 978-989-8565-43-3
AU - Klimek R.
PY - 2013
SP - 131
EP - 134
DO - 10.5220/0004314901310134