Institutional Repository

Browsing College of Science, Engineering and Technology by Subject "Circumscription"

Browsing College of Science, Engineering and Technology by Subject "Circumscription"

Sort by: Order: Results:

  • Circumscriptive reasoning 
    Halland, Kenneth John (1994-08)
    We show how the non-monotonic nature of common-sense reasoning can be formalised by circumscription. Various forms of circumscription are discussed. A new form of circumscription, namely naive circumscription, is introduced ...
  • A family tree of circumscriptive logics 
    Halland, KJ; Labuschagne, W.A. (South African Computer Society (SAICSIT), 1995)
    The relationships between the best-known forms of circumscription are elucidated with the aid of an hypothetical ancestor, which we choose to call naive circumscription.
  • On using the situation calculus dynamically rather than temporally 
    Labuschagne, W.A.; Miller, MG (South African Computer Society (SAICSIT), 1994)
    Yet another axiomatisation of the Yale shooting scenario is provided. The point illustrated by the axiomatisation is that, when using the situation calculus to represent knowledge about a dynamic system in which actions ...
  • Quantifier elimination in second order predicate logic 
    Gabbay, D; Ohlbach, HJ (South African Computer Society (SAICSIT), 1992)
    An algorithm is presented which eliminates second-order quantifiers over predicate variables in formulae of type 3Pi , ...,Pn 1/; where 1/J is an arbitrary formula of first-order predicate logic. The resulting formula is ...

Search UnisaIR


Browse

My Account