Search for dissertations about: "Timotheus Kampik"

Found 2 swedish dissertations containing the words Timotheus Kampik.

  1. 1. Formal models of bounded rationality for autonomous agents

    Author : Timotheus Kampik; Helena Lindgren; Juan Carlos Nieves; Guillermo Simari; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datalogi;

    Abstract : A key challenge when developing intelligent agents is to instill behavior into computing systems that can be considered as intelligent from a social and "common-sense" perspective. Such behavior requires agents to diverge from typical decision-making algorithms that strive to maximize simple, often one-dimensional metrics. READ MORE

  2. 2. Principle-based non-monotonic reasoning - from humans to machines

    Author : Timotheus Kampik; Helena Lindgren; Juan Carlos Nieves; Anthony Hunter; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Non-monotonic reasoning; formal argumentation; Computer Science; datalogi;

    Abstract : A key challenge when developing intelligent agents is to instill behavior into computing systems that can be considered as intelligent from a common-sense perspective. Such behavior requires agents to diverge from typical decision-making algorithms that strive to maximize simple and often one-dimensional metrics. READ MORE