Institutional Repository

Browsing Unisa ETD by Subject "006.3"

Browsing Unisa ETD by Subject "006.3"

Sort by: Order: Results:

  • Rens, Gavin B. (2010-02)
    This dissertation investigates high-level decision making for agents that are both goal and utility driven. We develop a partially observable Markov decision process (POMDP) planner which is an extension of an agent ...
  • Viljoen, Elizabeth (1997-04)
    The inadequacy of the usual possible world semantics of modal languages when the meaning of 'belief' is attached to the modal operator is discussed. Three other approaches are then investigated. In the case of Moore's ...
  • Van der Vyver, Thelma (1997-11)
    In classical propositional logic (CPL) logical reasoning is formalised as logical entailment and can be computed by means of tableau and resolution proof procedures. Unfortunately CPL is not expressive enough and using ...
  • Lall, Manoj (2009-08-25)
    The availability of numerous mobile agent systems with its own strengths and weaknesses poses a problem when deciding on a particular mobile agent system. In this dissertation, factors based on mobility, communication and ...

Search UnisaIR


My Account