Order:
  1.  9
    Epistemic GDL: A Logic for Representing and Reasoning About Imperfect Information Games.Guifei Jiang, Dongmo Zhang, Laurent Perrussel & Heng Zhang - 2021 - Artificial Intelligence 294:103453.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  66
    Infinitary Belief Revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
    This paper extends the AGM theory of belief revision to accommodate infinitary belief change. We generalize both axiomatization and modeling of the AGM theory. We show that most properties of the AGM belief change operations are preserved by the generalized operations whereas the infinitary belief change operations have their special properties. We prove that the extended axiomatic system for the generalized belief change operators with a Limit Postulate properly specifies infinite belief change. This framework provides a basis for first-order belief (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3.  15
    Representing and Reasoning About Game Strategies.Dongmo Zhang & Michael Thielscher - 2015 - Journal of Philosophical Logic 44 (2):203-236.
    As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language and extends it by a standard modality for linear time along with two dual connectives to express preferences when combining strategies. The semantics of the language is provided by a standard state-transition model. As such, problems that require reasoning about games can be solved by the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  14
    Frame Problem in Dynamic Logic.Dongmo Zhang & Norman Foo - 2005 - Journal of Applied Non-Classical Logics 15 (2):215-239.
    This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault's syntax-based solution, Baker's state-minimization policy, and Gelfond & Lifchitz's Action Language A in the propositional dynamic logic. The formal relationships among these solutions are given. The results of the paper show that dynamic logic, as one of the formalisms for reasoning about dynamic domains, can be used as a formal tool for comparing, analyzing and unifying logics of action.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.Norman Foo & Dongmo Zhang - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. CSLI Publications. pp. 173-191.
    No categories
     
    Export citation  
     
    Bookmark  
  6. Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.Norman Foo & Dongmo Zhang - 2002 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 173-191.
    No categories
     
    Export citation  
     
    Bookmark  
  7. A Logic-Based Axiomatic Model of Bargaining.Dongmo Zhang - 2010 - Artificial Intelligence 174 (16-17):1307-1322.