Intelligenten Agenten werden häufig mit Hilfe mentaler Begriffe wie Wissen, Glauben, Ziel, Obligation usw. spezifiziert. Zur Modellierung des Wissens werden i.d.R. Systeme der modalen epistemischen Logik verwendet. Modallogik ist aber nicht geeignet, ressourcenbeschränkte Agenten zu beschreiben.
Ziel der Arbeit ist, eine Alternative zu implementieren. Der theoretische Ansatz besteht darin, nicht die einfachen epistemischen Aussagen der Form "Agent A weiss, dass p" zu betrachten, sondern die Kosten zu berücksichtigen, die für die Berechnung dieses Wissens benögtigt werden. Als Grundaussagen sollen Aussagen der Form: "Agent a kann innerhalb von n Zeiteinheiten die Aussage p entscheiden" betrachtet werden. Gültige Aussagen dieser Form und deren Beziehungen zueinander können mit Hilfe von Komplexitätsanalysen gewonnen werden.
In dieser Studienarbeit soll dieser Ansatz implementiert werden. Es soll ein System realisiert werden, das ressourcenbeschränkte Inferenz unterstützt. Das System soll u.a. ermöglichen:
In der Arbeit sollen einige Problemklassen untersucht werden, um zu demonstrieren, dass der Ansatz in interessanten Bereichen angewandt werden kann. Einige dieser Bereiche sind: