Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 25 for “"Formal logic"”.
-
A two-phased approach for natural language parsing into formal logic
… to parsing natural language into an arbitrary formal logic. In the first phase, we aim to learn the generic structure of the logical expression associated with a natural language utterance. For example, if the sentence "Approach the target from the west" were to be parsed into the expression …
-
The Development and Evaluation of Text Materials Covering Topics From Formal Logic as Related to The Teaching of High School Mathematics
Made available in DSpace on 2014-12-08T21:23:10Z (GMT). No. of bitstreams: 1 6500826.pdf: 8064019 bytes, checksum: 5ccba71d1d5583e03c867a7b5ab2d86f (MD5) Previous issue date: 1964
-
The development and evaluation of text materials covering topics from formal logic as related to the teaching of high school mathematics
Submitted by Sarah Shreeves (sshreeve@illinois.edu) on 2014-10-27T11:13:23Z No. of bitstreams: 1 Hale_Thesis.pdf: 33631265 bytes, checksum: 518bbc0bc23e0bb9e79cb2aee99beda9 (MD5)
-
Policy capturing and two level specifications of policies for human and software processing
… ways: a Policy Definition Language (PDL), a formal logic-based policy representation language or an informal natural language. Generally, an editor and a policy management tool are used to input these specifications. Because both the PDLs and the formal logic-based policy representation …
-
Dynamic Authorization Support in Large Distributed Systems
… a system can only be trusted after it has been formally proven trustworthy. However, due to the inherent complexity of distributed systems and the limitation of formal methods, trust based on factors other than formal logic verification has to be included in designing and developing security …
-
Justifications for KLM-style defeasible reasoning
The notion of using formal logic for artificial intelligence was first suggested by McCarthy in the 1950s, and this has led to extensive research into a field known as knowledge representation and reasoning, wherein research is conducted into how best to represent knowledge and reason about said …
-
Eventuality-based interval semantics and Free Logic: what if there, like, is no future, man?
… been a source of trouble for philosophers and logicians committed to any variety of indeterminism on which facts about the future are not yet fixed. One possible answer to the problem involves presupposition—namely, that propositions lack truth-value when other propositions that they presuppose …
-
The philosophic soul of reform : Herbert Croly's ideal of progressivism
… movement away from the rigid and abstract formal logic that had characterized nineteenth century thought. This social thought, stressing the limits of the rational and defining itself in opposition to metaphysics, a priori reasoning, and absolute truth, defined the ideology of the …
-
Making discrete decisions based on continuous values
… continuous maps, that facilitates making formal guarantees of accuracy of computed results. We demonstrate that discrete decisions can be made based on continuous values by permitting nondeterminism. This thesis describes variants of the programming language allowing nondeterminism and/or …
-
Realidade e possibilidade na produção de teses em Educação Física: crítica ao lógico e ao histórico nas produções do conhecimento científico nos Programas de Pós-Graduação em Educação no estado da Bahia (2004-2020)
… historically feeds the development of a given logic to produce science, what logical foundations support the production of theses by professors/researchers in Graduate Programs of Education in Bahia (2004-2020) and what are the possibilities of the logic established in scientific production to …
-
Law, Logic, Language and Artificial Intelligence
… of artificial intelligence in law in the formalisation of legislation. Certain aspects of statute law are identified as posing particular problems for representation in logic. The problems are exposed as the result of attempting to represent meta-level notions in the object language. The …
-
Fusing Automatically Extracted Annotations for the Semantic Web
… research communities focusing on databases and formal logic, the choice of an appropriate algorithm is non-trivial because the performance of each algorithm and its optimal configuration parameters depend on the type of data, to which the algorithm is applied. In order to be reusable, the fusion …
-
Enriching deontic logic with typicality
… also the legal rules to be enforced within it. Formal logic has long been used for reasoning tasks in many domains. Deontic logic is a logic which is often used to formalise legal scenarios with its built-in notions of obligation, permission and prohibition. Within the legal domain, it is …
-
Theology and the Narrative Form of the Victorian Realist Novel
… understood narrative perspective and the formal strategies used to communicate a narrator’s knowledge. Although the Victorian realist novel has typically been considered a secular form, I challenge this assumption by showing how narrative features such as selective unreliability, direct …
-
Subverting Reform: The Politics of Gender Quotas in Kenya's County Assemblies
… ambitions. I argue that resistance to formal quota reforms need not be overtly conflictual to be successful. Instead, it flourishes in large part by being embedded in the logic of everyday political practices shaping Kenyan subnational politics, with cumulative effects across the …
-
Deciphering the Arabesque: Genre Mixture and Formal Digression in the Early Romantic Piano Concerto
… of the arabesque to analyze genre mixture and formal digression in the early Romantic piano concerto. Drawing on both John Daverio’s adaptation of the arabesque for nineteenth-century music (1987;1993) and contemporary theories of musical form (Caplin, 1998; Hepokoski and Darcy, 2006; Vande …
-
Hegel's critique of skepticism: concept, judgment, and syllogism
… that his account of the topics of traditional logic in the Science of Logic justifies Pyrrhonism because his account is impervious to Pyrrhonism. The first chapter explicates Hegel’s essay “On the Relationship between Skepticism and Philosophy,” detailing his early concern with the challenge of …
-
Reflective Database Access Control
… of Transaction Datalog syntax and semantics as a formal framework for expressing reflective access control policies. Using a formal logic-based language provides a basis for analyzing policies and enables secure implementations that can guarantee that certain configurations built on these policies …
-
An overview of KLM-style defeasible entailment
The usage of formal logic to solve problems in artificial intelligence has a long history in the field. Information is represented in a formal language, which facilitates algorithmic reasoning about some domain knowledge. Traditionally, the algorithms used for the reasoning services are monotonic, …
-
Advancing declarative programming
… are also made when integrating a (typically logic-based) specification language with a traditional procedural programming language; and finally, applicability is usually limited to specialized algorithmic domains (for which constraint solving is particularly suitable) and programmers …
Page 1 of 2