Se connecter

Bibliographies thématiques / Modal reasoning / Thèses

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Modal reasoning.

Thèses sur le sujet « Modal reasoning »

Auteur : Grafiati

Publié le 2 juin 2025

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleures thèses pour votre recherche sur le sujet « Modal reasoning ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.

1

Papacchini, Fabio. "Minimal model reasoning for modal logic." Thesis, University of Manchester, 2015. https://www.research.manchester.ac.uk/portal/en/theses/minimal-model-reasoning-for-modal-logic(dbfeb158-f719-4640-9cc9-92abd26bd83e).html.

Texte intégral

Résumé :

Model generation and minimal model generation are useful for tasks such as model checking, query answering and for debugging of logical specifications. Due to this variety of applications, several minimality criteria and model generation methods for classical logics have been studied. Minimal model generation for modal logics how ever did not receive the same attention from the research community. This thesis aims to fill this gap by investigating minimality criteria and designing minimal model generation procedures for all the sublogics of the multi-modal logic S5(m) and their extensions with

Styles APA, Harvard, Vancouver, ISO, etc.

2

Ben-Younes, Hedi. "Multi-modal representation learning towards visual reasoning." Electronic Thesis or Diss., Sorbonne université, 2019. http://www.theses.fr/2019SORUS173.

Texte intégral

Résumé :

La quantité d'images présentes sur internet augmente considérablement, et il est nécessaire de développer des techniques permettant le traitement automatique de ces contenus. Alors que les méthodes de reconnaissance visuelle sont de plus en plus évoluées, la communauté scientifique s'intéresse désormais à des systèmes aux capacités de raisonnement plus poussées. Dans cette thèse, nous nous intéressons au Visual Question Answering (VQA), qui consiste en la conception de systèmes capables de répondre à une question portant sur une image. Classiquement, ces architectures sont conçues comme des sy

Styles APA, Harvard, Vancouver, ISO, etc.

3

VASCONCELOS, DAVI ROMERO DE. "FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2007. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10082@1.

Texte intégral

Résumé :

COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR<br>CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO<br>O termo jogo tem sido utilizado como uma metáfora, em várias áreas do conhecimento, para modelar e analisar situações onde agentes(jogadores) interagem em ambientes compartilhados para a realização de seus objetivos sejam eles individuais ou coletivos. Existem diversos modelos propostos para jogos por diferentes áreas do conhecimento, tais como matemática, ciência da computação, ciência política e social, entre outras. Dentre as diversas formas de modelar jogo

Styles APA, Harvard, Vancouver, ISO, etc.

4

Castellini, Claudio. "Automated reasoning in quantified modal and temporal logics." Thesis, University of Edinburgh, 2005. http://hdl.handle.net/1842/753.

Texte intégral

Résumé :

This thesis is about automated reasoning in quantified modal and temporal logics, with an application to formal methods. Quantified modal and temporal logics are extensions of classical first-order logic in which the notion of truth is extended to take into account its necessity or equivalently, in the temporal setting, its persistence through time. Due to their high complexity, these logics are less widely known and studied than their propositional counterparts. Moreover, little so far is known about their mechanisability and usefulness for formal methods. The relevant contributions of this t

Styles APA, Harvard, Vancouver, ISO, etc.

5

KOZHEMIACHENKO, Daniil. "Paraconsistent and fuzzy modal logics for reasoning about uncertainty." Electronic Thesis or Diss., Bourges, INSA Centre Val de Loire, 2023. http://www.theses.fr/2023ISAB0014.

Texte intégral

Résumé :

Ce manuscrit est dédié à l'étude des logiques modales floues qui formalisent le raisonnement (paraconsistant) sur l'incertitude. Ici, l'interprétation d'«information (données) incertain(es)» inclut toute combinaison des trois propriétés suivantes. Premièrement, l'information peur être quantifiée, i.e., la proposition est associée à un degré de vérité plutôt qu'une valeur de vérité. Deuxièmement, l'information peut être incomplète. Troisièmement, l'information peut être contradictoire.Toutes les logiques étudiees se divisent en deux groupes. Les plus «traditionnelles» dont la sémantique est con

