Institutional Repository

Browsing Theses and Dissertations (School of Computing) by Subject "006.3"

Browsing Theses and Dissertations (School of Computing) by Subject "006.3"

Sort by: Order: Results:

  • A belief-desire-intention architechture with a logic-based planner for agents in stochastic domains 
    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 ...
  • Cooperative control and optimization of robotic agents 
    Ohifemen, Obadan Samuel (2022-06)
    The cooperate behavior that emerges from the interactions among simple multi-agent robots along with the solution possibilities these interactions provide, has formed part of the growing research areas in recent years ...
  • Logics of belief 
    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 ...
  • Proof systems for propositional modal logic 
    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 ...
  • Selection of mobile agent systems based on mobility, communication and security aspects 
    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


Browse

My Account