Sökning: "Coarse Reasoning"
Hittade 4 avhandlingar innehållade orden Coarse Reasoning.
1. A Representation Scheme for Description and Reconstruction of Object Configurations Based on Qualitative Relations
Sammanfattning : One reason Qualitative Spatial Reasoning (QSR) is becoming increasingly important to Artificial Intelligence (AI) is the need for a smooth ‘human-like’ communication between autonomous agents and people. The selected, yet general, task motivating the work presented here is the scenario of an object configuration that has to be described by an observer on the ground using only relational object positions. LÄS MER
2. Verifying Information Flow Control Libraries
Sammanfattning : Information Flow Control (IFC) is a principled approach to protecting the confidentiality and integrity of data in software systems. Intuitively, IFC sys- tems associate data with security labels that track and restrict flows of information throughout a program in order to enforce security. LÄS MER
3. Prediction as a Knowledge Representation Problem : A Case Study in Model Design
Sammanfattning : The WITAS project aims to develop technologies to enable an Unmanned Airial Vehicle (UAV) to operate autonomously and intelligently, in applications such as traffic surveillance and remote photogrammetry. Many of the necessary control and reasoning tasks, e.g. LÄS MER
4. Essays on belief formation and pro-sociality
Sammanfattning : This thesis consists of four independent papers. The first two papers use experimental methods to study pro-social behaviors. The other two use theoretical methods to investigate questions about belief formation. The first paper “Communication: Content or Relationship?” investigates the effect on communication on generosity in a dictator game. LÄS MER