Styles APA, Harvard, Vancouver, ISO, etc.

6

Tian, Jia. "Intelligent traditional Chinese medicine diagnosis support using multi modal reasoning." Thesis, University of Nottingham, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.442270.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

De, La Quintana Bruggemann Pablo Javier. "Automated reasoning for modal logics : a natural deduction based approach." Thesis, Imperial College London, 1989. http://hdl.handle.net/10044/1/47408.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Kramdi, Seifeddine. "A modal approach to model computational trust." Thesis, Toulouse 3, 2015. http://www.theses.fr/2015TOU30146/document.

Texte intégral

Résumé :

Le concept de confiance est un concept sociocognitif qui adresse la question de l'interaction dans les systèmes concurrents. Quand la complexité d'un système informatique prohibe l'utilisation de solutions traditionnelles de sécurité informatique en amont du processus de développement (solutions dites de type dur), la confiance est un concept candidat, pour le développement de systèmes d'aide à l'interaction. Dans cette thèse, notre but majeur est de présenter une vue d'ensemble de la discipline de la modélisation de la confiance dans les systèmes informatiques, et de proposer quelques modèles

Styles APA, Harvard, Vancouver, ISO, etc.

9

Ahmed, Mobyen Uddin. "A case-based multi-modal clinical system for stress management." Licentiate thesis, Mälardalen University, School of Innovation, Design and Engineering, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-8910.

Texte intégral

Résumé :

<p>A difficult issue in stress management is to use biomedical sensor signal in the diagnosis and treatment of stress. Clinicians often make their diagnosis and decision based on manual inspection of physiological signals such as, ECG, heart rate, finger temperature etc. However, the complexity associated with manual analysis and interpretation of the signals makes it difficult even for experienced clinicians. Today the diagnosis and decision is largely dependent on how experienced the clinician is interpreting the measurements. A computer-aided decision support system for diagnosis and treat

Styles APA, Harvard, Vancouver, ISO, etc.

10

Reker, Hilverd Geert. "Tableau-based reasoning for decidable fragments of first-order logic." Thesis, University of Manchester, 2012. https://www.research.manchester.ac.uk/portal/en/theses/tableaubased-reasoning-for-decidable-fragments-of-firstorder-logic(f47e0c7d-399d-48c9-8745-a907c5475f7d).html.

Texte intégral

Résumé :

Automated deduction procedures for modal logics, and related decidable fragments of first-order logic, are used in many real-world applications. A popular way of obtaining decision procedures for these logics is to base them on semantic tableau calculi. We focus on calculi that use unification, instead of the more widely employed approach of generating ground instantiations over the course of a derivation. The most common type of tableaux with unification are so-called free-variable tableaux, where variables are treated as global to the entire tableau. A long-standing open problem for procedur

Styles APA, Harvard, Vancouver, ISO, etc.

11

Kurup, Unmesh. "Design and use of a bimodal cognitive architecture for diagrammatic reasoning and cognitive modeling." Columbus, Ohio : Ohio State University, 2008. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1198526352.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

12

Troquard, Nicolas. "Independent agents in branching time : towards a unified framework for reasoning about multiagent systems." Toulouse 3, 2007. http://www.theses.fr/2007TOU30119.

Texte intégral

Résumé :

