Order:
Disambiguations
Norman Foo [8]N. Foo [2]Norman Y. Foo [1]N. Y. Foo [1]
  1. On the Expressibility of Propositions.Pavlos Peppas, Norman Foo & Mary-Anne Williams - 1992 - Logique Et Analyse 139 (140):251-272.
     
    Export citation  
     
    Bookmark  
  2.  60
    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 (10 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3.  80
    Arló-Costa, H., 479 Armour-Garb, B., 593 Azzouni, J., 329 Batens, D., 267.J. C. Beall, T. Bigaj, T. Fernando, B. Fitelson, N. Foo, W. Goldfarb, D. Gregory, T. Hailperin, H. Halvorson & K. Harris - 2001 - Journal of Philosophical Logic 30 (619).
  4.  12
    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 (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  22
    Distance Semantics for Relevance-Sensitive Belief Revision.Pavlos Peppas, Samir Chopra & Norman Foo - unknown
    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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6.  36
    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  
  7.  25
    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 (7 more)  
     
    Export citation  
     
    Bookmark  
  8.  11
    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  
  9.  18
    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 (7 more)  
     
    Export citation  
     
    Bookmark  
  10. 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  
  11. Record of the Workshop on Logic and Action.N. Foo (ed.) - 1994 - University of Sydney.
     
    Export citation  
     
    Bookmark  
  12. Knowledge Systems Group Basser Department of Computer Science University of Sydney NSW 2006 Australia.S. Sevinc & N. Y. Foo - forthcoming - Ai, Simulation and Planning in High Automony Systems: Proceedings, University of Arizona, Tucson, Arizona, March 26-27, 1990.
    No categories
     
    Export citation  
     
    Bookmark