508 research outputs found
GPS enabled semi-autonomous robot
The primary objective of this research is to integrate GPS and local sensory data to allow a robot to operate semi-autonomously outside of a laboratory environment. The Pioneer 3-AT, a robust platform capable of operating in the outdoors, is utilized in this thesis. The P3-AT has acoustic sensors that can calculate distances to obstacles and encoders that calculate how much each wheel has turned. In a laboratory environment, sensory and encoder information can be used to triangulate position or measure distance and direction traveled from a known starting point. Operating outdoors limits the effectiveness of both systems as the obstacles are not known and wheels can often slip and slide on different surfaces. This necessitates external data to determine the location of the robot. GPS was chosen to provide that data. GPS, acoustic, and encoder data were integrated within MATLAB and provided control signals to the robot. The robot successfully navigated to a user-defined goal.http://archive.org/details/gpsenabledsemiau1094556103Lieutenant, United States NavyApproved for public release; distribution is unlimited
Implementing a Theory of a Legal Domain
We describe a system for constructing, evaluating and visualising arguments based on a theory of a legal domain, developed using the Angelic methodology and the Carneades argumentation system. The visualisation can be used to explain particular cases and to refine and maintain the theory. A full implementation of the well known US Trade Secrets Domain is used to illustrate the process.</jats:p
Analysis of Dialogical Argumentation via Finite State Machines
Dialogical argumentation is an important cognitive activity by which agents
exchange arguments and counterarguments as part of some process such as
discussion, debate, persuasion and negotiation. Whilst numerous formal systems
have been proposed, there is a lack of frameworks for implementing and
evaluating these proposals. First-order executable logic has been proposed as a
general framework for specifying and analysing dialogical argumentation. In
this paper, we investigate how we can implement systems for dialogical
argumentation using propositional executable logic. Our approach is to present
and evaluate an algorithm that generates a finite state machine that reflects a
propositional executable logic specification for a dialogical argumentation
together with an initial state. We also consider how the finite state machines
can be analysed, with the minimax strategy being used as an illustration of the
kinds of empirical analysis that can be undertaken.Comment: 10 page
Metric for Security Activities assisted by Argumentative Logic
International audienceRecent security concerns related to future embedded systems make enforcement of security requirements one of the most critical phases when designing such systems. This paper introduces an approach for efficient enforcement of security requirements based on argumentative logic, especially reasoning about activation or deactivation of different security mechanisms under certain functional and non-functional requirements. In this paper, the argumentative logic is used to reason about the rationale behind dynamic enforcement of security policies
Transmission Properties of the oscillating delta-function potential
We derive an exact expression for the transmission amplitude of a particle
moving through a harmonically driven delta-function potential by using the
method of continued-fractions within the framework of Floquet theory. We prove
that the transmission through this potential as a function of the incident
energy presents at most two real zeros, that its poles occur at energies
(), and that the
poles and zeros in the transmission amplitude come in pairs with the distance
between the zeros and the poles (and their residue) decreasing with increasing
energy of the incident particle. We also show the existence of non-resonant
"bands" in the transmission amplitude as a function of the strength of the
potential and the driving frequency.Comment: 21 pages, 12 figures, 1 tabl
Senses of âargumentâ in instantiated argumentation frameworks
Abstract Argumentation Frameworks (AFs) provide a fruitful basis for exploring issues of defeasible reasoning. Their power largely derives from the abstract nature of the arguments within the framework, where arguments are atomic nodes in an undifferentiated relation of attack. This abstraction conceals different senses of argument, namely a single-step reason to a claim, a series of reasoning steps to a single claim, and reasoning steps for and against a claim. Concrete instantiations encounter difficulties and complexities as a result of conflating these senses. To distinguish them, we provide an approach to instantiating AFs in which the nodes are restricted to literals and rules, encoding the underlying theory directly. Arguments in these senses emerge from this framework as distinctive structures of nodes and paths. As a consequence of the approach, we reduce the effort of computing argumentation extensions, which is in contrast to other approaches. Our framework retains the theoretical and computational benefits of an abstract AF, distinguishes senses of argument, and efficiently computes extensions. Given the mixed intended audience of the paper, the style of presentation is semi-formal
- âŠ