Le travail présenté dans cette thèse est une étude multidisciplinaire de le notion de réalisation (`agency'). Nous construisons de nouvelles approches formelles à partir de la littérature de la réalisation en philosophie de l'action, théorie des jeux ou informatique. Nous cherchons particulièrement à confronter les différentes logiques issues de traditions diverses, et à transférer entre elles leurs résultats et méthodes respectifs. La théorie du STIT de Belnap et Perloff est notre cadre d'expérimentation<br>The work presented in this thesis is a multidisciplinary study of the notion of agency

Styles APA, Harvard, Vancouver, ISO, etc.

13

Bienvenu, Meghyn. "La génération de conséquences en logique modale." Toulouse 3, 2009. http://thesesups.ups-tlse.fr/923/.

Texte intégral

Résumé :

La notion clé de la génération de conséquences est celle de l'impliqué premier, qui désigne une clause qui est impliquée par une formule et telle qu'il n'existe pas de clause logiquement plus forte impliquée par la formule. La notion d'impliqué premier s'est montrée très utile en intelligence artificielle, notamment pour la compilation de connaissances et le raisonnement abductif. Dans cette thèse nous étudions comment cette notion, jusqu'à présent étudiée en logique propositionnelle, peut être étendue à la logique modale Kn. Nous commençons par comparer plusieurs definitions plausibles d'impl

Styles APA, Harvard, Vancouver, ISO, etc.

14

Olivieri, Francesco. "Compliance by Design: Synthesis of Business Processes by Declarative Specifications." Thesis, Griffith University, 2015. http://hdl.handle.net/10072/367344.

Texte intégral

Résumé :

Business Process Compliance are three words which scholars use to describe what happens, or should happen, when two very di erent worlds collide. The first world is meant to represent enterprises and how they do what they do or, more simply, which procedures and processes they adopt to o er improved products to their customers. Scholars of the field refer to the Business Process Management as a “process optimisation process” and they study approaches, methodologies, and formal languages to describe and improve what they esteem as the heart of every organisation, the business process. A busi

Styles APA, Harvard, Vancouver, ISO, etc.

15

Jung, Jean Christoph [Verfasser], Carsten [Akademischer Betreuer] Lutz, and Diego [Akademischer Betreuer] Calvanese. "Reasoning in Many Dimensions : Uncertainty and Products of Modal Logics [[Elektronische Ressource]] / Jean Christoph Jung. Gutachter: Carsten Lutz ; Diego Calvanese. Betreuer: Carsten Lutz." Bremen : Staats- und Universitätsbibliothek Bremen, 2014. http://d-nb.info/107222626X/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

Gennari, Rosella. "Mapping Inferences: Constraint Propagation and Diamond Satisfaction." Diss., Universiteit van Amsterdam, 2002. http://hdl.handle.net/10919/71553.

Texte intégral

Résumé :

The main theme shared by the two main parts of this thesis is EFFICIENT AUTOMATED REASONING.Part I is focussed on a general theory underpinning a number of efficient approximate algorithms for Constraint Satisfaction Problems (CSPs),the constraint propagation algorithms.In Chapter 3, we propose a Structured Generic Algorithm schema (SGI) for these algorithms. This iterates functions according to a certain strategy, i.e. by searching for a common fixpoint of the functions. A simple theory for SGI is developed by studying properties of functions and of the ways these influence the basic strategy

Styles APA, Harvard, Vancouver, ISO, etc.

17

Morales, Nicolás Antonio. "Razonamiento espacial cualitativo con relaciones cardinales basado en problemas de satisfacción de restricciones y lógicas modales." Doctoral thesis, Universidad de Murcia, 2010. http://hdl.handle.net/10803/10933.

Texte intégral

Résumé :

El objetivo de esta tesis es proponer mejoras en modelos existentes de razonamiento espacial cualitativo con relaciones cardinales, y proponer nuevos modelos y técnicas de razonamiento utilizando algunos resultados previos del razonamiento temporal cualitativo. Los modelos propuestos se basan en dos formalismos muy utilizados para razonamiento cualitativo: los Problemas de Satisfacción de Restricciones y las Lógicas Modales.<br>The main goal of this PhD Thesis is to propose improvements to existing models for qualitative spatial reasoning with cardinal direction relations, and to propose new m

Styles APA, Harvard, Vancouver, ISO, etc.

18

Leturc, Christopher. "Raisonner sur la manipulation dans les systèmes multi-agents : une approche fondée sur les logiques modales." Thesis, Normandie, 2019. http://www.theses.fr/2019NORMC236.

Texte intégral

Résumé :

Ces dernières décennies, le développement informatique est passé de la conception de logiciels individuels, à la conception de logiciels intelligents, autonomes, appelés agents et interagissant avec d'autres en formant des systèmes multi-agents. Dans de tels systèmes, il arrive que des agents malintentionnés mettent en œuvre des stratégies complexes pour inciter d'autres agents à prendre des décisions en leur faveur et ce, sans que ces derniers ne s'en aperçoivent. Nous parlons alors de stratégies de manipulation. Ces stratégies peuvent dans certains cas causer des problèmes aux agents qui en

Styles APA, Harvard, Vancouver, ISO, etc.

19

Toole, Briana Marie. "Reasoning and moral judgments." Tallahassee, Fla. : Florida State University, 2010. http://purl.fcla.edu/fsu/lib/digcoll/undergraduate/honors-theses/2181927.

Texte intégral

Résumé :

Thesis (Honors paper)--Florida State University, 2010.<br>Advisor: Dr. David McNaughton, Florida State University, College of Arts and Sciences, Dept. of Philosophy. Includes bibliographical references.

Styles APA, Harvard, Vancouver, ISO, etc.

20

Lariguet, Guillermo. "Intuitionism and Moral Reasoning." Pontificia Universidad Católica del Perú, 2017. http://repositorio.pucp.edu.pe/index/handle/123456789/115831.

Texte intégral

Résumé :

My goal for this paper can be presented as follows: I will attempt to show that objections to intuitionism, although they are serious, do not undermine entirely its fertility for knowledge and moral reasoning. This is probably the perception of contemporary philosophers like David Enoch, Robert Audi, Russ Shafer-Landau or John McDowell. In order to fulfill the objective mentioned above, I will do the following. First, I will outline broadly two of the paradigmatic features of moral intuitionism in order to identify it as a particular metaethics doctrine. Secondly, I will summarize some of the

Styles APA, Harvard, Vancouver, ISO, etc.

21

Legastelois, Bénédicte. "Extension pondérée des logiques modales dans le cadre des croyances graduelles." Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066516/document.

Texte intégral

Résumé :

Dans le domaine de la modélisation du raisonnement, plusieurs approches se basent sur les logiques modales qui permettent de formaliser le raisonnement sur des éléments non factuels, comme la croyance, le savoir ou encore la nécessité. Une extension pondérées de ces logiques modales permet de moduler les éléments non factuels qu'elle décrit. En particulier, nous nous intéressons à l'extension pondérée des logiques modales qui permet de formaliser des croyances graduelles : nous traitons des aspects sémantiques et axiomatiques ainsi que des aspects syntaxiques liés à la manipulations de telles

Styles APA, Harvard, Vancouver, ISO, etc.

22

Lusenga, Richard Mishack. "School leaders' moral understanding and moral reasoning." Diss., University of Pretoria, 2010. http://hdl.handle.net/2263/25322.

Texte intégral

Résumé :

School leaders are faced with serious moral challenges on a daily basis at schools, which often result in them making poor moral choices. In a situation of moral decay in schools, reports in the news media create the impression that school leaders often fail to demonstrate the necessary values advocated by the Moral Regeneration Movement and the Manifesto of Values, Education and Democracy. The purpose of this qualitative study was to explore school leaders’ understanding and reasoning regarding values and morality. For the purposes of the study a number of possible lenses, such as cultural re

Styles APA, Harvard, Vancouver, ISO, etc.

23

Haskuka, Mytaher. "War trauma and moral reasoning /." Prizren : [Selbstverl.], 2009. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=018934167&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

Cross, Natalie. "Moral reasoning in Aspergers syndrome." Thesis, University of East Anglia, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.569903.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

25

Lee, Kwok-chuen, and 李國川. "Juveniles and their moral reasoning." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2001. http://hub.hku.hk/bib/B31979233.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

Lee, Kwok-chuen. "Juveniles and their moral reasoning." Hong Kong : University of Hong Kong, 2001. http://sunzi.lib.hku.hk:8888/cgi-bin/hkuto%5Ftoc%5Fpdf?B23424710.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

Cain, Spannagel Sarah A. "THE RELATIONSHIP BETWEEN INTERPERSONAL THEMES IN PLAY AND PROSOCIAL MORAL REASONING." Case Western Reserve University School of Graduate Studies / OhioLINK, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=case1195142625.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

Ljungström, Andreas. "Moral Intuition Versus Moral Reasoning In the Brain." Thesis, Högskolan i Skövde, Institutionen för biovetenskap, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-9574.

Texte intégral

Résumé :

Humans express complex moral behaviour, from altruism to antisocial acts. The investigationof the neural and cognitive mechanisms underlying our moral minds is of profoundimportance for understanding these behaviours. By reviewing recent findings in cognitive andmoral neuroscience, along with other relevant areas of research, the current study aims to: (1)Investigate the neural correlates of moral intuition and moral reasoning, and see how thesetwo systems relate to moral judgement and moral behaviour. (2) Examine how the moralintuitive system and the moral reasoning system relate to one anoth

Styles APA, Harvard, Vancouver, ISO, etc.

29

Määttä, Jessica. "Moral Cognition and Emotion: A Dual-Process Model of Moral Judgment." Thesis, Högskolan i Skövde, Institutionen för kommunikation och information, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-5138.

Texte intégral

Résumé :

Cognitive and emotional processes both seem to contribute in the production of moral judgments, but how they interact is still under investigation. Greene’s dual-process model suggests that these processes constitute dissociable systems in the brain, which are hypothesized to give rise to two qualitatively different ways of moral thinking characterized by two normative moral theories, consequentialism and deontology. Greene indicates that this research undermine deontology as a normative theory. The empirical investigation of moral judgments implies that the dual-process model only seems to ac

Styles APA, Harvard, Vancouver, ISO, etc.

30

Tarry, Hammond. "Delinquency, moral reasoning and social control." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393994.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

Lenfesty, H. L. "Adults' implicit reasoning about 'moral contagion'." Thesis, Queen's University Belfast, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.557661.

Texte intégral

Résumé :

Throughout history, people have held beliefs about the blessings or curses that may result from coming into contact with certain objects or people, and many of these beliefs have a moral component to them. From a cognitive psychological point of view, cultural beliefs about "moral contagion" share common ground in universal human cognitive processes such as neurological threat-processing systems. These systems engage evolutionarily older areas of the brain which function in part to avert us from disgusting biological entities which may carry disease. It is not clear, however, if and how evolut

Styles APA, Harvard, Vancouver, ISO, etc.

32

Slough, Wayne Marshall. "The Cognitive Moral Reasoning of Salespeople." VCU Scholars Compass, 2008. http://scholarscompass.vcu.edu/etd/3995.

Texte intégral

Résumé :

This study revealed whether training programs designed to improve the moral reasoning of business-to-business salespeople in large company settings have an effect. It also revealed whether there were differences in the moral reasoning of two categories of those salespeople: marketers of products (tangible; produced, then sold) and services (intangible, perishable; can be produced, sold, and consumed simultaneously). Finally, it assessed salespeople's perceptions of company-provided ethics training programs. Representing 21 different Fortune-1000 companies scattered across the Mid-Atlantic, Nor

Styles APA, Harvard, Vancouver, ISO, etc.

33

Lit, Keith. "Moral Reasoning and Moral Emotions Linking Hoarding and Scrupulosity." NSUWorks, 2017. http://nsuworks.nova.edu/cps_stuetd/111.

Texte intégral

Résumé :

Hoarding and scrupulous OCD are part of the Obsessive-Compulsive and Related Disorders, which are characterized by obsessional preoccupation and ritualistic behavior. Prior research has found a statistical relationship between hoarding and scrupulosity after controlling for these common factors, suggesting the existence of other features shared by these two disorders. Clinical accounts and empirical research of hoarding and scrupulosity suggest three such shared factors: a tendency to experience intense guilt and shame, rigid moralistic thinking, and general cognitive rigidity. However, result

Styles APA, Harvard, Vancouver, ISO, etc.

34

Björklund, Fredrik. "Moral cognition : individual differences, intuition and reasoning in moral judgement /." Lund, 2000. http://www.lub.lu.se/luft/diss/soc231_transit.html.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

Salwén, Håkan. "Hume's law : an essay on moral reasoning." Doctoral thesis, Stockholms universitet, Filosofiska institutionen, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-81500.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

Long, Derek. "A formal model for reasoning by analogy." Thesis, University of Oxford, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.238147.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

Aleixo, Paulo Alexandre. "Personality and moral reasoning in young offenders." Thesis, University of Leicester, 1992. http://hdl.handle.net/2381/34652.

Texte intégral

Résumé :

The studies presented in this thesis, examined the differences in personality, moral reasoning maturity, intellectual capacity, and family background variables in convicted male young offenders and controls. In addition, the relationship between these variables and self-reported offending behaviour was investigated. The main aim of the investigations was to test predictions from the theories of criminality proposed by H. J. Eysenck (1964; 1970; 1977) and Kohlberg (1969) which associate offending behaviour with lower moral reasoning maturity and the personality characteristics of high psychotic

Styles APA, Harvard, Vancouver, ISO, etc.

38

Nikolic, M. "Representation and reasoning : a causal model approach." Thesis, University College London (University of London), 2014. http://discovery.ucl.ac.uk/1420696/.

Texte intégral

Résumé :

How do we represent our world and how do we use these representations to reason about it? The three studies reported in this thesis explored different aspects of the answer to this question. Even though these investigations offered diverse angles, they all originated from the same psychological theory of representation and reasoning. This is the idea that people represent the world and reason about it by constructing dynamic qualitative causal networks. The first study investigated how mock jurors represent criminal evidence and reason with such representations. The second study examined how p

Styles APA, Harvard, Vancouver, ISO, etc.

39

Pease, Alison. "A computational model of Lakatos-style reasoning." Thesis, University of Edinburgh, 2007. http://hdl.handle.net/1842/2113.

Texte intégral

Résumé :

Lakatos outlined a theory of mathematical discovery and justification, which suggests ways in which concepts, conjectures and proofs gradually evolve via interaction between mathematicians. Different mathematicians may have different interpretations of a conjecture, examples or counterexamples of it, and beliefs regarding its value or theoremhood. Through discussion, concepts are refined and conjectures and proofs modified. We hypothesise that: (i) it is possible to computationally represent Lakatos's theory, and (ii) it is useful to do so. In order to test our hypotheses we have developed a c

Styles APA, Harvard, Vancouver, ISO, etc.

40

Evans, Susan Dorothy. "The psychology of moral versus factual reasoning." Diss., The University of Arizona, 1990. http://hdl.handle.net/10150/185012.

Texte intégral

Résumé :

The theoretical framework for this research contrasting moral and factual reasoning was derived from moral philosophy, research in the Kohlbergian tradition, social psychological research on attitude change, and research in judgment and decision making on biases in reasoning. Based on this work, moral reasoning is characterized as rule-based (top-down) and hence less sensitive to amount of evidence (number of arguments) favoring a given position, compared to factual reasoning which was expected to depend on amount of evidence. Argument processing in moral reasoning was also predicted to be mor

Styles APA, Harvard, Vancouver, ISO, etc.

41

Goel, Ashok Kumar. "Integration of case-based reasoning and model-based reasoning for adaptive design problem solving /." The Ohio State University, 1989. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487673114115037.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

42

Antonopoulou, Paraskevi. "Spatial descriptions and verbal reasoning problems." Thesis, University of Sussex, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.390915.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

43

Ho, Chi-hang, and 何志恆. "The development of moral reasoning of Hong Kong students." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1994. http://hub.hku.hk/bib/B31957158.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

44

Hay, Peta Kerin Education Faculty of Arts &amp Social Sciences UNSW. "Prosocial reasoning and empathy in gifted children." Publisher:University of New South Wales. Education, 2008. http://handle.unsw.edu.au/1959.4/41756.

Texte intégral

Résumé :

This study aimed to enhance understanding of the moral reasoning of gifted children. While research has explored the justice moral reasoning of gifted children (Arbuthnot, 1973; Chovan & Freeman, 1993; Gross, 1993; Henderson, Gold, & Clarke, 1984; Howard-Hamilton, 1994), this study explored prosocial moral reasoning, moral reasoning which involves conflict between one??s own needs and desires and the needs and desires of others. In addition, this study sought to gather empirical evidence for literature claims that gifted children have higher levels of empathy than their age peers (Lovecky, 1

Styles APA, Harvard, Vancouver, ISO, etc.

45

Ho, Chi-hang. "The development of moral reasoning of Hong Kong students." [Hong Kong : University of Hong Kong], 1994. http://sunzi.lib.hku.hk/hkuto/record.jsp?B13833182.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

46

Björnberg, Marina. "Conversational Effects of Gender and Children's Moral Reasoning." Thesis, Linköping University, Department of Computer and Information Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-9391.

Texte intégral

Résumé :

<p>This thesis aimed partly to examine the effects of gender on conversation dynamics, partly to investigate whether interaction between participants with contrasting opinions promotes cognitive development on a moral task. Another objective was to explore whether particular conversational features of interaction would have any impact upon a pair’s joint response or on each child’s moral development. The conversations were coded with regard to simultaneous speech acts, psychosocial behaviour and types of justifications used. The results show no gender differences regarding psychosocial process

Styles APA, Harvard, Vancouver, ISO, etc.

47

Tang, Antony Shui Sum, and n/a. "A rationale-based model for architecture design reasoning." Swinburne University of Technology, 2007. http://adt.lib.swin.edu.au./public/adt-VSWT20070319.100952.

Texte intégral

Résumé :

Large systems often have a long life-span and their system and software architecture design comprise many intricately related elements. The verification and maintenance of these architecture designs require an understanding of how and why the system are constructed. Design rationale is the reasoning behind a design and it provides an explanation of the design. However, the reasoning is often undocumented or unstructured in practice. This causes difficulties in the understanding of the original design, and makes it hard to detect inconsistencies, omissions and conflicts without any explanations

Styles APA, Harvard, Vancouver, ISO, etc.

48

Tang, Antony Shui Sum. "A rationale-based model for architecture design reasoning." Australasian Digital Thesis Program, 2007. http://adt.lib.swin.edu.au/public/adt-VSWT20070319.100952/index.html.

Texte intégral

Résumé :

Thesis (Ph.D) - Swinburne University of Technology, Faculty of Information & Communication Technologies, 2007.<br>A thesis submitted in total fulfillment of the requirements of for the degree of Doctor of Philosophy, Faculty of ICT, Swinburne University of Technology, 2007. Typescript. Bibliography p. 214-226.

Styles APA, Harvard, Vancouver, ISO, etc.

49

Keefer, Matthew Wilks. "Analysing justice and response orientations in moral reasoning." Thesis, McGill University, 1990. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=59866.

Texte intégral

Résumé :

This thesis examined the knowledge and processes that adults use to reason about moral dilemmas. Two contrasting analyses of moral reasons, Kohlberg's justice orientation and Gilligan's response orientation, were reviewed and criticized. From this a Moral Reasoning Grammar which formally characterizes the semantics of the justice and response moral orientations was developed. Specifically, the Moral Reasoning Grammar distinguished reasoning based on principles and their defense from reasoning based on narrative and social-interactive knowledge. The Moral Reasoning Grammar was applied to subjec

Styles APA, Harvard, Vancouver, ISO, etc.

50

Nikopoulou-Smyrni, Panagiota. "A model of clinical reasoning in health informatics." Thesis, Keele University, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.401075.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!