Papers by Monica Nogueira
What can Robots Do? Towards Theoretical Analysis
… University Research Centers Technical Advances in …, Jan 1, 1997
ABSTRACT Robots have become more and more sophisticated. Every robot has its limits. If we face a... more ABSTRACT Robots have become more and more sophisticated. Every robot has its limits. If we face a task that existing robots cannot solve, then, before we start improving these robots, it is important to check whether it is, in principle, possible to design a robot for this task or not. For that, it is necessary to describe what exactly the robots can, in principle, do. A similar problem - to describe what exactly computers can do - has been solved as early as 1936, by Turing. In this paper, we describe a framework within which we can, hopefully, formalize and answer the question of what exactly robots can do.
Reliable Computing, Jan 1, 1997
Availability, Reliability and Security for Business, …, Jan 1, 2011
Public health surveillance systems routinely process massive volumes of data to identify health a... more Public health surveillance systems routinely process massive volumes of data to identify health adverse events affecting the general population. Surveillance and response to foodborne disease suffers from a number of systemic and other delays that hinder early detection and confirmation of emerging contamination situations. In this paper we develop an answer set programming (ASP) application to assist public health officials in detecting an emerging foodborne disease outbreak by integrating and analyzing in near real-time temporally, spatially and symptomatically diverse data. These data can be extracted from a large number of distinct information systems such as surveillance and laboratory reporting systems from health care providers, real-time complaint hotlines from consumers, and inspection reporting systems from regulatory agencies. We encode geographic ontologies in ASP to infer spatial relationships that may not be evident using traditional statistical tools. These technologies and ontologies have been implemented in a new informatics tool, the North Carolina Foodborne Events Data Integration and Analysis Tool (NCFEDA). The application was built to demonstrate the potential of situational awareness-created through real-time data fusion, analytics, visualization, and real-time communication-to reduce latency of response to foodborne disease outbreaks by North Carolina public health personnel.
The investigations following the attacks of September 11, 2001 showed that our ability to verify ... more The investigations following the attacks of September 11, 2001 showed that our ability to verify a person's identity is crucial to our national security. As pointed out by The 9/11 Commission Report, travel documents are as important as weapons for terrorists . Foreign terrorists must cross our borders-which requires passing an identification screening-in order to carry out an attack in American soil. A valid passport allows a terrorist to obtain other valid documents (e.g. driver's license, credit cards, health insurance card) that are important to performing normal life activities while maintaining a low profile and avoiding detection.
Rule-Based Reasoning, Programming, and …, Jan 1, 2011
Reliable computing, Jan 1, 1998
3rd International NASA …, Jan 1, 2002
In this work we discuss planning performed by the USA-Advisor decision support system for the Spa... more In this work we discuss planning performed by the USA-Advisor decision support system for the Space Shuttle. The USA-Advisor is a medium size, planning application for use by NASA flight controllers. This system contains over a dozen domain dependent and domain independent heuristics. A number of experimental results are presented, illustrating how this knowledge helps improve both the quality of plans as well as overall system performance.
Building knowledge systems in A-Prolog
Abstract This work is written in the context of the logic-based approach to Artificial Intelligen... more Abstract This work is written in the context of the logic-based approach to Artificial Intelligence (AI) proposed by John McCarthy in 1959 [134]. According to this approach an agent should have knowledge of its world and its goals, and the ability to use this ...
A-Prolog as a tool for declarative programming
Abstract: In this paper we give a brief introduction to the declarative knowledge representation ... more Abstract: In this paper we give a brief introduction to the declarative knowledge representation and logic programming language A-Prolog. We demonstrate the methodology of programming in A-Prolog by developing a simple declarative program ...
Answer set based design of knowledge systems
Annals of Mathematics and …, Jan 1, 2006
Practical Aspects of …, Jan 1, 2001
The goal of this paper is to test if a programming methodology based on the declarative language ... more The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog, algorithms for computing answer sets of programs of A-Prolog, and programming systems implementing these algorithms can be successfully applied to the development of medium size knowledge-intensive applications. We report on a successful design and development of such a system controlling some of the functions of the Space Shuttle.
Uploads
Papers by Monica Nogueira