8 found
Sort by:
Disambiguations:
Norman Foo [7]Norman Y. Foo [1]
  1. Pavlos Peppas, Samir Chopra & Norman Foo, Distance Semantics for Relevance-Sensitive Belief Revision.
    Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider additional constraints on measuring distance between possible worlds, and we prove that, in the presence of the AGM postulates, these constraints characterize precisely Parikh’s axiom (P). These additional constraints essentially generalize a criterion of similarity that predates axiom (P) and was originally introduced in the context of Reasoning about Action. A by-product of our study is the identification of two possible (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Jason Jingshi Li, Rex Bing Hung Kwok & Norman Foo, The Coherence of Theories-Dependencies and Weights.
    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 (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Norman Foo & Boon Toh Low (2008). A Note on Prototypes, Convexity and Fuzzy Sets. 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)  
     
    My bibliography  
     
    Export citation  
  4. Dongmo Zhang & Norman Foo (2005). Frame Problem in Dynamic Logic. Journal of Applied Non-Classical Logics 15 (2):215-239.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Norman Y. Foo & Pavlos Peppas (2001). Realization for Causal Nondeterministic Input-Output Systems. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Victor Jauregui, Norman Foo & Maurice Pagnucco (2001). A Trajectory Approach to Causality. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  7. Dongmo Zhang & Norman Foo (2001). Infinitary Belief Revision. 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 (8 more)  
     
    My bibliography  
     
    Export citation  
  8. Pavlos Peppas, Norman Foo & Mary-Anne Williams (1992). On the Expressibility of Propositions. Logique Et Analyse 139 (140):251-272.
    Direct download  
     
    My bibliography  
     
    Export citation