1,185 research outputs found
Reasoning about Emotional Agents
In this paper we are concerned with reasoning about agents with emotions. To be more precise: we aim at a logical account of emotional agents. The very topic may already raise some eyebrows. Reasoning / rationality and emotions seem opposites, and reasoning about emotions or a logic of emotional agents seems a contradiction in terms. However, emotions and rationality are known to be more interconnected than one may suspect. There is psychological evidence that having emotions may help one to do reasoning and tasks for which rationality seems to be the only factor [1]. Moreover, work by e.g. Sloman [5] shows that one may think of designing agentbased systems where these agents show some kind of emotions, and, even more importantly, display behaviour dependent on their emotional state. It is exactly in this sense that we aim at looking at emotional agents: artificial systems that are designed in such a manner that emotions play a role. Also in psychology emotions are viewed as a structuring mechanism. Emotions are held to help human beings to choose from a myriad of possible actions in response to what happens in ou
Logic-Based Specification Languages for Intelligent Software Agents
The research field of Agent-Oriented Software Engineering (AOSE) aims to find
abstractions, languages, methodologies and toolkits for modeling, verifying,
validating and prototyping complex applications conceptualized as Multiagent
Systems (MASs). A very lively research sub-field studies how formal methods can
be used for AOSE. This paper presents a detailed survey of six logic-based
executable agent specification languages that have been chosen for their
potential to be integrated in our ARPEGGIO project, an open framework for
specifying and prototyping a MAS. The six languages are ConGoLog, Agent-0, the
IMPACT agent programming language, DyLog, Concurrent METATEM and Ehhf. For each
executable language, the logic foundations are described and an example of use
is shown. A comparison of the six languages and a survey of similar approaches
complete the paper, together with considerations of the advantages of using
logic-based languages in MAS modeling and prototyping.Comment: 67 pages, 1 table, 1 figure. Accepted for publication by the Journal
"Theory and Practice of Logic Programming", volume 4, Maurice Bruynooghe
Editor-in-Chie
BACK TO KATZ: REASONABLE EXPECTATION OF PRIVACY IN THE FACEBOOK AGE
Part I of this Note discusses the evolution of Fourth Amendment jurisprudence in reaction to advancing technology, the Supreme Court and circuit courtsâ disposition in dealing with electronic âbeeperâ tracking (the technology that predated GPS), and the legal doctrine governing the governmentâs use of cellular phones to conduct surveillance of individuals both retroactively and in real-time. Part II examines the developing split among the federal circuits and state courts over whether GPS surveillance of vehicles constitutes a search, as well as the parallel concerns raised in recent published opinions by magistrate judges as to whether government requests for cell-site information from third party service providers require a warrant. Part III of this Note argues for the adoption of a rule that GPS surveillance constitutes a search and seizure and should require a warrant because the privacy expectationâthat the government is not tracking its citizens twenty-four hours per dayâis still one that society considers legitimate. It also argues that increasing public use or consent to third party use of GPS technology does not destroy an individualâs reasonable expectation of privacy in his movements, nor indicate that society no longer views these expectations as reasonable. In fact, increased public awareness of recent technological invasions of privacy may be producing an increased demand for control over information
GPS Tracking Technology: The Case for Revisiting Knotts and Shifting the Supreme Court\u27s Theory of the Public Space Under the Fourth Amendment
The Fourth Amendment to the U.S. Constitution guarantees freedom from government intrusion into individual privacy. More than two hundred years after the time of the Framers, however, the government possesses technologies, like GPS tracking, that allow law enforcement to obtain ever-greater amounts of detail about individuals without ever setting foot inside the homeâthe area where Fourth Amendment protections are highest. Despite the dangers GPS tracking and other technologies present to individual privacy, the U.S. Supreme Court\u27s Fourth Amendment jurisprudence frequently fails to acknowledge any semblance of privacy in the public sphere. This Note argues that rather than defining Fourth Amendment privacy based on purely physical boundaries, a proper analysis would protect those features of society that provide privacy. By recognizing that features other than physical boundaries can generate privacy, this analysis would ensure the Fourth Amendment continues to preserve individual privacy even in the face of sophisticated new technologies
USA v. Harry Katzin
USDC for the Eastern District of Pennsylvani
Research with Collaborative Unmanned Aircraft Systems
We provide an overview of ongoing research which targets development of a principled framework for mixed-initiative interaction with unmanned aircraft systems (UAS). UASs are now becoming technologically mature enough to be integrated into civil society. Principled interaction between UASs and human resources is an essential component in their future uses in complex emergency services or bluelight scenarios. In our current research, we have targeted a triad of fundamental, interdependent conceptual issues: delegation, mixed-
initiative interaction and adjustable autonomy, that is being used as a basis for developing a principled and well-defined framework for interaction. This can be used to clarify, validate and verify different types of interaction between human operators and UAS systems both theoretically and practically in UAS experimentation with our deployed platforms
USA v. Harry Katzin
USDC for the Eastern District of Pennsylvani
- âŠ