Evidentialist Foundationalist Argumentation in Multi-Agent Systems

This dissertation focuses on the explicit grounding of reasoning in evidence directly sensed from the physical world. Based on evidence from human problem solving and successes, this is a straightforward basis for reasoning: to solve problems in the physical world, the information required for solving them must also come from the physical world. What is less straightforward is how to structure the path from evidence to conclusions. Many approaches have been applied to evidence-based reasoning, including probabilistic graphical models and Dempster-Shafer theory. However, with some exceptions, these traditional approaches are often employed to establish confidence in a single binary conclusion, like whether or not there is a blizzard, rather than developing complex groups of scalar conclusions, like where a blizzard's center is, what area it covers, how strong it is, and what components it has. To form conclusions of the latter kind, we employ and further develop the approach of Computational Argumentation. Specifically, this dissertation develops a novel approach to evidence-based argumentation called Evidentialist Foundationalist Argumentation (EFA). The method is a formal instantiation of the well-established Argumentation Service Platform with Integrated Components (ASPIC) framework. There are two primary approaches to Computational Argumentation. One approach is structured argumentation where arguments are structured with premises, inference rules, conclusions, and arguments based on the conclusions of other arguments, creating a tree-like structure. The other approach is abstract argumentation where arguments interact at a higher level through an attack relation. ASPIC unifies the two approaches. EFA instantiates ASPIC specifically for the purpose of reasoning about physical evidence in the form of sensor data. By restricting ASPIC specifically to sensor data, special philosophical and computational advantages are gained. Specifically, all premises in the system (evidence) can be treated as firmly grounded axioms and all arguments' conclusions can be numerically calculated directly from their premises. EFA could be used as the basis for well-justified, transparent reasoning in many domains including engineering, law, business, medicine, politics, and education. To test its utility as a basis for Computational Argumentation, we apply EFA to a Multi-Agent System working in the problem domain of Sensor Webs on the specific problem of Decentralized Sensor Fusion. In the Multi-Agent Decentralized Sensor Fusion problem, groups of individual agents are assigned to sensor stations that are distributed across a geographical area, forming a Sensor Web. The goal of the system is to strategically share sensor readings between agents to increase the accuracy of each individual agent's model of the geophysical sensing situation. For example, if there is a severe storm, a goal may be for each agent to have an accurate model of the storm's heading, severity, and focal points of activity. Also, since the agents are controlling a Sensor Web, another goal is to use communication judiciously so as to use power efficiently. To meet these goals, we design a Multi-Agent System called Investigative Argumentation-based Negotiating Agents (IANA). Agents in IANA use EFA as the basis for establishing arguments to model geophysical situations. Upon gathering evidence in the form of sensor readings, the agents form evidence-based arguments using EFA. The agents systematically compare the conclusions of their arguments to other agents. If the agents sufficiently agree on the geophysical situation, they end communication. If they disagree, then they share the evidence for their conclusions, consuming communication resources with the goal of increasing accuracy. They execute this interaction using a Share on Disagreement (SoD) protocol. IANA is evaluated against two other Multi-Agent System approaches on the basis of accuracy and communication costs, using historical real-world weather data. The first approach is all-to-all communication, called the Complete Data Sharing (CDS) approach. In this system, agents share all observations, maximizing accuracy but at a high communication cost. The second approach is based on Kalman Filtering of conclusions and is called the Conclusion Negotiation Only (CNO) approach. In this system, agents do not share any observations, and instead try to infer the geophysical state based only on each other's conclusions. This approach saves communication costs but sacrifices accuracy. The results of these experiments have been statistically analyzed using omega-squared effect sizes produced by ANOVA with p-values < 0.05. The IANA system was found to outperform the CDS system for message cost with high effect sizes. The CDS system outperformed the IANA system for accuracy with only small effect sizes. The IANA system was found to outperform the CNO system for accuracy with mostly high and medium effect sizes. The CNO system outperformed the IANA system for message costs with only small effect sizes. Given these results, the IANA system is preferable for most of the testing scenarios for the problem solved in this dissertation

Absorptive capacity and internationalization of New Zealand high-tech SMEs in the agro-technology sector

This study investigates the relationships between firm's technology, absorptive capacity and the internationalization process in the high-tech SMEs. The research identifies the most influential factors that affect the international activities and expansion decisions of New Zealand high-tech SMEs with core capabilities in agro-technology. Mixed methods, qualitative and quantitative elements in the data collection and analysis, were employed in this research for a reason that a deeper understanding of the research subject and the analysis of complex issues such as the internationalization process and absorptive capacity required methodological variety. The use of qualitative and quantitative methods took place in parallel. Both methods were used to study the same subject but they had specific objective related purposes and they offered the possibility of developing rich empirical data as well as a more comprehensive understanding of the subject under the study. The findings show that it is absorptive capacity that explains internationalization process, not internationalization process that explains absorptive capacity. The practice of internationalizing is as much a reflection of a firm's absorptive capacity as it is its determinant. The research identifies that high-tech SMEs possess technological and non-core absorptive capacity which in a different way influence firms' strategies. The research suggests that firm's technological capabilities and the advantage of specialized knowledge along with their limited non-core absorptive capacity act as constraints to the development of the future international strategy in high-tech SMEs. The study expands the existing literature on internationalization by developing variables for evaluating absorptive capacity in firms. This helped develop an absorptive capacity model which can be used as a valuable tool for self-assessment by firms to facilitate gaining insight towards further growth and development. The research suggested that if firms were able to measure its absorptive capacity this may result in improved business activities and enhanced presence in the world market. The results of this study should encourage firms to identify, capture and articulate knowledge achieved by their ventures. Managers must develop and nurture skills that ensure effective integration of learning as their firms expand, particularly internationally. These findings and absorptive capacity model offered as a tool should encourage managers to explore when, where, and how to best use firm's resources in the business operations. This is particularly important in regards to the research context (high-tech SMEs) where scientists are managers as well

Fuzzy Sets, Fuzzy Logic and Their Applications

The present book contains 20 articles collected from amongst the 53 total submitted manuscripts for the Special Issue “Fuzzy Sets, Fuzzy Loigic and Their Applications” of the MDPI journal Mathematics. The articles, which appear in the book in the series in which they were accepted, published in Volumes 7 (2019) and 8 (2020) of the journal, cover a wide range of topics connected to the theory and applications of fuzzy systems and their extensions and generalizations. This range includes, among others, management of the uncertainty in a fuzzy environment; fuzzy assessment methods of human-machine performance; fuzzy graphs; fuzzy topological and convergence spaces; bipolar fuzzy relations; type-2 fuzzy; and intuitionistic, interval-valued, complex, picture, and Pythagorean fuzzy sets, soft sets and algebras, etc. The applications presented are oriented to finance, fuzzy analytic hierarchy, green supply chain industries, smart health practice, and hotel selection. This wide range of topics makes the book interesting for all those working in the wider area of Fuzzy sets and systems and of fuzzy logic and for those who have the proper mathematical background who wish to become familiar with recent advances in fuzzy mathematics, which has entered to almost all sectors of human life and activity