• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    Culture Merging:A Logic Based Method*

    2020-12-24 02:19:42XiaoxinJing
    邏輯學(xué)研究 2020年6期

    Xiaoxin Jing

    Abstract. Intercultural conflict resolution is an important issue worldwide.However,we should avoid resolving them by war,violence,or even terrorism.To this end,this paper proposes a logic based merging method to resolve opinion conflicts on the same things in different cultures.Specifically,we first define each agent’s logic system,in a specific culture,as a tuple of the language and a binary relation over the language,which can well reflect different opinions on the same things in different cultures.Then we define a kind of the Hamming distance to measure the distance between any two cultural logic systems.Further,based on the distance measure,we define a kind of merging operator (including its special cases such as impartial merging operator,cautious operator,and tolerant merging operator)and reveal some of their properties such as consistency,agreement,strong unanimity,groundedness,anonymity,majority preservation,and uniqueness.In addition,we propose a method for merging cultural logic systems with different degrees of importance and with opinions which are important differently.

    1 Introduction

    Culture is a collection of elements,such as values,beliefs,opinions,and knowledge of the world,shared by a group of human beings.([13])Generally speaking,conflict means some form of friction,disagreement,or discord arising within a group.([2])Therefore,cultural differences can cause cultural conflict.([29])The study of conflict resolution started centuries ago,but only recently this problem was systematically investigated because conflicts between different cultural groups are among the most difficult problems we are facing today.For these conflicts,of course,we should avoid resolving them by war,violence,and terrorism.As a result,it is very important to investigate other more acceptable ways for achieving consensus,so that social problems caused by the conflicts of different cultures can be resolved peacefully.([25])Moreover,a study on intercultural resolution can also benefit governments to make their policy concerning immigration,because such a method can be used to predict what kind of a new culture will appear if they grant immigrants with different cultural background.In addition,if agent systems act on behalf of humans in different cultures,they have to model accurately their human users’interests,preferences,and prejudices? otherwise,their human users would not delegate their tasks to the agents.([12])

    So far,to resolve intercultural conflict,much work has been done.Nevertheless,most of them are sociological or anthropological theories.([3,6,1])The formal theories of intercultural conflict resolution focus on intercultural negotiation([30,15]),which all are game-theoretic approaches instead of logical-based ones.Nonetheless,the game-theoretic approaches can just be used to figure out which strategy is the best one in a particular intercultural negotiation scenario,and they cannot be used to predict what kind of new culture will appear if people with different cultural opinions on the same things are put together.

    On the other hand,merging is a process for agents to fuse conflicting information from several sources with equal reliability to build a coherent description of the world.([36])A lot of formal theories about merging have been developed ([34,35,28,19]),and most of them focus on the problem of belief merging in the same culture.However,from the viewpoint of cultural pluralism and the information processing in intercultural communications,these merging theories need to be extended to intercultural environments.For example,when two friends,Chinese Xiaoming and American Angela,meet in the street,Xiaoming asks Angela,“Where are you going?”For Xiaoming,this is just a kind of daily greeting in China?but Angela may feel uncomfortable and view it as an invasion upon her privacy.Therefore,in an intercultural communication,not only the language barrier but also the logic systems reflecting their cultural characteristics(unnecessarily the same)prevent people from different cultures to understand each other.In other words,different cultures may be modelled as different logic systems.As far as we know,at present researchers in merging theories presume a unified underlying logic system,while individuals or groups from different cultures often reach different,even opposite,conclusions even from the same precondition.([38,27])

    To this end,this paper will propose a merging method in the context of intercultural communication.More specifically,we will design a distance-based operator to merge logic systems that model different cultures.This brings a number of new challenges.That is,we need not only to merge logical languages but also to reach coherent binary relations over the languages.Actually,such a binary relation represents an implication relation in a logic system,which reflects the opinion on a thing in a specific culture,e.g.,the question of“where are you going?” is a“daily greeting”or an“invasion upon privacy”.

    We advance the state of art in the following aspects.(i)We model different cultural opinions on the same thing as a binary tuple,where one element is some propositions about the thing and the other is a proposition that reflects the opinion on the thing in a culture.In other words,we define each agent’s logic system as a pair,which consists of the language and a binary relation among the language.(ii)We propose a two-step process to merge different cultural logic systems:first all the logic systems are expanded to be based on the same language,and then the distancebased method is employed to select the logic system that is nearest to the expanded logic systems.(iii)We introduce three special merging operators:impartial merging operator,cautious operator,and tolerant merging operator.(iv)We reveal some basic properties of our merging operator.And(v)we also propose a solution to the problem of merging cultural logic systems with different degrees of importance and opinions which are important differently.

    The rest of this paper is organised as follows.Section 2 defines the logic systems of different cultures.Section 3 discusses how to merge the logic systems by using the distance-based approach.Section 4 reveals some properties of our merging operators.Section 5 we discuss how to merge cultural logic systems with different degrees of importance and with opinions which are important differently.Section 6 discusses the related work to show how our work advances the state-of-art in the research area of information fusion.Finally,Section 7 concludes this paper with future work.

    2 Cultural Logic Systems and Their Expansions

    This section will define the cultural logic systems of agents from different cultures.

    There are several different perspectives to consider the notion of logic.Firstly,the classical logic systems,which were introduced by Frege and Rusell ([14]),are defined as a set of valid formulas in some logic system.Specifically,a logic system is given by a formal language and a deductive calculus(namely a set of axioms and a set of inference rules).The total formulas derivable in the calculus,which are valid in the system,compose the logic system.This view has been proved to be too narrow because of the emergence of numerous non-classical logics,in particular,logics without valid formulas at all,such as Kleene’s three-valued logic([10]).In this paper,we adopt another abstract approach and define logic as a pair(S,?),where S is the set of sentences and ??P(S)×S is the consequence relation.Such pairs are used,for example,as entailment systems in[26],or logical systems in[39].

    Now let L be a fixed language(i.e.,a set of sentences).Here,we do not give a specific definition for language L,just assume that it is formal.It may have a set of connectives(with an arity n),a set of propositional variable V,and formulas in L are defined inductively as usual in propositional logic.In intercultural communication([16]),agents from different cultures may have different languages,which we represent as L,and restrict them to finite set of sentences.Thus,a cultural logic system includes a kind of language L and a set of binary relations R?between P(L)and L,1The binary relation indicates that given some sentences in P(L)as premises,we could get a sentence in L as their conclusion.Besides,we think that in the different cultural logic systems,the monotonicity is not necessarily satisfied.where P(L)is denoted as the power set of L.Formally,we have:

    Definition 1(Cultural logic system).Given a formal language L,which is a finite set of sentences,a cultural logic system over L is a pair L=P(L)×L.We denote a profile of n cultural logic systems as P=(L1,...,Ln),where eachis the cultural logic system for agent i.

    In the rest of our paper,sometimes we will useto denote the complete version of a cultural logic system,wherebut we will not distinguish these two notations if there are no confusions arisen.

    Intuitively,a cultural opinion belongs to a consequence relation in a cultural logic system.Formally,we have:

    Definition 2(Opinion).Given a formal logic language L,an opinion in L is a tuple(Σ,φ) ∈P(L)×L,where Σ is a set of premises and φ is a conclusion.An opinion(Σ,φ)is said to be valid in a cultural logic system Liff(Σ,φ)∈.We denote O(L)as all the valid opinions in L.If an opinion(Σ,φ)is not valid in L,then(Σ,φ)

    Notice in this paper,we assume a cultural logic system is consistent,i.e.,for anysuch that(Σ,φ) ∈In other words,the above two conflictive opinions cannot be in the same cultural logic system.

    Given a profile of multiple cultural logic systems,our purpose is to characterise the set of logic systems acceptable to a group of agents from different cultures.That is,we will give a coherent logic,which is resulted from fusing different cultural logic systems with equal reliability.Thus,our approach is a two-step process.First,each cultural logic system is expanded to a new one over the language considered by the group of agents from different cultures.This aims to reflect that some agents may not know the language given by other agents from other cultures,as well as how to add the sentences and the inference relations based on the sentences into their own logic systems.Then,merging is applied into the expanded systems for resolving the possible conflicts between them.

    In order to achieve this goal,we first introduce the concept of cultural logic systems’expansion.Intuitively,it extends a number of cultural logic systems so as to represent the ignorance of the sentences and implication relations in different cultural logic systems given by agents from different cultures.This is necessary in our setting because the in intercultural communication,agents probably have different languages.Hence,the cultural logic system of each agent is first expanded,and all such cultural logic systems are built upon the same language,in which the sentences are given by at least one agent in intercultural communication.Formally,we have:

    Definition 3(Expansion of a cultural logic system profile).Given a cultural logic system profile P=(L1,...,Ln)of n cultural logic systems in which each Li=and a cultural logic systeman expansion of L over P is defined as a cultural logic system exp(L,P)=where:

    In the above definition, Le=means that Leis the expansion of L over languages Liin the cultural logic system profile P=(L1,...,Ln).As we mentioned before,the languages in different cultural logic systems have different sentences.The expansion of L over Li(i ∈{1,...,n})is obtained just by adding all the sentences occurring in Liinto L.As for the expansion of the implication relation,means that the valid opinions in L are still valid in its expansions.

    Besides adding the sentences,we should also consider the implication relations based on the sentence.This is because each agent can have her own expansion policy to incorporate a new implication relation into her cultural logic system.More specifically,we focus on a special one,called the consensual expansion:when incorporating a new implication relation into his/her own cultural logic system,an agent thinks that the premise infers the conclusion whenever all the other agents who are aware of all the sentences do not object to this implication relation?otherwise,he/she thinks that he/she ignores this implication relation.Formally,we have:

    The above definition reflects the intuition that given a profile P of multiple cultural logic systems,if valid opinions in one cultural logic system are not conflictive with those in other cultural systems,they should be added into the consensual expansion for all cultural logic systems in the profile.Clearly,the consensual expansion of L over P is also a cultural logic system.

    In the following,we will reveal a property for consensual expansion.Before presenting it,we first need two concepts below:

    Definition 5(Non-clash part).Let P=(L1,...,Ln)be a profile of cultural logic systems,where each Li=is a logic system.Then the non-clash part of P,denoted as nc(P),is given by:

    Definition 6(Common part).Let P=(L1,...,Ln)be a profile of logic systems,where each Li=is a logic system.Then the common part of P,denoted as cp(P),is given by:

    The following theorem reveals an important property of the consensual expansion:when we take the consensual expansion over a profile,the valid opinions in the non-clash part of the profile is always preserved.In other words,any consensual expansion for a logic system over a profile of Lipreserves the pieces of information that are not questioned by any other agent.Moreover,the consensual expansion is the most cautious expansion that one can define because an opinion is added into the merged logic system only when all the other agents do not oppose to it.

    Theorem 1.2Some proofs in this paper are omitted due to space consideration,see[17]for details.Let P=(L1,...,Ln)be a profile of cultural logic systems,andbe the consensual expansion of Liover P.Then ?i ∈{1,...,n},

    3 Cultural Logic Systems Merging

    In this section,we will propose a merging approach on the expanded systems as a way to resolve possible conflicts between them.

    3.1 Hamming distance between cultural logic systems

    Our method of merging a profile of cultural logic systems is a two-step process.Firstly,each cultural logic system Liover the language of Liis expanded such that all the expansions of the logic systems are over the same language L′=Here we assume that the expansion of each agent’s logic system over the profile is the consensual one.Next,the logic systems over L′are selected with the distancebased method as the result of merging.To do this,we will apply the idea behind the well-known Hamming distance ([36,34])to define the Hamming distance between two cultural logic systems as follows:

    Definition 7(Hamming distance between cultural logic systems).Given two cultural logic systems L1and L2over the same language L,their Hamming distance is the number of opinions on which the two logic systems differ,i.e.,

    After defining the distance between two cultural logic systems,we need to justify what we did is proper.That is,we need to prove that our definition of the distance satisfies the basic axioms of a distance measure.Formally,we have:

    Theorem 2.3See the proof in details in[17].Given any cultural logic systems Li,Lj,and Lkover language L where i,j,k ∈{1,...,n},their Hamming distance satisfies:

    1.non-negativity:d(Li,Lj)≥0?

    2.identity of indiscernible:d(Li,Lj)=0iffLi=Lj?

    3.symmetry:d(Li,Lj)=d(Lj,Li)?and

    4.triangular inequality:d(Li,Lk)≤d(Li,Lj)+d(Lj,Lk).

    3.2 Merging method

    Our merging method aims to select cultural logic systems that are as close as possible to the extended systems generated from the original ones of agents in different cultures.We will measure the closeness by the distance between a cultural logic system and a profile of cultural logic systems.Formally,we have:

    Definition 8(Cultural logic systems merging).Given a profile P=(L1, ..., Ln)where each Li=is a cultural logic system,let d be a kind of distance between two cultural logic systems.And suppose thatis the expansion of Liover P.Then the merging of P is defined as:

    where an aggregation function ?is a total function mapping from a finite tuple of non-negative integers to a non-negative integer and satisfies:

    In the literature,aggregation function ?in the above definition can be in many forms([34,40,24,44,20]),but in this work we just use the normal addition operator,on real number set,as the aggregation function,because it is the most intuitive one.

    Generally speaking,given two cultural logic systems L1and L2over the same language of L,since language L is finite,we can suppose the number of the sentences in L is m.Thus,in totalopinions can be generated by language L.4representsindicating the number of ways to select n distinct objects from a set of m objects without considering the order of the objects.Since some opinions may be valid in a logic system but not in others,given any two logics,we can always count the number of the conflicting opinions between them(i.e.,valid in one logic but not in the other).Sometimes we will simply use d(L,P)to indicate the distance from a logic system to a profile P of logic systems,where P=(L1,...,Ln)and d(L,P)=

    3.3 Three special kinds of merging operator

    In the above,we have introduced our merging operator for a profile of logic systems.Normally,we aim to reach a common logic system after merging.However,sometimes with our merging method,the merged logic systems may not be unique.

    Example 1.L0,L1,L2and L3are logic systems over the same language L={s1,s2,s3,s4},i.e.,

    In other words,L0,L1,L2,and L3are all among the logic system list after merging.Therefore,we need to consider additional requirements to constrain further the behaviour of our merging operators,so that we can pick up the merging result that meets our needs.In the following,firstly we consider a merging operator,which is fair for all the cultural logic systems to be merged.

    Definition 9(Impartial merging operator).Given a profile P=(L1,...,Ln)where each Li=is a cultural logic system,let d be a Hamming distance between two cultural logic systems.Suppose thatis the expansion of Liover P,and the resulted logic systems after merging by Definition 8 (i.e.,formula (8))areA merging operator,denoted as △im,for a profile logic systems is an impartial merging operator if it satisfies:

    Intuitively,an impartial merging operator is fair because it selects the result that is not partial to any logic system in the expanded profile.

    The following is an example of using impartial merging operator:

    Example 2(Example 1 continued).Given the logic systems L1and L2as we mentioned in Example 1,and letSince obviously the resulted logic system using impartial merging operator are L0=L,?and L3=(L,{(s1,s2)(s3,s4)}).

    Secondly,we consider other two kinds of important merging operators:

    Definition 10(Cautious merging operator).Given a profile P=(L1,...,Ln)where each Li=is a cultural logic system.The resulted logic systems after merging by Definition 8 (i.e.,formula (4))areA cautious merging operator,denoted as △c,is defined as:

    The cautious merging operator reflects the fact that when the merging result is not unique,the logic system that includes the least valid opinions in it should be selected.On the contrary,the tolerant merging operator is the one with the most valid opinions in it.Formally,we have:

    Definition 11(Tolerant merging operator).Given a profile P=(L1,...,Ln)where each Li=is a cultural logic system.The resulted logic systems after merging by Definition 8(i.e.,formula(4))areA tolerant merging operator,denoted as △t,is given by:

    The following is an example of cautious merging operator and tolerant merging operator.

    Example 3(Example 1 continued).Given the logic systems L1and L2as we mentioned in Example 1,and letSince

    obviously the resulted logic system using the cautious merging operator is L0=(L,?)and the resulted logic system using the tolerant merging operator is L3=(L,{(s1,s2),(s3,s4)}).

    4 Properties

    In this section,we reveal some properties of our merging operator on cultural logic systems.Note in this section,we denote the consensual expansion for each logic system over P=and our merging operator as

    Firstly,the resulted logic systems after merging are all consistent.Formally,we have:

    Theorem 3(Consistency).Given a profile P=(L1,...,Ln),in which each Li=is consistent.

    ProofWe need to prove that if there is an opinion(Σ,A) ∈then(Σ,?A)suppose the number of the expanded logic systems which include(Σ,A)as a valid opinion is k(k ≥).Since the logic systems in the merging are all consistent,suppose the number of the expanded logic systems which include(Σ,?A)as an valid opinion is h,then h <,by Definition 8,we know(Σ,?A)□

    The above property is reasonable because we are always aiming to reach consistent logic systems after merging.

    The following property reflects that if there are no conflicts among the given profile,then the merged profile is simply the union of all the logic systems in the profile.

    Theorem 4(Agreement).5See the proof in details in[17].Given a profile P=(L1,...,Ln)in which each Li=if no disagreements appear in P,i.e.,?i,j ∈{1,...,n},?(Σ,φ) ∈P(Li∩Lj)×(Li∩Lj),(Σ,φ)∈

    Now we turn to the next property,which reflects the intuition that if an opinion is not questioned by any of other agents,it should be collectively accepted.Formally,we have:

    Theorem 5(Strong unanimity).6See the proof in details in[17].Given a profile P=(L1,...,Ln)in which eachbe the non-clash part of the profile.Then

    The following property states that if an opinion is collectively acceptable in the merged result,then it must be valid in at least one of the cultural logic systems in a profile.

    Theorem 6(Groundedness).7See the proof in details in[17].Given a profile P=(L1,...,Ln),for a merging oper-ator △,?(Σ,φ) ∈then there exists at least one i ∈{1,...,n}such that

    The following property means that a merged result should be independent of the merging order because all individual cultures equally important in the merging.

    Theorem 7(Anonymity).8See the proof in details in[17].For any two profiles P=(L1,...,Ln) and P′=over L,which are permutations of each other,L is in the outcome after merging Piffit is also in the outcome after merging P′.

    The following property states that if a cultural logic system is achieved simply by the majority vote on the opinions over the language,then this logic system is the output by using the merging operator we defined.Formally,we have:

    Theorem 8(Majority preservation).Given a profile of logic system P=(L1,...,Ln) over the same language L,in which each Li=,a merging operatoris that we have defined in Definition 8.If a logic system LMajis obtained using the majority rule,9Several alternative definitions are possible for the majority rule in judgment aggregation when abstention is allowed.Here,for any(Σ,A)where Σ,A ∈L,one considers that the majority rule includes(Σ,A)as a valid opinion(resp.invalid opinion)when the number of logic systems which include(Σ,A)as a valid opinion(resp.invalid opinion)is strictly bigger than the number of logic systems that include(Σ,A)as a invalid opinion(resp.valid opinion),and it will do nothing otherwise.then ?L△∈(L1,...,Ln),they share the same language and

    ProofSuppose there is a logic system Lthere exists an opinion(Σ,A)over language L,(Σ,A)∈while(Σ,A)Then we can give another logic system L′based on L simply by adding(Σ,A)in it as a valid opinion.Since(Σ,A)∈the number of expanded logic systems which include(Σ,A)as a valid opinion is strictly bigger than the number of expanded logic systems which include(Σ,A)as an invalid opinion.Suppose there are k logic systems which include(Σ,A)as a valid opinion,it is obvious that k >By Definition 7,we have Thus,according to our merging method defined in Definition 8, LLn).Contradict.Therefore,?L△∈they share the same language and□

    The following theorem states that if a cultural logic system is achieved simply by the majority vote on the opinions over the language,then it is exactly the merging result using our cautious merging operator on the opinions.Formally,we have:

    Theorem 9(Uniqueness).Given a profile of logic systems P=(L1,...,Ln)over the same language L,in which each Li=let LMajbe the merged logic system obtained using the majority rule and let Lcbe the merged result by usting the cautious merging operator(see Definition 10),then LMaj=Lc.

    ProofSince the logic systems in the profile share the same language L,then the language of Lcand LMajare the same,we just need to prove thati.e.,

    5 Discussion on Weighted Merging of Cultural Logic Systems

    In the previous two sections,we study the problem of merging cultural logic systems with the same importance.However,in reality sometimes a certain cultural logic system may have a greater voice in merging.So,a weighted approach is required in this case.Moreover,all the pieces of opinions in a cultural logic system may not have the same importance,so weighted opinions should also be dealt with.Thus,in this section we will take the weight of each cultural logic system and each opinion in one cultural logic systems into consideration.Instead of giving new merging operators,we will revise the definitions of distance and aggregation function to fit in the situation where all sources are not equally important.

    Firstly,we have:

    Definition 12(Weight function).A weight function σ associated with an opinion o(or a cultural logic system L)is a total function that maps each o(or L)to a positive integer.

    This definition of weight function is a measure of the importance of an opinion or a cultural logic system.Clearly,the greater the value is,the more important the opinion is in a cultural logic system(the more importance the cultural logic system is in a profile).This is in accordance with our intuitions.Notice that we assume the weight of an opinion or a cultural logic system is always given,as the valuation in classical proposition logic.When a weight is not given,we assume it is 1.

    Based on the weight function we have defined above,we can introduce the concept of the weighted Hamming distance between two cultural logic systems as follows:

    Definition 13(Weighted Hamming distance).Given two cultural logic systems L1and L2over the same language L,let σ1and σ2be weight functions for the opinions inThe weighted Hamming distance of L1and L2induced by σj(j ∈{1,2})is given by:

    The following theorem means that our definition above is proper.

    Theorem 10.The weighted Hamming distance holds the properties of non-negativity,identify of indiscernible,symmetry and triangular inequality we have mentioned in Theorem 2.

    ProofLet Li=We check these properties one by one.

    (i)Non-negativity:By Definition 13 and formula(13),d(Li,Lj)≥0 is obvious.

    (ii)Identity of indiscernible:The proof is similar to that given in the proof of Theorem 2(ii).

    (iii)Symmetry:The proof is similar to that give in the proof of Theorem 2(iii).

    (iv)Triangular inequality:We define the conflict part of two logic systems Liand Ljas the set of opinions on which the two logic systems differ,i.e.,

    We can see that d(Li,Lj)= |Cf(Li,Lj)|.Suppose d(Li,Lj)= l1,d(Lj,Lk)= l2and d(Li,Lk)=l3,by Theorem 2,we have l3≤l1+l2.Actually,?o ∈Cf(Li,Lk),it is always that o ∈Cf(Li,Lj)or o ∈Cf(Lj,Lk).By Definition 13,we have

    Definition 14(Hamming distance between cultural logic systems).Given two cultural logic systems L1and L2over the same language L,their Hamming distance is the number of opinions on which the two logic systems differ,i.e.,

    In the following,we will define the aggregation function that are used when the cultural logic systems do not have the same importance.

    Definition 15(Weighted sum).Given a profile P=(L1,...,Ln),where each Li=and the weighted function of each cultural logic system Liis σi.Let L=be a logic system and dw(L,Li)be the weighted Hamming distance between L and Li(1 ≤i ≤n)then the weighted sum aggregation function induced by σiis a function from 2N+to N+(N+is the positive integer set)defined as:

    In the following we give an example:

    Example 4.Suppose American Amy(A),Russian Blair(B),and Chinese Chris(C)have a brief conversation about the cultural phenomena of their own countries.In Amy’s opinion,the sentence of “Where are you going?” (s1)is an invasion upon privacy(s2),and she thinks“Dragon(s3)symbolises evil(s4)”?while for Chris,she does not think the question has any thing to do with the privacy issue,and thinks that dragon could not symbolise evil.At last,Blair agrees with Amy on the privacy issue but agree with Chris on the dragon.In addition,they have different importance degrees.Amy is the most important one.In particular,the weight of her cultural logic system is σ(LA)=3,while σ(LB)= σ(LC)=1.In addition,Amy thinks that the opinion of “Dragon(s3)symbolised evil (s4)” is much more reliable than other opinions.Specifically,the weight of this opinion is σ(s3,s4)=3 while Blair and Chris take all their opinions with the same reliability.

    We first expand their logic systems to the same language L′with the consensual expansion,then based on language L′={s1,s2,s3,s4},there are in total 260different logic systems by taking different numbers of opinions as valid opinions.

    Table 1:Weight Hamming Distances with WS

    We summarise the calculations in Table 1.For each possible logic system generated over languages L′= {s1,s2,s3,s4},we give the distance between this logic system and the expanded logic systems for Amy,Blair,and Chris using our weighted Hamming distance measure in Definition 12 and the weighted sum of them.By using our weighted sum aggregation function,we can obtain the total distance from one logic system to the profile.10In Table 1,for example,the weighted Hamming distance between L1 and is 8,and the weighted sum of weighted Hamming distance is 3×8+5+5=34.Putting all the information together,we find that the result of merging the weighted cultural logic systems of Amy,Blair,and Chris is:

    6 Related Work

    In this section,we will compare our study with some existing ones which concerns how to fuse logic based information.

    6.1 Propositional belief merging

    Propositional belief merging has received much attention for the past two decades.A number of belief merging operators have been defined and investigated so far from a logical standpoint,and an important subset of propositional merging operators consists of the distance-based operators.([21,34,35])For such operators,the models of the merged base are precisely the models of the integrity constraint which are at a minimal distance of the input profile.Also a lot of studies extend the framework of logic-based merging introduced above in different ways.([28,19,11,8])For example,Konieczny,Lagniez,and Marquis([19])focus on the computational aspects of propositional belief merging.They present encoding schemes for distance-based belief merging operators relying on the (possibly weighted)drastic distance or the Hamming distance between interpretations,and using sum,GMax(leximax)or GMin(leximin)as aggregation function.

    There are several similarities between the above studies and the merging of our cultural logic system.Nevertheless,there are three significant differences between theirs and ours.Firstly,the merging of belief systems is supposed to be under the same cultural background,while our work considers the merging of cultural logic systems in different cultures.As a result,the cultural logic system that we defined in this paper emphasises the plurality of logic system,while the merging theories above do not put it into consideration.Secondly,the representation language of our framework is a binary relation structure other than the propositional logic in belief merging theories,which is more suitable to reflect different opinions on the same thing.Thirdly,we reveal a number of properties(i.e.,consistency,agreement,strong unanimity,groundedness,anonymity,majority preservation,and uniqueness),while in the above work they did not discuss these properties.Hence,our framework of merging cultural logic systems may benefit the research in their topics as well.

    6.2 Merging argumentation systems

    Some researchers investigate how to merge argumentation systems.For example,Coste-Marquis et al.([7])present a general framework for merging argumentation systems from Dung’s theory of argumentation ([9]).The merging argumentation systems is under the same cultural background,while our merging of cultural logic systems is concerned with different cultures.Moreover,although the argument framework is also a pair,it is totally different from ours.Actually,its binary relation is an attack relation,while that in our cultural logic system is an implication relation,indicating that a sentence could be reached as a conclusion from a set of premises.

    6.3 Judgment aggregation

    Judgment aggregation is about how to aggregate individual judgments on logically interconnected propositions into a collective decision on the same proposition.([22])So,it is also a merging process of information from different sources.For example,the logic aggregation theory([41])is closely related to our work.More specifically,their logic aggregation is treated as argument-wise,and some possibilities and impossibilities of aggregating logics are studied.Moreover,they prove that certain logical properties can be preserved by some desired aggregation functions,while some of other logical properties cannot be preserved together under nondegenerating aggregation functions,as long as some specific conditions are met.Their work aims to investigate under which conditions aggregation functions satisfy certain logical properties.Nonetheless,the purpose of our work is to investigate how to apply the distance-based merging operator into logic systems with binary relation that well reflects different opinions on the same thing in different cultures.Thus,we propose a particular merging framework in intercultural environments,which satisfies a set of logical properties.

    6.4 Weighted merging

    Some researchers studied the weighted approaches in belief merging and argument system merging(see[35]for a survey).For example,Dubois,Kaci,and Prade([5])present a general approach for fusing prioritised propositional information,in which priorities are represented in the possibilistic logic framework.Nevertheless,what they merged are beliefs which are represented simply as propositions,while the cultural logic systems in our work are two-tuple structures.Accordingly,our weighted merging method is obviously different from theirs.

    Although in their work an argument system is also a two-tuple structure,there are some significant differences between their approach and ours.Firstly,their merging method focused on defining the weight of attack relations of the arguments in an argument system.However,in our merging approach,what we concern is the weight of each cultural logic system and the weight of each valid opinion in certain cultural logic systems,but think that the inference relations between sentences are decided.Secondly,the merged result of their approach is a weighted argument system emphasising the weight of attack relations between the arguments,while the outcome of our method is simply a set of valid opinions.

    6.5 Logic system combination

    Also many studies concern the general definition and combination of logic systems.([33,31,32])For example,[33]gives general definitions of logical frameworks and logics,and then general definitions for equivalence of logics,translation between logics,and combination of logics.They also establish general criteria for the soundness and completeness of these logic systems.Both their work and ours are concerned with logic systems using approaches independent of the specific logical framework.However,our work is quite different from theirs.Firstly,they define logic systems using a formalist approach,while we adopt an abstract one.Roughly speaking,the former explicitly represents the syntax and proof theory,whereas the latter assumes abstract sets of sentences and consequence relations.Secondly,they formulated logic systems systematically as logical theories,while we represent a logic system simply as a binary relation and use the distance-based merging method to get a coherent logic system.Thirdly,their study is irrelevant to culture,while ours focus on cultural opinion merging.

    7 Conclusion

    The resolution of cultural conflicts is a very important issue worldwide.To this end,this paper presents a method for merging cultural logic systems.More specifically,we define each agent’s cultural logic system as a tuple of the language and a binary relation over the language,which reflects well different opinions on the same thing in different cultures.Then merging different systems of this kind is a two-step process.Firstly,all the logic systems are expanded to be based on the same language?and then a distance-based method is used to select a logic system that is the nearest to the expanded one from the given profile of cultural logic systems.In this work,we employ the Hamming distance to measure the distance between any two cultural logical systems,and we define three special merging operators:impartial merging operator,cautious operator,and tolerant merging operator.Moreover,we reveal that our merging operators possess some good properties such as consistency,agreement,disagreement,strong unanimity,groundedness,anonymity,majority preservation,and uniqueness.In addition,we also discuss how to merge cultural logic systems with different degrees of importance and with opinions which are important differently.Our resolution to intercultural conflict can be used as the basis for agents from different cultures to communicate with each other,and benefit governments in making their immigration policies.

    There are several things worthy doing in the future.First,with our merging operator,the merged logic systems may not be unique.If a particular one among them is required,a choice function needs to be designed.Second,besides distance-base merging methods,other merging operators (such as disjunctive operators,conflictbased operators,and default-based operators)may be used to merge cultural logic systems.If so,it is also interesting to examine their differences.Third,as we have seen,given a certain language,because the number of opinions and cultural logic systems that could be generated over the language grow exponentially,the computation complexity of the distance calculation is very higher.Therefore,a new method for cultural logic system merging,which can significantly reduce the computation complexity,is required.Fourth,it is also interesting to integrate our merging method with negotiation methods([18,23])to resolve cultural conflicts.Finally,our work in the paper actually is a method for resolve opinion conflicts.Maybe it is worth integrating our method with opinion mining methods([4,37,43,42]),so that computer systems not only can mine out different opinions from social media but also can merge them to resolve potential conflicts among them.

    2021少妇久久久久久久久久久| 国产综合懂色| 国产成人freesex在线| 美女脱内裤让男人舔精品视频| av国产免费在线观看| 国产国拍精品亚洲av在线观看| 爱豆传媒免费全集在线观看| 日韩欧美 国产精品| 熟女电影av网| 国产熟女欧美一区二区| 久久久久久久久久成人| 亚洲性久久影院| 国产白丝娇喘喷水9色精品| 国产白丝娇喘喷水9色精品| 插逼视频在线观看| 久久久久久久久久黄片| 久久久色成人| 秋霞伦理黄片| 久久精品人妻少妇| 国产精品爽爽va在线观看网站| 成年人午夜在线观看视频 | 亚洲色图av天堂| 国产精品国产三级专区第一集| 亚洲内射少妇av| 免费观看的影片在线观看| 尤物成人国产欧美一区二区三区| 免费观看av网站的网址| 午夜激情久久久久久久| 免费黄色在线免费观看| 91狼人影院| 自拍偷自拍亚洲精品老妇| 久久人人爽人人爽人人片va| 99久久中文字幕三级久久日本| 九九爱精品视频在线观看| 亚洲精品成人av观看孕妇| 免费黄网站久久成人精品| 中文字幕免费在线视频6| 中文字幕亚洲精品专区| 别揉我奶头 嗯啊视频| 国产免费又黄又爽又色| 人妻一区二区av| 高清午夜精品一区二区三区| 久久精品久久久久久噜噜老黄| 日本av手机在线免费观看| 久久精品久久久久久久性| 中国美白少妇内射xxxbb| 日韩精品青青久久久久久| 丰满乱子伦码专区| 青春草国产在线视频| 亚洲精品一二三| 亚洲精品久久久久久婷婷小说| 亚洲最大成人av| 秋霞在线观看毛片| 亚洲欧美日韩东京热| 日本午夜av视频| 嫩草影院新地址| 成人二区视频| 夫妻性生交免费视频一级片| 精品一区二区免费观看| 在现免费观看毛片| 国产精品人妻久久久久久| 亚洲精品亚洲一区二区| 国产黄色小视频在线观看| 男人狂女人下面高潮的视频| 亚洲经典国产精华液单| 精品久久久久久电影网| 午夜精品在线福利| 国产又色又爽无遮挡免| 国产一区二区在线观看日韩| 亚洲国产精品成人综合色| 亚洲精品国产av蜜桃| www.av在线官网国产| 久久久久精品久久久久真实原创| av卡一久久| 直男gayav资源| 国产老妇女一区| 国产精品国产三级国产av玫瑰| 美女cb高潮喷水在线观看| 丝袜喷水一区| 日韩精品青青久久久久久| 国产精品精品国产色婷婷| 国产老妇伦熟女老妇高清| 日本欧美国产在线视频| 久久精品久久久久久噜噜老黄| 国产 亚洲一区二区三区 | 日韩欧美 国产精品| 男女下面进入的视频免费午夜| 午夜激情久久久久久久| 日本av手机在线免费观看| 99久久精品国产国产毛片| 日韩一区二区三区影片| 精品99又大又爽又粗少妇毛片| 亚洲在线自拍视频| 99re6热这里在线精品视频| 欧美日韩一区二区视频在线观看视频在线 | 精品久久久久久久末码| 国产精品国产三级国产专区5o| 亚洲精华国产精华液的使用体验| 又大又黄又爽视频免费| 中文乱码字字幕精品一区二区三区 | 午夜福利高清视频| 青青草视频在线视频观看| 久久久久性生活片| 久久久久久久大尺度免费视频| 精品久久久久久久人妻蜜臀av| 国产精品国产三级专区第一集| 国产黄色小视频在线观看| 国产91av在线免费观看| 精品国产一区二区三区久久久樱花 | 成人美女网站在线观看视频| 纵有疾风起免费观看全集完整版 | 精品亚洲乱码少妇综合久久| 天天躁夜夜躁狠狠久久av| 成人漫画全彩无遮挡| 久久草成人影院| 国产白丝娇喘喷水9色精品| 一级毛片 在线播放| 老司机影院成人| 成人午夜精彩视频在线观看| 日本与韩国留学比较| 久久6这里有精品| 亚洲精品一区蜜桃| 欧美xxⅹ黑人| 日本av手机在线免费观看| 别揉我奶头 嗯啊视频| 亚洲第一区二区三区不卡| 麻豆国产97在线/欧美| 国产麻豆成人av免费视频| 91狼人影院| 看非洲黑人一级黄片| 好男人视频免费观看在线| 国产一区有黄有色的免费视频 | 能在线免费看毛片的网站| 十八禁国产超污无遮挡网站| 国产黄频视频在线观看| 久久久久九九精品影院| 亚洲人成网站在线观看播放| 又大又黄又爽视频免费| 熟女人妻精品中文字幕| 久久久久国产网址| 精品久久久久久久久av| 欧美高清性xxxxhd video| 国产老妇女一区| 久久久国产一区二区| 人妻系列 视频| 免费大片黄手机在线观看| 精品国产三级普通话版| 最近中文字幕高清免费大全6| 最近的中文字幕免费完整| 欧美成人精品欧美一级黄| 久久97久久精品| 日韩亚洲欧美综合| 一级av片app| 国产成人精品一,二区| 三级男女做爰猛烈吃奶摸视频| 国产真实伦视频高清在线观看| 激情 狠狠 欧美| 99久久精品国产国产毛片| 免费黄频网站在线观看国产| 亚洲第一区二区三区不卡| 国产精品国产三级国产av玫瑰| 嫩草影院入口| 乱系列少妇在线播放| 亚洲图色成人| 伊人久久精品亚洲午夜| 亚洲av中文av极速乱| 国产精品一及| 欧美日韩视频高清一区二区三区二| 亚洲国产精品成人久久小说| 黄色欧美视频在线观看| 亚洲av二区三区四区| 在线观看av片永久免费下载| 婷婷色综合大香蕉| 青青草视频在线视频观看| 日韩亚洲欧美综合| 别揉我奶头 嗯啊视频| 日韩,欧美,国产一区二区三区| 国产爱豆传媒在线观看| 草草在线视频免费看| 亚洲欧洲日产国产| 性色avwww在线观看| 水蜜桃什么品种好| 国产亚洲av片在线观看秒播厂 | 肉色欧美久久久久久久蜜桃 | 汤姆久久久久久久影院中文字幕 | 亚洲国产精品国产精品| 亚洲精品日韩在线中文字幕| 欧美xxxx黑人xx丫x性爽| 一级毛片aaaaaa免费看小| 亚洲国产精品sss在线观看| 好男人视频免费观看在线| 国产探花在线观看一区二区| 五月伊人婷婷丁香| 亚洲综合精品二区| 免费av观看视频| 日韩不卡一区二区三区视频在线| 久久精品国产亚洲网站| 国产一级毛片七仙女欲春2| 听说在线观看完整版免费高清| 久久久久久久国产电影| freevideosex欧美| 久久国内精品自在自线图片| 黄色一级大片看看| 狂野欧美激情性xxxx在线观看| 亚洲久久久久久中文字幕| 两个人的视频大全免费| 一个人观看的视频www高清免费观看| 免费观看精品视频网站| 亚洲国产av新网站| 99热全是精品| 身体一侧抽搐| 国产精品久久久久久av不卡| 欧美一级a爱片免费观看看| 成人亚洲欧美一区二区av| 亚洲欧洲国产日韩| 国产中年淑女户外野战色| 欧美不卡视频在线免费观看| 国产视频首页在线观看| 国产高清三级在线| 免费播放大片免费观看视频在线观看| a级毛色黄片| 成人亚洲欧美一区二区av| 久久久精品欧美日韩精品| 别揉我奶头 嗯啊视频| 久久热精品热| 能在线免费看毛片的网站| 日韩在线高清观看一区二区三区| 五月玫瑰六月丁香| 直男gayav资源| 亚洲av中文av极速乱| 大片免费播放器 马上看| 亚洲av中文字字幕乱码综合| 我的女老师完整版在线观看| 亚洲av电影不卡..在线观看| 亚洲成人精品中文字幕电影| 国产美女午夜福利| 免费观看av网站的网址| 欧美成人a在线观看| 美女高潮的动态| 亚洲丝袜综合中文字幕| 国产乱人视频| 国产精品爽爽va在线观看网站| 麻豆精品久久久久久蜜桃| 日韩在线高清观看一区二区三区| 精品一区二区免费观看| 天堂俺去俺来也www色官网 | 18禁在线播放成人免费| 欧美潮喷喷水| 亚洲综合色惰| 中文字幕免费在线视频6| 天天躁夜夜躁狠狠久久av| 午夜福利视频精品| 91狼人影院| 久久人人爽人人爽人人片va| 精品人妻一区二区三区麻豆| 欧美日韩精品成人综合77777| 国产淫片久久久久久久久| 国产精品.久久久| 一级毛片电影观看| 欧美一级a爱片免费观看看| 日韩中字成人| 久久久久性生活片| 91午夜精品亚洲一区二区三区| 一区二区三区免费毛片| 九草在线视频观看| 嫩草影院新地址| av专区在线播放| 我的女老师完整版在线观看| 亚洲美女搞黄在线观看| 黄片无遮挡物在线观看| 秋霞在线观看毛片| 男的添女的下面高潮视频| 久久午夜福利片| 亚洲性久久影院| 久久久国产一区二区| 亚洲国产精品国产精品| 亚洲欧美成人综合另类久久久| 非洲黑人性xxxx精品又粗又长| 精品国产一区二区三区久久久樱花 | 亚洲在久久综合| 国产成人精品婷婷| videos熟女内射| 日本午夜av视频| 最近的中文字幕免费完整| 国产成人精品久久久久久| 69av精品久久久久久| 久久久欧美国产精品| 亚洲精品乱久久久久久| 尤物成人国产欧美一区二区三区| 久久精品夜夜夜夜夜久久蜜豆| a级毛色黄片| 麻豆久久精品国产亚洲av| 天天躁日日操中文字幕| 少妇熟女aⅴ在线视频| 淫秽高清视频在线观看| 亚洲丝袜综合中文字幕| 亚洲av成人av| 久久久a久久爽久久v久久| 精品久久久久久久久亚洲| 在线免费观看不下载黄p国产| 精品熟女少妇av免费看| 亚洲精品国产av成人精品| 亚洲色图av天堂| 国产综合精华液| 国产激情偷乱视频一区二区| 中文精品一卡2卡3卡4更新| 亚洲久久久久久中文字幕| 国产三级在线视频| 麻豆乱淫一区二区| 神马国产精品三级电影在线观看| 最近的中文字幕免费完整| 国产免费一级a男人的天堂| 一本久久精品| 免费观看av网站的网址| 国内精品宾馆在线| av在线蜜桃| 禁无遮挡网站| 寂寞人妻少妇视频99o| 毛片一级片免费看久久久久| 岛国毛片在线播放| 久久韩国三级中文字幕| 99久久九九国产精品国产免费| 久久综合国产亚洲精品| 中文在线观看免费www的网站| 久久久久久九九精品二区国产| 国产成人freesex在线| av国产免费在线观看| 97热精品久久久久久| 一级毛片aaaaaa免费看小| 亚洲激情五月婷婷啪啪| 校园人妻丝袜中文字幕| 伊人久久国产一区二区| 免费观看在线日韩| 淫秽高清视频在线观看| 成年av动漫网址| 人妻夜夜爽99麻豆av| 淫秽高清视频在线观看| 精品久久久久久成人av| 男的添女的下面高潮视频| 一个人免费在线观看电影| 国产综合懂色| 亚洲真实伦在线观看| av国产久精品久网站免费入址| 免费观看精品视频网站| av免费观看日本| 国产老妇伦熟女老妇高清| 日韩,欧美,国产一区二区三区| 国产亚洲91精品色在线| 三级毛片av免费| 亚洲成色77777| 搡老乐熟女国产| 乱码一卡2卡4卡精品| 只有这里有精品99| 成人无遮挡网站| 久久亚洲国产成人精品v| 成人国产麻豆网| 久久午夜福利片| 秋霞伦理黄片| 久久国产乱子免费精品| 欧美成人a在线观看| 干丝袜人妻中文字幕| 中文字幕人妻熟人妻熟丝袜美| 永久免费av网站大全| 乱人视频在线观看| 中文在线观看免费www的网站| 免费高清在线观看视频在线观看| videossex国产| 国产午夜精品一二区理论片| 久久久久久久久大av| 成年免费大片在线观看| 国产精品久久久久久久电影| 欧美性感艳星| 男女那种视频在线观看| 久久久亚洲精品成人影院| 久久99热这里只频精品6学生| 亚洲天堂国产精品一区在线| 日本与韩国留学比较| 99久久精品国产国产毛片| 亚洲性久久影院| 亚洲美女视频黄频| 亚洲精品成人av观看孕妇| 国产av码专区亚洲av| 久久综合国产亚洲精品| 免费观看精品视频网站| 草草在线视频免费看| 青春草国产在线视频| 午夜福利在线观看免费完整高清在| 日本av手机在线免费观看| 可以在线观看毛片的网站| 3wmmmm亚洲av在线观看| 最近2019中文字幕mv第一页| 插逼视频在线观看| 超碰av人人做人人爽久久| 精品一区二区三卡| 亚洲精品日韩av片在线观看| 国产精品一区www在线观看| 国产高清不卡午夜福利| 免费大片18禁| 秋霞伦理黄片| 高清日韩中文字幕在线| 禁无遮挡网站| 午夜免费男女啪啪视频观看| 免费电影在线观看免费观看| 蜜桃亚洲精品一区二区三区| 国产精品一区二区性色av| 毛片一级片免费看久久久久| 国产精品不卡视频一区二区| xxx大片免费视频| 九九爱精品视频在线观看| 亚洲精品日韩在线中文字幕| 高清欧美精品videossex| 欧美+日韩+精品| 中文精品一卡2卡3卡4更新| 欧美成人午夜免费资源| 久久精品人妻少妇| 禁无遮挡网站| 看十八女毛片水多多多| 欧美一区二区亚洲| 大又大粗又爽又黄少妇毛片口| 菩萨蛮人人尽说江南好唐韦庄| 久久精品久久久久久久性| 成人毛片a级毛片在线播放| 性插视频无遮挡在线免费观看| 亚洲无线观看免费| 高清av免费在线| 在线观看人妻少妇| 男女下面进入的视频免费午夜| 久久久久性生活片| 国产女主播在线喷水免费视频网站 | 国产老妇伦熟女老妇高清| 国产精品一区二区在线观看99 | 九九爱精品视频在线观看| 国产一区二区三区av在线| 精品欧美国产一区二区三| 欧美最新免费一区二区三区| 校园人妻丝袜中文字幕| 看黄色毛片网站| 亚洲自偷自拍三级| 伊人久久国产一区二区| 精华霜和精华液先用哪个| 少妇熟女欧美另类| 精品一区二区三区人妻视频| 美女内射精品一级片tv| 伊人久久精品亚洲午夜| 嫩草影院精品99| 可以在线观看毛片的网站| 国产精品国产三级国产av玫瑰| 免费黄网站久久成人精品| 亚洲欧美日韩无卡精品| 国产乱来视频区| 男女啪啪激烈高潮av片| 中文乱码字字幕精品一区二区三区 | 中文精品一卡2卡3卡4更新| 永久网站在线| 嫩草影院新地址| 亚洲av中文字字幕乱码综合| 国产成人免费观看mmmm| 国产v大片淫在线免费观看| ponron亚洲| 一区二区三区免费毛片| 久久久久国产网址| 我要看日韩黄色一级片| 亚洲人成网站高清观看| 男人舔女人下体高潮全视频| 99热6这里只有精品| 成年女人看的毛片在线观看| 美女内射精品一级片tv| 少妇熟女aⅴ在线视频| 久久久久久久午夜电影| 99热这里只有是精品50| 国内揄拍国产精品人妻在线| 最近的中文字幕免费完整| 我的老师免费观看完整版| 国产片特级美女逼逼视频| 国产永久视频网站| 精品一区二区三区视频在线| 可以在线观看毛片的网站| 国产一级毛片七仙女欲春2| 亚洲婷婷狠狠爱综合网| 亚洲无线观看免费| 一级毛片电影观看| 成人亚洲精品av一区二区| 麻豆久久精品国产亚洲av| 毛片女人毛片| 亚洲,欧美,日韩| 美女国产视频在线观看| 精品亚洲乱码少妇综合久久| 日本wwww免费看| 久久精品国产亚洲av天美| 日本午夜av视频| 91精品国产九色| 97人妻精品一区二区三区麻豆| 超碰97精品在线观看| 国产亚洲5aaaaa淫片| 久久人人爽人人片av| 男人舔奶头视频| 亚洲精品第二区| 午夜福利网站1000一区二区三区| 国产亚洲精品久久久com| 精品不卡国产一区二区三区| 97热精品久久久久久| 亚洲成人av在线免费| 成人无遮挡网站| 最近中文字幕2019免费版| 性色avwww在线观看| 熟女电影av网| 国产亚洲av嫩草精品影院| 熟女电影av网| 午夜福利视频1000在线观看| 欧美三级亚洲精品| 国产亚洲av嫩草精品影院| 欧美三级亚洲精品| 午夜精品在线福利| 两个人的视频大全免费| 能在线免费观看的黄片| 久久久亚洲精品成人影院| 一级黄片播放器| 久久99精品国语久久久| 国产中年淑女户外野战色| 日韩人妻高清精品专区| 熟女人妻精品中文字幕| 亚洲精品亚洲一区二区| 99热这里只有是精品在线观看| 日产精品乱码卡一卡2卡三| 韩国高清视频一区二区三区| 少妇人妻一区二区三区视频| 91精品国产九色| 久久精品夜夜夜夜夜久久蜜豆| 内地一区二区视频在线| 色综合亚洲欧美另类图片| 男人狂女人下面高潮的视频| 国产真实伦视频高清在线观看| 久久久久性生活片| 亚洲自拍偷在线| 国产精品久久久久久久久免| av国产免费在线观看| 国产精品蜜桃在线观看| 3wmmmm亚洲av在线观看| 亚洲精品乱码久久久v下载方式| 日韩不卡一区二区三区视频在线| 亚洲美女搞黄在线观看| 美女国产视频在线观看| 日本一本二区三区精品| 午夜激情久久久久久久| 18+在线观看网站| 校园人妻丝袜中文字幕| 国产成人精品福利久久| 国产av国产精品国产| 免费av不卡在线播放| 一区二区三区乱码不卡18| 欧美日韩一区二区视频在线观看视频在线 | 人妻一区二区av| 日本爱情动作片www.在线观看| 久久鲁丝午夜福利片| av卡一久久| 人体艺术视频欧美日本| 日本一二三区视频观看| 国产高潮美女av| 狂野欧美白嫩少妇大欣赏| 国产av在哪里看| 国产精品久久久久久久久免| 国产av在哪里看| 国产单亲对白刺激| 日韩中字成人| 精品人妻一区二区三区麻豆| 亚洲av福利一区| 国产午夜精品一二区理论片| 午夜亚洲福利在线播放| 亚洲av二区三区四区| 国产亚洲av嫩草精品影院| 国内少妇人妻偷人精品xxx网站| 人妻系列 视频| 看非洲黑人一级黄片| 国产大屁股一区二区在线视频| 亚洲av成人av| 国产亚洲精品av在线| 日韩av在线大香蕉| 肉色欧美久久久久久久蜜桃 | 日本黄色片子视频| eeuss影院久久| 天堂影院成人在线观看| 午夜激情久久久久久久| 国产淫语在线视频| 国产精品女同一区二区软件| 欧美激情久久久久久爽电影| 日本一二三区视频观看| 国产永久视频网站| 女人被狂操c到高潮| 亚洲怡红院男人天堂| 国产色婷婷99| 一级二级三级毛片免费看| 免费大片黄手机在线观看| 久久久久九九精品影院| 天天躁夜夜躁狠狠久久av| 干丝袜人妻中文字幕| 亚洲国产av新网站| 中文字幕久久专区| av在线天堂中文字幕| 网址你懂的国产日韩在线| 久久国内精品自在自线图片| 亚洲精品亚洲一区二区| 国产精品蜜桃在线观看| 高清日韩中文字幕在线| 99久久精品一区二区三区| 青青草视频在线视频观看| 亚洲成色77777| 国产精品久久久久久精品电影小说 | 男人和女人高潮做爰伦理| 日产精品乱码卡一卡2卡三| 成人亚洲精品av一区二区| 黑人高潮一二区| 免费看不卡的av| 日韩av在线大香蕉| 精品一区二区三区人妻视频| 成人鲁丝片一二三区免费|