Algorithmic Knowledge

: The standard model of knowledge in multi-agent systems suffers from what has been called the logical omniscience problem: agents know all tautologies, and know all the logical consequences of their knowledge. For many types of analysis, this turns out not to be a problem. Knowledge is viewed as being ascribed by the system designer to the agents; agents are not assumed to compute their knowledge in any way, nor is it assumed that they can necessarily answer questions based on their knowledge. Nevertheless, in many applications that we are interested in, agents need to act on their knowledge. In such applications, an externally ascribed notion of knowledge is insufficient: clearly an agent can base his actions only on what he explicitly knows. Furthermore, an agent that has to act on his knowledge has to be able to compute this knowledge; we do need to take into account the algorithms available to the agent, as well as the "effort" required to compute knowledge. In this paper, we show..

Shockwave treatment of erectile dysfunction

Low-intensity extracorporeal shock wave therapy (LI-ESWT) is a novel modality that has recently been developed for treating erectile dysfunction (ED). Unlike other current treatment options for ED, all of which are palliative in nature, LI-ESWT is unique in that it aims to restore the erectile mechanism in order to enable natural or spontaneous erections. Results from basic science experiments have provided evidence that LI-ESWT induces cellular microtrauma, which in turn stimulates the release of angiogenic factors and the subsequent neovascularization of the treated tissue. Extracorporeal shock wave therapy (ESWT) has been clinically investigated and applied in several medical fields with various degrees of success. High-intensity shock wave therapy is used for lithotripsy because of its focused mechanical destructive nature, and medium-intensity shock waves have been shown to have anti-inflammatory properties and are used for treating a wide array of orthopedic conditions, such as non-union fractures, tendonitis, and bursitis. In contrast, LI-ESWT has angiogenetic properties and is therefore used in the management of chronic wounds, peripheral neuropathy, and in cardiac neovascularization. As a result of these characteristics we initiated a series of experiments evaluating the effect of LI-ESWT on the cavernosal tissue of patients with vasculogenic ED. The results of our studies, which also included a double-blind randomized control trial, confirm that LI-ESWT generates a significant clinical improvement of erectile function and a significant improvement in penile hemodynamics without any adverse effects. Although further extensive research is needed, LI-ESWT may create a new standard of care for men with vasculogenic ED

Knowledge-Based Programs

Reasoning about activities in a distributed computer system at the level of the knowledge of individuals and groups allows us to abstract away from many concrete details of the system we are considering. In this paper, we make use of two notions introduced in our recent book to facilitate designing and reasoning about systems in terms of knowledge. The first notion is that of a knowledge-based program. A knowledge-based program is a syntactic object: a program with tests for knowledge. The second notion is that of a context, which captures the setting in which a program is to be executed. In a given context, a standard program (one without tests for knowledge) is represented by (i.e., corresponds in a precise sense to) a unique system. A knowledge-based program, on the other hand, may be represented by no system, one system, or many systems. In this paper, we provide a sufficient condition for a knowledge-based program to be represented in a unique way in a given context. This condit..

Common knowledge revisited

We consider the common-knowledge paradox raised by Halpern and Moses: common knowledge is necessary for agreement and coordination, but common knowledge is unattainable in the real world because of temporal imprecision. We discuss two solutions to this paradox: (1) modeling the world with a coarser granularity, and (2) relaxing the requirements for coordination