A layered abduction model of perception: Integrating bottom-up and top-down processing in a multi-sense agent

A layered-abduction model of perception is presented which unifies bottom-up and top-down processing in a single logical and information-processing framework. The process of interpreting the input from each sense is broken down into discrete layers of interpretation, where at each layer a best explanation hypothesis is formed of the data presented by the layer or layers below, with the help of information available laterally and from above. The formation of this hypothesis is treated as a problem of abductive inference, similar to diagnosis and theory formation. Thus this model brings a knowledge-based problem-solving approach to the analysis of perception, treating perception as a kind of compiled cognition. The bottom-up passing of information from layer to layer defines channels of information flow, which separate and converge in a specific way for any specific sense modality. Multi-modal perception occurs where channels converge from more than one sense. This model has not yet been implemented, though it is based on systems which have been successful in medical and mechanical diagnosis and medical test interpretation

Applying Formal Methods to Networking: Theory, Techniques and Applications

Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today. The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built from scratch. This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency and pragmatism are favored over formal correctness. Fortunately, recent work in the space of clean slate Internet design---especially, the software defined networking (SDN) paradigm---offers the Internet community another chance to develop the right kind of architecture and abstractions. This has also led to a great resurgence in interest of applying formal methods to specification, verification, and synthesis of networking protocols and applications. In this paper, we present a self-contained tutorial of the formidable amount of work that has been done in formal methods, and present a survey of its applications to networking.Comment: 30 pages, submitted to IEEE Communications Surveys and Tutorial

Fourth Conference on Artificial Intelligence for Space Applications

Proceedings of a conference held in Huntsville, Alabama, on November 15-16, 1988. The Fourth Conference on Artificial Intelligence for Space Applications brings together diverse technical and scientific work in order to help those who employ AI methods in space applications to identify common goals and to address issues of general interest in the AI community. Topics include the following: space applications of expert systems in fault diagnostics, in telemetry monitoring and data collection, in design and systems integration; and in planning and scheduling; knowledge representation, capture, verification, and management; robotics and vision; adaptive learning; and automatic programming

Rating the Suitability of Responsible Gambling Features for Specific Game Types: A Resource for Optimizing Responsible Gambling Strategy

A Delphi based study, rated the perceived effectiveness of 45 responsible gambling (RG) features in relation to 20 distinct gambling type games. Participants were 61 raters from seven countries,including responsible gambling experts (n = 22), treatment providers (n = 19) and recovered problem gamblers (n = 20). The most highly recommended RG features could be divided into three groups 1) Player initiated tools focused on aiding player’s behaviour 2) RG features related to informed-player-choice 3) RG features focused on gaming company actions. Overall, player control over personal limits were favoured more than gaming company controlled limits, although mandatory use of such features was often recommended. The study found that recommended RG features varied considerably between game types, according to their structural characteristics. Also,online games had the possibility to provide many more RG features than traditional (offline games). The findings draw together knowledge about the effectiveness of RG features for specific game types. This should aid objective, cost-effective, evidence based decisions on which RG features toi nclude in an RG strategy, according to a specific portfolio of games. The findings of this study will be available via a web-based tool, known as the Responsible Gambling Knowledge Centre (RGKC)

DRUM-II : efficient model based diagnosis of technical systems

[no abstract

Industry/University Collaboration at the University of Michigan-Dearborn: A Focus on Relevant Technology

https://deepblue.lib.umich.edu/bitstream/2027.42/154105/1/kampfner1997.pd