Granularity is the concept of breaking down an event into smaller parts or granules such that each individual granule plays a part in the higher level event. Humans can seamlessly shift their granularity perspectives while reading or understanding a text. To emulate such a mechanism, we describe a theory for inferring this information automatically from raw input text descriptions and some background knowledge to learn the global behavior of event descriptions from local behavior of components. We also elaborate on the importance of discovering granularity structures for solving NLP problems such as — automated question answering and text summarization.

List of organizers of the Logical Formalizations of Commonsense Reasoning AAAI symposium.

Inferring the sentiment of social media content, for instance blog postings or online product reviews, is both of great interest to businesses and technically challenging to accomplish. This paper presents two computational methods for estimating social media sentiment which address the challenges associated with Web-based analysis. Each method formulates the task as one of text classification, models the data as a bipartite graph of documents and words, and assumes that only limited prior information is available regarding the sentiment orientation of any of the documents or words of interest. The first algorithm is a semi-supervised sentiment classifier which combines knowledge of the sentiment labels for a few documents and words with information present in unlabeled data, which is abundant online. The second algorithm assumes existence of a set of labeled documents in a domain related to the domain of interest, and leverages these data to estimate sentiment in the target domain. We demonstrate the utility of the proposed methods by showing they outperform several standard methods for the task of inferring the sentiment of online reviews of movies, electronics products, and kitchen appliances. Additionally, we illustrate the potential of the methods for multilingual business informatics through a case study involving estimation of Indonesian public opinion regarding the July 2009 Jakarta hotel bombings.

We introduce the logic of positive and negative contingency. Together with modal operators of necessity and impossibility they allow to dispense of negation. We study classes of Kripke models where the number of points is restricted, and show that the modalities reduce in the corresponding logics.

Cooperation in multiagent systems essentially hinges on appropriate communication. This paper shows how to model communication in teamwork within TeamLog, the first multi-modal framework wholly capturing a methodology for working together. Taking off from the dialogue theory of Walton and Krabbe, the paper focuses on deliberation, the main type of dialogue during team planning. We provide a four-stage schema of deliberation dialogue along with semantics of adequate speech acts, filling the gap in logical modeling of communication during planning.

The challenge of using communications infrastructure to stabilize other infrastructures is related to research on the collective communications systems in social animals, robots, and human-non-human interaction. In these systems, voting models can explicate patterns of observed behavior or predict collective outcomes. Developing more theoretical deductive explanatory power can increase our knowledge about the interplay of voters and communication that produces collective inferences. This paper suggests that many analyses of voting patterns have not integrated what is known about the predictive properties of voting processes into their analyses. Taking a more deductive approach enables us to think about the strengths and weaknesses of existing explanations and imagine new types of analysis that have implications for engineering communications systems to stabilize other infrastructures.

Related to the recent issues on the environmental sustainability, the attention and importance of Reusable Medical Equipment (RME) has increased rapidly. As a part of System Redesign Project funded by Veterans Engineering Resource Center (VERC), “Design Evaluation for Reusable Medical Equipment” project has been conducted. This research project aims to develop new RME design assessment and evaluation framework and Design for Reusability (DFR) and Design for Sustainability (DFS) principles. In this paper, we will present a decision support system for RME design evaluation, based on DFR and DFS principles. To illustrate the proposed new framework, GI endoscope is used in this research. In the proposed system, we apply a Rough Set Theory to identify the relationships among design and reprocessing features. Also we use feature selection technique to select the customized features from the design features and reprocessing features to be used for design evaluation.

Just as special purpose computers and mainframes grew into the generalpurpose personal computers we use everyday, special purpose industrialrobots are evolving into more general purpose personal robots. Asrobots become more capable and universal, their applications are lesswell-defined or even unknown at design time. We will have to designrobots for classes of tasks rather than specific applications. Havingguidelines for how to best organize, interface, and implement robotsystems and reason about trade-offs, as we do in computerarchitecture, will become crucial for success. In this paper weintroduce and adapt some useful notions and principles from computerarchitecture to robot systems architecture. We argue that notions suchas locality of reference, balanced architectures, and boundedness (interms of IO, memory, and CPU) can be leveraged in robot systemsdesign, and in particular, in the design of distributed robot systems.

Stackelberg games have been widely used to model patrolling or monitoring problems in security. In a Stackelberg security game, the defender commits to a strategy and the adversary makes its decision with knowledge of the leader's commitment. Algorithms for computing the defender's optimal strategy are used in deployed decision-support tools in use by the Los Angeles International Airport (LAX), the Federal Air Marshals Service, and the Transportation Security Administration (TSA). Those algorithms take into account various resource usage constraints defined by human users. However, those constraints may lead to poor (even infeasible) solutions due to users' insufficient information and bounded rationality. A mixed-initiative approach, in which human users and software assistants (agents) collaborate to make security decisions, is needed. Efficient human-agent interaction process leads to models with higher overall solution quality. This paper preliminarily analyzes the needs and challenges for such a mixed-initiative approach.

One of the challenges in accurately applying metrics for life cycle assessment lies in accounting for both irreducible and inherent uncertainties in how a design will perform under real world conditions. This paper presents a preliminary study that compares two strategies, one simulation-based and one set-based, for propagating uncertainty in a system. These strategies for uncertainty propagation are then aggregated. This work is conducted in the context of an amorphous photovoltaic (PV) panel, using data gathered from the National Solar Radiation Database, as well as realistic data collected from an experimental hardware setup specifically for this study. Results show that the influence of various sources of uncertainty can vary widely, and in particular that solar radiation intensity is a more significant source of uncertainty than the efficiency of a PV panel. This work also shows both set-based and simulation-based approaches have limitations and must be applied thoughtfully to prevent unrealistic results. Finally, it was found that aggregation of the two uncertainty propagation methods provided faster results than either method alone.