Thesis (M.S.)--Mississippi State University. Department of Psychology. / Title from title screen. Includes bibliographical references.

Thesis (Ph.D.) - Carleton University, 2007. / Includes bibliographical references (p. 220-226). Also available in electronic format on the Internet.

Akademisk avhandling--Stockholm. Universitet. / Bibliography: p. [106]-109.

Axiom pinpointing has been introduced in description logics (DLs) to help the used understand the reasons why consequences hold by computing minimal subsets of the knowledge base that have the consequence in consideration. Several pinpointing algorithms have been described as extensions of the standard tableau-based reasoning algorithms for deciding consequences from DL knowledge bases. Although these extensions are based on similar ideas, they are all introduced for a particular tableau-based algorithm for a particular DL, using specific traits of them. In the past, we have developed a general approach for extending tableau-based algorithms into pinpointing algorithms. In this paper we explore some issues of termination of general tableaux and their pinpointing extensions. We also define a subclass of tableaux that allows the use of so-called blocking conditions, which stop the execution of the algorithm once a pattern is found, and adapt the pinpointing extensions accordingly, guaranteeing its correctness and termination.

The thesis pioneers a new methodology for the analysis of early modern literature: it embarks on a stylistic appreciation of Paradise Lost using early modern methods of interpretation and comprehension, specifically logic. In doing so it engages in the contest between historicist and stylistic criticism, providing a new methodology by which these two approaches are united to perform historically appropriate stylistic analysis of literary texts. Logic formed the bedrock of all early modern intellectual operations, including the literary, and it was the art used for all forms of analysis and interpretation. Yet in modern studies, logic has suffered from its own interdisciplinary dexterity: it is comparatively seldom studied, and when examined this tends to be in connection within a specific field of interest. As such there is a lack of a comprehensive developmental understanding of this subject in line with its original pragmatic purposes. This thesis addresses this quandary by examining a wide range of texts from the period to produce a syncretic appreciation of this art, similar to that acquired by early modern students. Having extrapolated the principles of early modern logic the second half of the thesis applies these in a practical way to analyse Milton’s style in Paradise Lost, reaching a new appreciation of the poem in accordance with the logical precepts that enabled its original production. The overarching aim of the thesis is to produce an innovative methodology enabling historically appropriate stylistic analysis of early modern texts, uniting the customarily disparate approaches of historicist and stylistic criticism in a literal and pragmatic way to open the possibility for future application of this methodology to other early modern literary texts.

In the last 30 years there has been growing interest in and a greater appreciation of the unique contributions that medieval authors have made to the history of logic. In this thesis, we compare and contrast the modal logics of Robert Kilwardby and John Buridan and explore how their two conceptions of modality relate to and differ from modern notions of modal logic. We develop formal reconstructions of both authors' logics, making use of a number of different formal techniques. In the case of Robert Kilwardby we show that using his distinction between per se and per accidens modalities, he is able to provide a consistent interpretation of the apodictic fragment of Aristotle's modal syllogism and that, by generalising this distinction to hypothetical construction, he can develop an account of connexive logic. In the case of John Buridan we show that his modal logic is a natural extension of the usual Kripke-style possible worlds semantics, and that this modal logic can be shown to be sound and complete relative to a proof-theoretic formalisation of Buridan's treatment of the expository syllogism.

Edge computing requires highly energy efficient microprocessor units with embedded non-volatile memories to process data at IoT sensor nodes. Ferroelectric non-volatile memory devices are fast, low power and high endurance, and could greatly enhance energy-efficiency and allow flexibility for finer grain logic and memory. This paper will describe the basics of ferroelectric devices for both hysteretic (non-volatile memory) and negative capacitance (steep slope switch) devices, and then project how these can be used in low-power logic cell architectures and fine-grain logic-in-memory (LiM) circuits.

An abstract knowledge representation of cognitive robots - as used for reasoning and planning - typically relies on symbols denoting objects of the world and states of affairs. The process of creating and maintaining the correct connection between a symbol denoting an object and its corresponding perceptual image (called percept), both referring to the same physical object, is called symbol anchoring. Most current cognitive systems implement an ad hoc solution which may work for the specific, intended application under certain conditions. Conversely, we suggest a formal and general approach to the symbol anchoring problem, which enhances previous approaches in terms of flexibility, applicability and expressiveness, and which completely automates the process of determining and maintaining all plausible hypotheses of correspondences between object symbols and perceptual images of physical objects. Based on the first-order logical Fluent Calculus, our approach inherits its rich expressiveness with respect to knowledge representation and reasoning. Implementing all required symbol anchoring functionalities, our approach also complies with fundamental concepts of phenomenalism, representationalism and the sense-data theory of philosophy of cognition.