Search results for "reasoning"

showing 10 items of 371 documents

Transformations that preserve learnability

1996

We consider transformations (performed by general recursive operators) mapping recursive functions into recursive functions. These transformations can be considered as mapping sets of recursive functions into sets of recursive functions. A transformation is said to be preserving the identification type I, if the transformation always maps I-identifiable sets into I-identifiable sets.

Computer scienceLearnabilityType (model theory)Inductive reasoningAlgebraTuring machinesymbols.namesakeIdentification (information)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTransformation (function)TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSRecursive functionssymbolsInitial segment
researchProduct

A survey on geometrical reconstruction as a core technology to sketch-based modeling

2005

In this work, the background and evolution of three-dimensional reconstruction of line drawings during the last 30 years is discussed. A new general taxonomy is proposed to make apparent and discuss the historical evolution of geometrical reconstruction and their challenges. The evolution of geometrical reconstruction from recovering know-how stored in engineering drawings to sketch-based modeling for helping in the first steps of conceptual design purposes, and the current challenges of geometrical reconstruction are discussed too.

Computer scienceLine drawingsGeneral EngineeringPerceptual reasoningGeometrical reconstruction taxonomyGraphics recognition and interpretationComputer Graphics and Computer-Aided DesignSketchHuman-Computer InteractionPerceptual reasoningConceptual designSketch-based modelingTaxonomy (general)Computer graphics (images)Core (graph theory)Sketch-based modelingSingle-view reconstructionMultiple-view reconstructionComputingMethodologies_COMPUTERGRAPHICSComputers & Graphics
researchProduct

Towards Diagrammatic Patterns

2008

This article presents the idea that the graphical representation (concrete syntax) of a visual language can be specified based on some pre-defined diagrammatic patterns. A diagram from the Specification and Description Language (SDL) is used as illustration.

Computer scienceProgramming languagebusiness.industryObject languageComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Specification languagecomputer.software_genreSpecification and Description LanguageVisual languageDiagrammatic reasoningLanguage Of Temporal Ordering SpecificationUniversal Networking LanguageSoftware_SOFTWAREENGINEERINGProgramming language specificationComputer Science::Programming LanguagesArtificial intelligencebusinesscomputerNatural language processingcomputer.programming_language
researchProduct

Development of conditional reasoning and Wason's selection task

2004

Influent theories on human reasoning have suggested that Wason's selection task is so difficult because it involves heuristic and implicit processes. However, recent studies have demonstrated the implication of deductive activities. Poor performance on this task would thus result from some of its characteristics that impede the use of deductive processes. In the present experiment, we hypothesised that a modified abstract selection task that induces analytic and deductive processes should lead to better performance than the standard version of the task. Moreover, deductive activities are strongly affected by development (Markovits et Barrouillet, 2002). Thus, we predicted a strong developme…

Conditional reasoningMental modelCognitive developmentSelection task
researchProduct

On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals

2023

In this paper we investigate canonical extensions of conditional probabilities to Boolean algebras of conditionals. Before entering into the probabilistic setting, we first prove that the lattice order relation of every Boolean algebra of conditionals can be characterized in terms of the well-known order relation given by Goodman and Nguyen. Then, as an interesting methodological tool, we show that canonical extensions behave well with respect to conditional subalgebras. As a consequence, we prove that a canonical extension and its original conditional probability agree on basic conditionals. Moreover, we verify that the probability of conjunctions and disjunctions of conditionals in a rece…

Conditional subalgebraCanonical extensionSettore MAT/06 - Probabilita' E Statistica MatematicaArtificial IntelligenceApplied MathematicsConditional probabilityNonmonotonic reasoningConjunction and disjunction of conditionalBoolean algebras of conditionalSoftwareTheoretical Computer ScienceInternational Journal of Approximate Reasoning
researchProduct

The Notion of Eikos Within Conspiracy Theories. A Rhetorical Analysis

2022

Based on the analysis of one specific conspiracy theory, this paper will explore, from the rhetorical framework, the antic concept of likelihood [eikos]. Indeed, we believe that the rhetorical approach could allow us, on a larger scale, to (re)question, in the light of contemporary challenges, the complex relationship we have with the notions of rationality and truth. More precisely, to proceed with the rhetorical analysis, we will mobilise two types of logical reasoning: first, “the logic of the pot” argument from pragmatic logic and second, the logic of amplification and poetization of discourse. This will allow us to draw some comparisons between conspiracist speeches and, respectively, …

