Use Case Title: Soft Shopping Agent
Version 

Date/Time 
04 June 2007 
Original author 
Umberto Straccia 
Current lead 
Umberto Straccia 
Last Modified By 
Umberto Straccia 
Primary Actors 

Secondary Actors 

Application domain 

Triggering event 
Purpose/Goals (Summarize what the use case is to accomplish) Suppose we have a car selling web site offering cars and we would like to buy a car. Descriptions of the cars are stored in databases and we have some ontology encoding information about the domain. Now, suppose that preferably we would like to pay around 11000 euro and the car should have fewer than 15000 km on the odometer. Also, if there are leather seats then I would like to have air conditioning, the color is preferably blue, and the car is is not old.
Of course, most of our constraints, e.g. on price and kilometers, aren't crisp as we may still accept e.g.~a car's cost of 11200 euro and with an odometer reading of 16000km. Hence, these constraints are rather vague (fuzzy) (we may model this by means of socalled fuzzy memebr functions). We may also give some preference weight to my requirements.
On the other hand, the seller may offer a discount on the car's catalogue price, but the bigger the discout the less satisfied he is. For instance, related to the e.g a sold Mazda3, the seller may consider optimal to sell above 15000euro, but can go down to $13500euro to a lesser degree of satisfaction.
For each car, there will be an optimal price it can be sold, which maximises the product of the buyer's degree of satisfaction and the seller's degree of satisfaction. This is the socalled NASH equilibrium of the matching. Each car gets an optimal degree of buyer/seller degree of satisfaction.
From the buyer perspective, he asks for the TOPk cars and their optimal price, ranked the optimal degree of sadisfaction.
From the seller perspective, he may ask for the TOPk buyer's for a given car and their optimal price, ranked the optimal degree of sadisfaction.
Issues and Relevance to Uncertainty (Summarize how relevant to uncertainty reasoning and representation?)
Matchmaking in eCommerce with soft constraints is about vague reasoning. The uncertainty type is vagueness(UncertaintyType:Vagueness), as matchings are found only to some degree. The possible model is based on mathematical fuzzy logic(UncertaintyModel:Fuzzy Sets). An optimization and reasoning procedure is involved (Agent:Machine:Machine Deduction  optimizing finding topk answers on the web).
Assumptions/Preconditions (List the preconditions necessary for this use case to occur, including description of necessary context)
Required resources (List resources, such as data sources, ontologies, needed for scenario)
Successful End (Describe what happens if this use case is successful)
Failed End (Describe what happens if this use case fails)
Main Scenario (List the sequence of events for the basic course (numbered))
Additional background information or references (Summarize/provide references to information to further describe or characterize use case)
Paper reference.
 @inproceedings{Ragone07,
 Author = {Azzurra Ragone and Umberto Straccia and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, Booktitle = {4th European Semantic Web Conference (ESWC07)}, Number = {4519}, Pages = {414428}, Publisher = {Springer Verlag}, Series = {Lecture Notes in Computer Science}, Title = {Vague Knowledge Bases for Matchmaking in P2P EMarketplaces}, Year = {2007}}
 @inproceedings{Straccia07,
 Address = {Cancun, Mexico}, Author = {Straccia, Umberto}, Booktitle = {World Congress of the International Fuzzy Systems Association (IFSA07)}, Title = {Towards Vague Query Answering in Logic Programming for Logicbased Information Retrieval}, Year = {2007}}
 Basic System reference: there are two systems, which go towards iplementing the use case.
* fuzzyDL, a fuzzy OWLLite reasoner with a full fledged mixed integer programming environment (http://gaia.isti.cnr.it/~straccia/software/fuzzyDL/fuzzyDL.html)
* DLMedia, a fuzzy DLRLite reasoner with a builtin topk database retrieval engine (http://gaia.isti.cnr.it/~straccia/software/DLMedia/DLMedia.html)
Variations (List the alternatives that will not be further decomposed at this time)
Open Issues