PSMerge

The following archives provides some examples from the article:

 Pilar Pozos Parra and Verónica Borja Macías. “Implementing PS-Merge Operator”.

Examples 

•  Example 3

•  Sections 4: examples

Function

•  PSMerge.m

The file PSMerge.m define the function PSMerge that calculates the merge of a belief profile using the PS-Merge operator and the partial satisfaction of those states.

Syntax:

               [S,PS]= PSMerge(FP)

Description:               [S,PS]= PSMerge(FP) takes,

                                        FP= Profile's file-path.

                                and returns the following

                                         S = Solution matrix, whose rows are the states

                                        PS= Partial satisfaction of the profile.

Example:

Let be E the profile obtained from the belief bases K1 = {b}, K2 = {a Λ b} and K3 = {¬b}, then the profile in the
format:
    • B : Number of bases of E
    • V : Number of variables of E
    • D : Vector of number of disjuncts of each base in E
    • L : Matrix of occurrences of literals by each disjunct of each base of E

is stored the archive profile.txt

The comand window of matlab with the output of the PSMerge function using the previous profile as argument .

.

Then the PSMerge(E)={(1,1)} and the partial satisfacion of this state is 2.25.