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.

We apply artificial intelligence techniques to perform data analysis and activity recognition in smart homes. Sensors embedded in smart home provide primary data for reasoning about observations. The final goal is to provide appropriate assistance for residents to complete their Daily living Activities. Here, we introduce a qualitative approach that considers spatiotemporal specifications of activities in the Activity Recognition Agent to do knowledge representation and reasoning about the observations. We consider different existing uncertainties within sensors observations and Observed Agent’s activities. In the introduced approach, the more details about environment context would cause the less activity recognition process complexity and more precise functionality. To represent the knowledge, we apply the fuzzy logic to represent the world state by the fuzzified received values from sensors. The knowledge would be represented in the fuzzy context frame. To reduce the amount of collected data, meaningful changes in sensors generated values are considered to do Activity Recognition. Applying possibility distributions for event occurrence orders and sequences within different scenarios of activities realization, we are able to generate hypotheses about future possible occur-able events. The possible occur-able events and fuzzy digit parameters of their possible happening moments are represented in matrix format. The hypotheses about possible future observable contexts are generated considering spatial, temporal and other environmental parameters and then they would be ranked. Our final goal is to better explain the observations. If no possible explanation about observation be found, it would be recognized as abnormal behavior. In the case that no expected event be observed, we can reason that maybe event has occurred but not triggered and so next available events in previously learned scenarios would be expected. The system patience for number of possible missed events depends to trade-off between the degrees of resident's forgetfulness and probability of events trigger by applied sensors.

Our research is directed towards agile supply chains enabling enterprises to quickly respond to individual customer demand. From this perspective, agility encompasses three dimensions of adaptivity: space, time, and economy. Supply chain agility can be achieved by exploiting the most fundamental resource of any enterprise: knowledge. Studying supply chains, we regard all their tiers, participants, and potential relationships, as the search space for fulfilling individual customer demand. We study supply chains from a knowledge-based coordination perspective and regard logistics as the guiding conceptualization. The contribution of this research is a logistics knowledge infrastructure. We report about applying parts of this infrastructure to coordination problems in three selected case studies.

Most of the developing countries are re-inventing the wheel in their efforts to launch egovernment initiatives — especially in the areas of healthcare, education, economic development, supply chains for food distribution, and emergency services. A Computer Aided Strategic Planner, part of the UN eNabler Toolset, has been developed to quickly and effectively produce detailed strategic plans for a wide range of egovernment services based on best practices and standards. The generated plan is highly customized for the type of service as well as the country/region by using the latest thinking in AI, ontologies, and patterns. The Planner, available through the UN-GAID initiative, can be and has been used very effectively to educate as well as assist the government officials of developing countries to accelerate progress in crucial areas.

Vast volumes of information from public Web portals are readily accessible from virtually any computer in the world. This can be seen as an enormous repository of information which brings significant business value for companies working in e-commerce activities. However, the main problems encountered when using this information are: (I) the information is published in various, non-machine-processable formats, (II) a lack of services that match and store information from various sources in a homogenous structure, and (III) the accessible datasets are rarely provided with e-commerce concepts in mind. These problems make them difficult to use by e-commerce applications. The main goal of this paper is to propose a methodology and analysis of components required for combining and integrating information into machine-processable dataset from different Web data sources, based on suitable e-commerce ontology. In order to demonstrate proposed methodology, the process of wrapping and matching the data from two public datasets will be discussed as an example.

The research project here described aims to contribute to the issue of sustainability of buildings by improving the architectural design process with the development of a decision support tool for the architect. In particular, the research adopts the improvement of existing designs, namely encouraging energy-efficient redesigns while improving indoor environmental quality as its strategy to promote sustainability. Redesign strategy is considered not only to extend the life cycle of a building but also to contribute to the realization of the overall transition towards an efficient and clean climate. The starting point for this research is the question of how to develop an integral framework which enables the modelling of design knowledge through more energy-efficient dwellings with acceptable indoor comfort in the sustainability context so that it would be possible to deal with qualitative, quantitative, complex and contradictory information at the same time and integrate these into design decision-making processes. This modelling approach is considered to provide a link to developing a tool or a link to be embedded in an existing tool. In the development of such an approach, how Artificial Intelligence (AI) can facilitate an integral understanding of the aspects is raised as a methodological question in terms of information processing and knowledge integration in the form of a design decision support tool. By this way it will be possible to assess the performance of the end result with respect to design choices, beforehand.

In this paper we contribute to bridging the gap between human reasoning as studied in Cognitive Science and commonsense reasoning based on formal logics and formal theories. Stenning and van Lambalgen presented an approach to model human reasoning by means of logic programs. In this paper, we extend a refined version of their approach by abduction and demonstrate that this permits to adequately model various empiric results on the suppression task reported from Cognitive Science.

The cost-effectiveness and accuracy of a multidisciplinary design optimization (MDO) process is highly dependent on designers’ ability to flexibly formulate the optimization problem for specific challenges. Designers need to rapidly modify how object parameters are assigned to groupings of objects in the product model. Our research has developed a Reference-Based Optimization Method (RBOM) to enable this type of flexible problem formulation. However, the responsibility still falls on the designer to manage the problem formulation and MDO process, which can lead to inefficient and costly design decisions. By means of artificial intelligence, in particular knowledge-based systems, these potential barriers to MDO adoption in the Architecture, Engineering, and Construction (AEC) industry could be mitigated, resulting in more efficient design processes and, ultimately, energy-efficient built environments.

A method is introduced to incorporate sustainability considerations in the early design stages, while simultaneously accounting for supply chain factors, such as cost and lead time. Overall, this work is our first step in understanding the trade-offs between sustainability metrics and more traditional supply chain performance metrics (i.e., cost and lead time). Based on our understanding of these trade-offs, we intend to help build computational artificial intelligence tools that can exploit these trade-offs for improved customization in produc