Research Topics

Case-Based Preference Elicitation: UAI'98, UAI'01, AIJ'03
Preference Elicitation via Theory Refinement: IUI'01, AAAI'02, JMLR'03
Constraint-Based Preference Elicitation: UAI'97, UAI'99
Abstraction-Based Probabilisitic Planning: UAI'96, KR'98, AMAI'98
Generalized Semi-Markov Decision Processes: HICSS'03
Theorem proving (PVS): ICSE'04
Interval Probabilities, Interval Bayesian Networks: AAAI'97, KR'98, AMAI'98
User Modeling: IUI'01

PhD Dissertation: Reasoning with Partial Preference Models (PDF 518KB, 65 pages)

Classical decision theory provides a normative framework for representing and reasoning with complex preferences. Straightforward application of this theory to automate decision making is difficult due to the high cost of eliciting preferences. The objective of this thesis is to develop a flexible decision-theoretic framework for eliciting and reasoning with preferences and to apply the tools and techniques of this framework to build a practical decision support system. This framework incorporates two orthogonal, complementary approaches to eliciting and reasoning with partial preference information. The first approach is grounded in classical multi-attribute utility theory, and can make effective use of qualitative preferential statements represented by logical comparative sentences. The second approach applies ideas from case-based reasoning and collaborative filtering to address the elicitation problem. The theoretical results of this framework have been tested extensively in a number of experiments involving real-world data, as well as found an application in a recommender system.

Selected Papers

17. Generalization Bounds for Binary Classification with Applications to Statistical Verification of Complex Controllers (PDF 220KB).
Abstract | Authors
BibTeX | CiteSeer
19th International Joint Conference on Artificial Intelligence (IJCAI '05)
Edinburgh, Scotland, August 2005
16. Feature-Based Decomposition of Inductive Proof Applied to Real-Time Avionics Software (PDF 258KB).
Abstract | Authors
BibTeX | CiteSeer
26th International Conference on Software Engineering (ICSE '04)
Edinburgh, Scotland, May 2004
15. Ensuring Reliability in High Performance Real Time System
Abstract | Authors
BibTeX | CiteSeer
International Journal of Intelligent Systems 19 (4): 315-326, March 2004
Special Issue on Recent Developments in Intelligent Systems
14. Preference Elicitation via Theory Refinement (PDF 238KB)
Abstract | Authors
BibTeX | CiteSeer
Journal of Machine Learning Research 4: 317-337, 2003
Special Issue on Fusion of Domain Knowledge with Data for Decision Support
13. Similarity of Personal Preferences: Theoretical Foundations and Empirical Analysis (PDF 258KB)
Abstract | Authors
BibTeX | CiteSeer
Artificial Intelligence Journal 126 (2): 149-173, 2003

12. Balancing Safety Against Performance: Tradeoffs In Internet Security (PDF 276KB)
Abstract | Authors
BibTeX | CiteSeer

36th Hawaii International Conference on System Sciences (HICSS-36)
Big Island, Hawaii, January 2003
An earlier version appeared at the AAAI 2002 Workshop on
Real-Time Decision Support and Diagnostics Systems, Edmonton, Alberta, Canada, July 2002
11. Eliciting Utilities by Refining Theories of Monotonicity and Risk
Abstract | Authors
BibTeX | CiteSeer
AAAI '2002 Workshop on Preferences in AI and CP: Symbolic Approaches
Edmonton, Alberta, Canada, July 2002
10. Similarity Measures on Preference Structures, Part II: Utility Functions (PDF 189KB)
Abstract | Authors
BibTeX | CiteSeer
17th Conference in Uncertainty in Artificial Intelligence (UAI '01)
pp 186-193, Seattle, Washington, August 2001
9. User Modeling via Theory Refinement (PDF 42KB)
Abstract | Authors
BibTeX | CiteSeer
International Conference in Intelligent User Interfaces (IUI '01)
Santa Fe, New Mexico, January 2001
8. A Hybrid Approach to Reasoning with Partial Preference Models (PDF 263KB)
Abstract | Authors
BibTeX | CiteSeer
15th Conference in Uncertainty in Artificial Intelligence (UAI '99)
pp 263-270, Stockholm, Sweden, July 1999
7. Geometric Foundations for Interval-Based Probabilities (PDF 234KB)
Abstract | Authors
BibTeX | CiteSeer
Annals of Mathematics and Artificial Intelligence 24 (1-4): 1-21, 1998

6. Towards Case-Based Preference Elicitation: Similarity Measures on Preference Structures (PDF 279KB)
Abstract | Authors
BibTeX | CiteSeer

14th Conference in Uncertainty in Artificial Intelligence (UAI '98)
pp 193-201, Madison, Wisconsin, July 1998
An earlier version appeared at the AAAI Spring Symposium on
Interactive and Mixed-Initiative Decision-Theoretic Planning,
Stanford, March 1998

5. Geometric Foundations for Interval-Based Probabilities (PDF 215KB)
Abstract | Authors
BibTeX | CiteSeer

6th Conference on Principles of Knowledge Representation and Reasoning (KR '98)
pp 582-593, Trento, Italy, June 1998
This is the conference version of 7. An earlier version appeared at the
5th Symposium in Mathematics and Artificial Intelligence, Fort Lauderdale, Florida, January 1998)

4. Problem-Focused Incremental Elicitation of Multi-Attribute Utility Models (PDF 151KB)
Abstract | Authors
BibTeX | CiteSeer
13th Conference in Uncertainty in Artificial Intelligence (UAI '97)
pp 215-222, Providence, Rhode Islands, August 1997
3. Bayes Net Abstraction for Decision-Theoretic Planning (PDF 128KB)
Abstract | Authors
BibTeX | CiteSeer
AAAI '97 Workshop on Abstraction, Decision, and Uncertainty
pp 35-40, Providence, Rhode Islands, July 1997.
2. Theoretical Foundations for Abstraction-Based Probabilistic Planning
Abstract | Authors
BibTeX | CiteSeer
12th Conference in Uncertainty in Artificial Intelligence (UAI '96)
pp 291-298, Portland, Oregon, August 1996.
1. On-line Algorithms and Competitive Analysis
Master Thesis, June 1995
Department of Computer Science and Mathematics, Eötvös University, Budapest, Hungary