7 found
Order:
  1.  1
    Belief, Information Acquisition, and Trust in Multi-Agent Systems—A Modal Logic Formulation.Churn-Jung Liau - 2003 - Artificial Intelligence 149 (1):31-60.
  2. Logical Characterizations of Regular Equivalence in Weighted Social Networks.Tuan-Fang Fan & Churn-Jung Liau - 2014 - Artificial Intelligence 214:66-88.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  52
    Nonmonotonic Reasoning Based on Incomplete Logic.Tuan-Fang Fan, I. -Peng Lin & Churn-Jung Liau - 1997 - Journal of Applied Non-Classical Logics 7 (4):375-395.
    ABSTRACT What characterizes human reasoning is the ability of dealing with incomplete information. Incomplete logic is developed for modeling incomplete knowledge. The most distinctive feature of incomplete logic is its semantics. This is an alternative presentation of partial semantics. In this paper, we will introduce the general notion of incomplete logic, compare it with partial logic, and give the resolution method for it. We will also show how ICL can be applied to nonmonotonic reasoning. We define nonmonotonic derivation as monotonic (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  4.  16
    A Logical Framework for Privacy-Preserving Social Network Publication.Tsan-Sheng Hsu, Churn-Jung Liau & Da-Wei Wang - 2014 - Journal of Applied Logic 12 (2):151-174.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  61
    A Logical Analysis of the Relationship Between Commitment and Obligation.Churn-Jung Liau - 2001 - Journal of Logic, Language and Information 10 (2):237-261.
    In this paper, we analyze the relationship between commitment and obligation from a logical viewpoint. The principle of commitment implying obligation is proven in a specific logic of action preference which is a generalization of Meyer 's dynamic deontic logic. In the proposed formalism, an agent's commitment to goals is considered as a special kind of action which can change one's deontic preference andone's obligation to take some action is based on the preference and the effects of the action. In (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  6.  33
    Belief Fusion and Revision: An Overview Based on Epistemic Logic Semantics.Churn-Jung Liau - 2004 - Journal of Applied Non-Classical Logics 14 (3):247-274.
    In this paper, we formulate some approaches to belief fusion and revision using epistemic logic semantics. Fusion operators considered in this paper are majority merging, arbitration, and general merging. Some modalities corresponding to belief fusion and revision operators are incorporated into epistemic logics. The Kripke semantics of these extended logics are presented. While most existing approaches treat belief fusion and revision operators as meta-level constructs, we directly incorporate these operators into our object logic language. By doing so, we both extend (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Possibilistic Reasoning—a Mini-Survey and Uniform Semantics.Churn-Jung Liau & Bertrand I.-Peng Lin - 1996 - Artificial Intelligence 88 (1-2):163-193.