Free Trial

Safari Books Online is a digital library providing on-demand subscription access to thousands of learning resources.

  • Create BookmarkCreate Bookmark
  • Create Note or TagCreate Note or Tag
  • PrintPrint
Share this Page URL
Help

Chapter 14: Non-Monotonic Modeling for P... > NON-MONOTONIC REASONING FOR INTELLIG...

NON-MONOTONIC REASONING FOR INTELLIGENT PAYMENT SERVICES

The payment agent in IAWPS employs possibilistic deduction to infer if a settlement service is a feasible solution (i.e., candidate) according to its preference (e.g., cheap, less risky, meeting deadline, etc.). When a settlement service is evaluated, its characteristics are encoded as possibilistic formulae and added to the payment agent’s personalized knowledge base as assumptions. If the payment agent’s knowledge base Mathtype978-1-4666-1767-4.ch014.m147 entails a settlement service Mathtype978-1-4666-1767-4.ch014.m148 as a candidate service (i.e., Mathtype978-1-4666-1767-4.ch014.m149), Mathtype978-1-4666-1767-4.ch014.m150 will be added to the set Mathtype978-1-4666-1767-4.ch014.m151 of feasible solutions. This scenario is similar to the symbolic approach of finding a feasible plan or schedule through assumption based reasoning (Kraetzschmar, 1997). In MXFRMS (Kraetzschmar, 1997), each possible plan is added to the agent’s knowledge base as assumption. If the plan is consistent with the knowledge base where the constraint about the planning process is stored, the plan is considered feasible. However, for the payment agent, some of the characteristics of a service Mathtype978-1-4666-1767-4.ch014.m152 may lead to its consideration as a candidate service, whereas other service qualities may remind the agent to exclude it from consideration. This is a general problem in multiple criteria decision making (Zeleny, 1982). In logical term, inconsistency (Mathtype978-1-4666-1767-4.ch014.m153) may exist in the resulting possibilistic knowledge base Mathtype978-1-4666-1767-4.ch014.m154. Therefore, the nontrivial possibilistic deduction Mathtype978-1-4666-1767-4.ch014.m155 is used so that the payment agent can draw sensible conclusions based on the most certain part of Mathtype978-1-4666-1767-4.ch014.m156 even though some of its elements are contradictory to each other. To choose the optimal settlement option(s) from Mathtype978-1-4666-1767-4.ch014.m157, the valuation Mathtype978-1-4666-1767-4.ch014.m158 will be compared for each Mathtype978-1-4666-1767-4.ch014.m159. A candidate settlement service that receives the highest valuation will be chosen as the settlement service since the payment agent is most certain that it should be a candidate service.


  

You are currently reading a PREVIEW of this book.

                                                                                                                    

Get instant access to over $1 million worth of books and videos.

  

Start a Free 10-Day Trial


  
  • Safari Books Online
  • Create BookmarkCreate Bookmark
  • Create Note or TagCreate Note or Tag
  • PrintPrint