Conspiracy theories logical reasoning rhetoric likelihood eikos judicial epideicticSettore M-FIL/05 - Filosofia E Teoria Dei Linguaggi
researchProduct

The Effects of Auditor Affinity for Client and Perceived Client Pressure on Auditor Proposed Adjustments

2017

ABSTRACT This paper examines how auditors' judgments about accounting policies may differ when experiencing different levels of affinity for client management and facing different levels of pressure from client management. The theory of motivated reasoning is employed to analyze the effects of these two factors that should lead individual auditors to adopt as a directional goal the acceptance of client management's aggressive accounting. Accordingly, we predict and find that auditors experiencing greater client affinity and facing explicit client pressure suggest lower adjustments to clients' aggressive accounting, consistent with motivated reasoning's goal-related predictions. But our stud…

Constraint (information theory)Economics and Econometrics050208 financeMotivated reasoningbusiness.industryAccounting0502 economics and business05 social sciencesAccounting050201 accountingAuditbusinessFinanceThe Accounting Review
researchProduct

Argumentation graphs with constraint-based reasoning for collaborative expertise

2018

International audience; Collaborative processes are very important in telemedicine domain since they allow for making right decisions in complex situations with multidisciplinary staff. When modelling these collaborative processes, some inconsistencies can appear. In semantic modelling (conceptual graphs), these inconsistencies are verified using constraints. In this work, collaborative processes are represented using an argumentation system modelled in a conceptual graph formalism where inconsistencies could be particular bad attack relation between arguments. To overcome these inconsistencies, two solutions are proposed. The first one is to weight the arguments evolving in the argumentati…

Constraint based reasoningmedical deontologyComputer Networks and CommunicationsComputer sciencedomain0206 medical engineeringMédecine humaine et pathologieArgumentation theory02 engineering and technologyInconsistenciesWeightingdecision makingArgumentation theoryAutreMultidisciplinary approachframeworksCredibilityconceptual graphs0202 electrical engineering electronic engineering information engineeringinconsistenciesCompetence (human resources)Health professionalsManagement scienceMedical deontology[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]decision-makingargumentation theory16. Peace & justice020601 biomedical engineeringWeightingassignmentConceptual graphsHardware and ArchitectureConceptual graph020201 artificial intelligence & image processingweightingteleexpertiseDecision makingpreference-based argumentationmanagement[SDV.MHEP]Life Sciences [q-bio]/Human health and pathologySoftwareFuture Generation Computer Systems
researchProduct

Unauthorized copying of software and levels of moral development: a literature analysis and its implications for research and practice

2004

.  Several approaches for and against the unauthorized copying of software have been proposed. These approaches can be divided into two categories: moral reasoning and solution. These categories of approaches to unauthorized copying of software are scrutinized in the light of Kohlberg's theory of Cognitive Moral Development. The results suggest that most approaches presenting solutions to unauthorized copying of software have focused attention on the lower levels of moral development, while approaches at the highest stage are few and far between. No single approach covers all the stages of moral development. The implications of this analysis for practice and research are discussed.

CopyingComputingMilieux_THECOMPUTINGPROFESSIONComputer Networks and Communicationsbusiness.industryComputer ethicsInternet privacyComputingMilieux_LEGALASPECTSOFCOMPUTINGCognitionMoral reasoningSoftwareMoral developmentLawrence Kohlberg's stages of moral developmentbusinessPsychologySocial psychologySoftwareInformation SystemsInformation Systems Journal
researchProduct

Correlation and Truth

2013

The concept of correlation is the building block of almost any Bayesian attempt to capture or explicate any interesting aspect of scientific reasoning in terms of probabilities. This paper discusses one particularly simple correlation measure which is highly significant for almost any such attempt within the philosophy of science or epistemology. In particular, it shows how this correlation measure is related to central attempts to capture essential aspects of scientific reasoning such as confirmation, coherence, and the explanatory power of hypotheses. This intimate connection between correlation and scientific reasoning necessitates answering the question of how correlation and truth are …

CorrelationPhilosophy of scienceComputer scienceBayesian probabilityScientific reasoningCoherence (statistics)Explanatory powerSimple correlationMeasure (mathematics)Epistemology
researchProduct