10 found
Order:
Disambiguations
Norman Foo [10]Norman Y. Foo [2]
  1.  96
    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 (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2.  17
    Relevance in belief revision.Pavlos Peppas, Mary-Anne Williams, Samir Chopra & Norman Foo - 2015 - Artificial Intelligence 229 (C):126-138.
  3.  13
    Solving logic program conflict through strong and weak forgettings.Yan Zhang & Norman Y. Foo - 2006 - Artificial Intelligence 170 (8-9):739-778.
  4. On the expressibility of propositions.Pavlos Peppas, Norman Foo & Mary-Anne Williams - 1992 - Logique Et Analyse 139 (140):251-272.
     
    Export citation  
     
    Bookmark   1 citation  
  5.  33
    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 (PDL). 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 (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6. (1 other version)Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.Norman Foo & Dongmo Zhang - 1998 - 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   2 citations  
  7. A Note on Prototypes, Convexity and Fuzzy Sets.Norman Foo & Boon Toh Low - 2008 - Studia Logica 90 (1):125-137.
    The work on prototypes in ontologies pioneered by Rosch [10] and elaborated by Lakoff [8] and Freund [3] is related to vagueness in the sense that the more remote an instance is from a prototype the fewer people agree that it is an example of that prototype. An intuitive example is the prototypical “mother”, and it is observed that more specific instances like ”single mother”, “adoptive mother”, “surrogate mother”, etc., are less and less likely to be classified as “mothers” by (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  46
    Realization for causal nondeterministic input-output systems.Norman Y. Foo & Pavlos Peppas - 2001 - Studia Logica 67 (3):419-437.
    There are two well-developed formalizations of discrete time dynamic systems that evidently share many concerns but suffer from a lack of mutual awareness. One formalization is classical systems and automata theory. The other is the logic of actions in which the situation and event calculi are the strongest representatives. Researchers in artificial intelligence are likely to be familiar with the latter but not the former. This is unfortunate, for systems and automata theory have much to offer by way of insight (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  59
    A trajectory approach to causality.Victor Jauregui, Norman Foo & Maurice Pagnucco - 2001 - Studia Logica 67 (3):385-401.
    In this paper we propose a new approach to address the ramification problem in common-sense reasoning about action and change. We contrast the methods of McCain and Turner, Thielscher and Sandewall and, based on some of the limitations they encounter, we introduce a trajectory-based approach which keeps a history of the states through which a system evolves to characterise its dynamical state. We furnish an underlying state-transition semantics and a logic that admits an expressive, dynamical account of some typical scenarios (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  10.  25
    The Coherence of Theories-Dependencies and Weights.Jason Jingshi Li, Rex Bing Hung Kwok & Norman Foo - unknown
    One way to evaluate and compare rival but potentially incompatible theories that account for the same set of observations is coherence. In this paper we take the quantitative notion of theory coherence as proposed by [Kwok, et.al. 98] and broaden its foundations. The generalisation will give a measure of the efficacy of a sub–theory as against single theory components. This also gives rise to notions of dependencies and couplings to account for how theory components interact with each other. Secondly we (...)
    Direct download  
     
    Export citation  
     
    Bookmark