Bibliographies thématiques / Decision logic

Littérature scientifique sur le sujet « Decision logic »

Auteur : Grafiati
Publié le 10 mars 2023

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

Choisissez une source :

Sommaire

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Decision logic ».

À 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.

Articles de revues sur le sujet "Decision logic"

1

Vershinina, Natalia, Rowena Barrett et Peter McHardy. « Logics and rationalisations underpinning entrepreneurial decision-making ». Journal of Small Business and Enterprise Development 24, no 1 (20 février 2017) : 158–75. http://dx.doi.org/10.1108/jsbed-06-2016-0092.

Texte intégral
Résumé :
Purpose The purpose of this paper is to explore the logics that expert entrepreneurs use when faced with a critical incident threat. Design/methodology/approach Attempts have been made to define “entrepreneurial logic”. This paper is influenced by Sarasvathy’s work on high-performance entrepreneurs, which finds that when faced with uncertainty entrepreneurs employ unconventional logic, and encompasses later research acknowledging social contexts where entrepreneurs operate. A typology of decision-making logics is developed, taking into account the situation of crisis. Seven expert entrepreneurs who faced crisis and, despite this, are still successfully operating businesses were interviewed. The paper develops a critical incidents methodology. Findings Experienced entrepreneurs were found to tend towards causal logic when “the stakes were high” and the decision may affect the survival of their business. They also weigh up options before acting and tend to seek advice from trusted “others” within their network before or after they have made a decision. A mixture of causal and intuitive logic is evident in decisions dealing with internal business problems. Research limitations/implications The decisions that entrepreneurs make shape and define their business and their ability to recover from crisis. If researchers can develop an understanding of how entrepreneurs make decisions – what information they draw upon, what support systems they use and the logic of their decision-making and rationalisation – then this can be used to help structure support. Originality/value By exploring decision-making through critical incidents we offer an innovative way to understand context-rich, first-hand experiences and behaviours of entrepreneurs around a focal point.
Styles APA, Harvard, Vancouver, ISO, etc.
2

Reva, Nataliia. « Logic, Reasoning, Decision-Making ». Future Human Image, no 10 (novembre 2018) : 76–84. http://dx.doi.org/10.29202/fhi/10/8.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Glasziou, Paul, et Jörgen Hilden. « Decision Tables and logic in Decision Analysis ». Medical Decision Making 6, no 3 (août 1986) : 154–60. http://dx.doi.org/10.1177/0272989x8600600305.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Kornberger, Martin, Stephan Leixnering et Renate E. Meyer. « The Logic of Tact : How Decisions Happen in Situations of Crisis ». Organization Studies 40, no 2 (7 décembre 2018) : 239–66. http://dx.doi.org/10.1177/0170840618814573.

Texte intégral
Résumé :
The mass migration of refugees in the fall of 2015 in Europe posed an immense humanitarian and logistical challenge: exhausted from their week-long journeys, refugees arrived in Vienna in need of care, shelter, food, medical aid, and onward transport. The refugee crisis was managed by an emerging polycentric and intersectoral collective of organizations. In this paper, we investigate how leaders of these organizations made decisions in concert with each other and hence sustained the capacity to act as collective. We ask: what was the logic of decision-making that orchestrated collective action during the crisis? In answering this question, we make the following contribution: departing from March’s logics of consequences and appropriateness as well as Weick’s work on sensemaking during crisis, we introduce an alternative logic that informed decision-making in our study: the logic of tact. With this concept (a) we offer a better understanding of how managers may make decisions under the condition of bounded rationality and the simultaneous transgression of their institutional identity in situations of crisis; and (b) we show that in decision-making under extreme pressure cognition is neither ahead of action, nor is action ahead of cognition; rather, tact explicates the rapid switching between cognition and action, orchestrating decision-making through their interplay.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Hodge, Emily M. « “Common” Instruction ? Logics of Ability and Teacher Decision Making Across Tracks in the Era of Common Standards ». American Educational Research Journal 56, no 3 (20 octobre 2018) : 638–75. http://dx.doi.org/10.3102/0002831218803328.

Texte intégral
Résumé :
This article investigates the interaction between the Common Core State Standards and curricular tracking by examining instructional decision making across tracks in a large metropolitan district. This study draws on institutional logics as a framework to analyze 106 instructional decisions from 24 participants involved in middle school literacy instruction. In lower-track classes, participants often adapted the curriculum and adopted a more teacher-centered approach. About half of the rationales for those decisions reflected a logic of tracking, less than a fifth reflected a logic of differentiation, and almost a third reflected elements of both logics. These findings demonstrate that despite common standards, a tracked school structure continues to serve as a powerful signal about the curriculum and instruction seen as appropriate for different groups of students.
Styles APA, Harvard, Vancouver, ISO, etc.
6

Salmasian, Hojjat, David Rubins et David W. Bates. « Using the Electronic Health Record User Context in Clinical Decision Support Criteria ». Applied Clinical Informatics 13, no 04 (août 2022) : 910–15. http://dx.doi.org/10.1055/s-0042-1756426.

Texte intégral
Résumé :
Abstract Background Computerized clinical decision support (CDS) used in electronic health record systems (EHRs) has led to positive outcomes as well as unintended consequences, such as alert fatigue. Characteristics of the EHR session can be used to restrict CDS tools and increase their relevance, but implications of this approach are not rigorously studied. Objectives To assess the utility of using “login location” of EHR users—that is, the location they chose on the login screen—as a variable in the CDS logic. Methods We measured concordance between user's login location and the location of the patients they placed orders for and conducted stratified analyses by user groups. We also estimated how often login location data may be stale or inaccurate. Results One in five CDS alerts incorporated the EHR users' login location into their logic. Analysis of nearly 2 million orders placed by nearly 8,000 users showed that concordance between login location and patient location was high for nurses, nurse practitioners, and physician assistance (all >95%), but lower for fellows (77%) and residents (55%). When providers switched between patients in the EHR, they usually did not update their login location accordingly. Conclusion CDS alerts commonly incorporate user's login location into their logic. User's login location is often the same as the location of the patient the user is providing care for, but substantial discordance can be observed for certain user groups. While this may provide additional information that could be useful to the CDS logic, a substantial amount of discordance happened in specific user groups or when users appeared not to change their login location across different sessions. Those who design CDS alerts should consider a data-driven approach to evaluate the appropriateness of login location for each use case.
Styles APA, Harvard, Vancouver, ISO, etc.
7

QIAN, ZHONGSHENG. « USEFUL SPECIFICATION-BASED LOGIC COVERAGE CRITERIA ». International Journal of Software Engineering and Knowledge Engineering 23, no 07 (septembre 2013) : 1033–59. http://dx.doi.org/10.1142/s0218194013500307.

Texte intégral
Résumé :
The specification-based testing can be employed to evaluate software functionalities without knowing program code. Decisions are the primary form of the pre- and post-conditions in formal specifications. This work expatiates on logic coverage criteria for specification-based testing at great length. It proposes and then expounds mask logic coverage criteria to solve the problems which existing determinant logic coverage criteria cannot solve. A feasible test case generation algorithm based on mask logic coverage criteria is developed. The test cases satisfying mask logic coverage criteria can detect those errors caused by the mask property of conditions. An experiment is conducted to compare MC/DC, RC/DC and two mask logic coverage criteria (RMCC and GMCC) on their test effectiveness and fault detection ability. It also elaborates on the constraint among conditions, how to decompose and compose a complicated decision, and the relationship among decisions. All these can respectively clarify the coupling problem among conditions, the multiple occurrences of a condition in a decision, and the location of a decision in a specification or program. Additionally, coverage criteria including full true decision coverage, full false decision coverage, all sub-decisions coverage, unique condition true coverage and unique condition false coverage are proposed. The test sets satisfying these criteria can detect respectively different types of errors. Finally, the hierarchical subsumption relation is established among these presented coverage criteria and some existing ones, and various applicable scenarios for different coverage criteria are suggested.
Styles APA, Harvard, Vancouver, ISO, etc.
8

Ulten, Taylan Ozgur, et Omer Faruk BAY. « TEWA Interface with Fuzzy Logic ». International Journal of Engineering Research in Computer Science and Engineering 9, no 4 (25 avril 2022) : 4–7. http://dx.doi.org/10.36647/ijercse/09.04.art002.

Texte intégral
Résumé :
It is an important task to determine the degree of threat of threats in military applications and in the war environment. Small mistakes that can be made during the threat evaluation phase can cause great loss of life and property. Mistakes that can be made at this stage can lead to serious consequences that are difficult to compensate. For this reason, it is of great importance to accurately calculate the threat degree of the detected aircraft. For this purpose, computer decision support systems provide significant support to the operators in the decision-making process in order to increase the cognitive ability of the operator and to implement the decisions taken quickly. In this study, a decision support system is designed to contribute to the decision-making processes of the operators. In order to perform calculations in the decision support system; A threat assessment interface was created with the help of C# programming language using Microsoft Visual Studio. In the study, calculations were made using the speed, altitude and distance parameters of an aircraft classified as a threat to be used in the threat evaluation and weapon assignment interface. Fuzzy logic method was used to calculate the threat degree.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Lyu, Daoming, Fangkai Yang, Bo Liu et Daesub Yoon. « Logic-Based Sequential Decision-Making ». Proceedings of the AAAI Conference on Artificial Intelligence 33 (17 juillet 2019) : 9995–96. http://dx.doi.org/10.1609/aaai.v33i01.33019995.

Texte intégral
Résumé :
Deep reinforcement learning (DRL) has gained great success by learning directly from high-dimensional sensory inputs, yet is notorious for the lack of interpretability. Interpretability of the subtasks is critical in hierarchical decision-making as it increases the transparency of black-box-style DRL approach and helps the RL practitioners to understand the high-level behavior of the system better. In this paper, we introduce symbolic planning into DRL and propose a framework of Symbolic Deep Reinforcement Learning (SDRL) that can handle both high-dimensional sensory inputs and symbolic planning. The task-level interpretability is enabled by relating symbolic actions to options. This framework features a planner – controller – meta-controller architecture, which takes charge of subtask scheduling, data-driven subtask learning, and subtask evaluation, respectively. The three components cross-fertilize each other and eventually converge to an optimal symbolic plan along with the learned subtasks, bringing together the advantages of long-term planning capability with symbolic knowledge and end-to-end reinforcement learning directly from a high-dimensional sensory input. Experimental results validate the interpretability of subtasks, along with improved data efficiency compared with state-of-the-art approaches.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Bronder, Edmund. « A Decision that Defies Logic ». American Journal of Nursing 101, no 4 (avril 2001) : 57–58. http://dx.doi.org/10.1097/00000446-200104000-00025.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "Decision logic"

1

Kozlowski, Tomasz. « Application of exclusive-OR logic in technology independent logic optimisation ». Thesis, University of Bristol, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.296702.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Fiedor, Tomáš. « A Decision Procedure for the WSkS Logic ». Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2014. http://www.nusl.cz/ntk/nusl-236065.

Texte intégral
Résumé :
Různé typy logik se často používají jako prostředky pro formální specifikaci systémů. Slabá monadická logika druhého řádu s k následníky (WSkS) je jednou z nich a byť má poměrně velkou vyjadřovací sílu, stále je rozhodnutelná. Ačkoliv složitost testování splnitelnosti WSkS formule není ani ve třídě ELEMENTARY, tak existují přístupy založené na deterministických automatech, implementované např. v nástroji MONA, které efektně řeší omezenou třídu praktických příkladů, nicméně nefungují pro jiné. Tato práce rozšiřuje třídu prakticky řešitelných příkladů, a to tak, že využívá nedávno vyvinutých technik pro efektní manipulaci s nedeterministickými automaty (jako je například testování universality jazyka pomocí přístupu založeného na antichainech) a navrhuje novou rozhodovací proceduru pro WSkS využívající právě nedeterministické automaty. Procedura je implementována a ve srovnání s nástrojem MONA dosahuje v některých případech řádově lepších výsledků.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Orri, Stefansson Hlynur. « Decision theory and counterfactual evaluation ». Thesis, London School of Economics and Political Science (University of London), 2014. http://etheses.lse.ac.uk/984/.

Texte intégral
Résumé :
The value of actual outcomes or states of affairs often depends on what could have been. Such dependencies create well-known “paradoxes” for decision theory, the best-known perhaps being the so-called Allais Paradox. The primary aim of this PhD thesis is to enrich decision theory such that it includes counterfactual prospects in the domains of desirability (or utility) functions, and show that, as a result, the paradoxes in question disappear. Before discussing the way in which counterfactual propositions influence the desirability of actual outcomes, I discuss the way in which the truth of one factual proposition influences the desirability of another. This examination leads me to reject the Invariance assumption, which states that the desirability of a proposition is independent of whether it is true. The assumption plays an important role in David Lewis’ famous arguments against the so-called Desire-as-Belief thesis (DAB). The unsoundness of Lewis’ argument does of course not make DAB true. In fact, I provide novel arguments against different versions of DAB, without assuming Invariance. To justify the assumptions I make when extending decision theory to counterfactual prospects, I discuss several issues concerning the logic, metaphysics and epistemology of counterfactuals. For instance, I defend a version of the so-called Ramsey test, and show that Richard Bradley’s recent Multidimensional Possible World Semantics for Conditionals is both more plausible and permissive than Bradley’s original formulation of it suggested. I use the multidimensional semantics to extend Richard Jeffrey’s decision theory to counterfactuals, and show that his desirability measure, extended to counterfactuals, can represent the various different ways in which counterfactuals influence the desirability of factual propositions. And I explain why the most common alternatives to Jeffrey’s theory cannot be similarly extended. I conclude the thesis by using Jeffrey’s extended decision theory to construct an ethical theory I call Modal Consequentialism, and argue that it better satisfies certain entrenched moral intuitions than Non-Modal Consequentialism (such as classical utilitarianism and welfare economics).
Styles APA, Harvard, Vancouver, ISO, etc.
4

Croson, E., J. Howard et L. Jue. « Binary Decision Machines : Alternative Logic for Telemetry Control ». International Foundation for Telemetering, 1987. http://hdl.handle.net/10150/615292.

Texte intégral
Résumé :
International Telemetering Conference Proceedings / October 26-29, 1987 / Town and Country Hotel, San Diego, California
A Binary Decision Machine (BDM) is described as a means of achieving logical control of data acquisition equipment and telemetry systems. The basic architecture of a BDM is initially presented followed by a description of its implementation as a Very Large Scale Integration (VLSI) device. Performance characteristics, programming, and ease of use as a controller are then presented via actual applications. The results of these endeavors led to a means of digitizing and extracting doppler data in a missile telemetry system.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Wan, Min. « Decision diagram algorithms for logic and timed verification ». Diss., [Riverside, Calif.] : University of California, Riverside, 2008. http://proquest.umi.com/pqdweb?index=0&did=1663077981&SrchMode=2&sid=1&Fmt=2&VInst=PROD&VType=PQD&RQT=309&VName=PQD&TS=1268242250&clientId=48051.

Texte intégral
Résumé :
Thesis (Ph. D.)--University of California, Riverside, 2008.
Includes abstract. Title from first page of PDF file (viewed March 10, 2010). Available via ProQuest Digital Dissertations. Includes bibliographical references (p. 166-170). Also issued in print.
Styles APA, Harvard, Vancouver, ISO, etc.
6

Yasuoka, Koichi. « Ternary Decision Diagrams and Their Applications for Logic Synthesis ». Kyoto University, 1996. http://hdl.handle.net/2433/77846.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Strasser, Mark. « The development of a fuzzy decision-support system for dairy cattle culling decisions ». Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ29794.pdf.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Sequeira, Movin. « Developing decision-support tools for evaluation of manufacturing reshoring decisions ». Licentiate thesis, Tekniska Högskolan, Jönköping University, JTH, Industriell produktutveckling, produktion och design, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-48263.

Texte intégral
Résumé :
During last three decades, companies have offshored their manufacturing activities across international borders in order to pursue lower manufacturing costs. Despite having accomplished their purpose, companies have also suffered from issues, especially poor quality of products and a poor response to customer demand. Therefore, companies consider relocating some of the manufacturing activities back to the home country, a process that is known as manufacturing reshoring. There is paucity of scholarly attention on how manufacturing reshoring decisions are evaluated and supported. Therefore, the purpose of this thesis is to develop decision-support tools to evaluate manufacturing reshoring decisions. In order to fulfil this, it is important to know how industry experts reason while making manufacturing reshoring decisions (RQ1), and how their reasoning can be modeled into decision-support tools (RQ2). Therefore, three studies were conducted including a multiple case study and two modeling studies. The multiple case study addressed the criteria that are considered by the industry experts in these decisions, while the two modeling studies, based on fuzzy logic and analytical hierarchy process (AHP), used a part of these criteria to develop decision-support tools. The findings indicate that a holistic set of criteria were considered by industry experts in arriving at a manufacturing reshoring decision. A large portion of these criteria occur within competitive priority category and among them, high importance is given to quality, while low importance to sustainability. Fuzzy logic modeling was used to model the criteria from the perspective of competitive priority at an overall level. Three fuzzy logic concepts were developed to capture industry experts’ reasoning and facilitate modeling of manufacturing reshoring decisions. Furthermore, two configurations and sixteen settings were developed, of which, the best ones were identified. AHP-based tools were used to capture experts’ reasoning of the competitive priority criteria by comparing the criteria. It was observed that fuzzy logic-based tools are able to better emulate industry experts’ reasoning of manufacturing reshoring. This research contributes to theory with a holistic framework of reshoring decision criteria, and to practice with decision-support tools for evaluation of manufacturing reshoring decisions.
Under de tre senaste decennierna har många företag flyttat sin produktion till lågkostnadsländer för att kunna utnyttja lägre lönekostnader. Många gånger har företagen genom denna åtgärd lyckats sänka sin tillverkningskostnad men samtidigt drabbats av oförutsedda problem kopplat till exempelvis produkt-kvalitet och möjligheten att kundanpassa produkter. Hanteringen av problemen har lett till ytterligare kostnader som många gånger överstigit besparingen i tillverkningskostnad. Detta har lett till att allt fler företag börjat flytta tillbaka sin produktion till hemlandet, så kallad reshoring. Reshoring är ett ungt område där det saknas forskning gällande bland annat hur den här typen av beslut på bästa sätt kan utvärderas och vilken typ av beslutstöd som kan underlätta den här typen av beslut. Därför är syftet med den här avhandlingen är att utveckla beslutsstödverktyg för utvärdering av reshoring beslut. För att uppfylla syftet har två forskningsfrågor formulerats. Den första frågan handlar om hur industriexperter resonerar kring reshoring beslut (RQ1) medan den andra frågan handlar om hur deras resonemang kan modelleras i beslutsstödverktyg (RQ2). Tre studier har genomförts för att besvara forskningsfrågorna, en fallstudie och två modelleringsstudier. Fallstudien fokuserar på att identifiera vilka kriterier som industriexperter beaktar medan modelleringsstudierna fokuserar på att utveckla beslutstödsverktyg där en del av dessa kriterier beaktas, med hjälp av fuzzy logic och analytical hierarchy process (AHP). Resultaten från forskningen visar att industriexperter bedömer reshoring beslut utifrån ett holistiskt perspektiv. En stor del av dessa beslutskriterier finns inom konkurrenskraft kategorin och inom dessa, har industriexperterna lagt högst vikt på kvalitet och lägst vikt på hållbarhet. Genom fuzzy logic modellering modellerades kriterierna på en övergripande nivå. Tre nya fuzzy logic koncept utvecklades för att fånga experternas resonemang. Dessutom utvecklades två konfigurationer med sexton olika inställningar, och de bästa identifierades. AHP-baserade verktyg utvecklades för att fånga experternas resonemang om kriterierna för konkurrenskraft prioriteringar. Fuzzy logic-baserade verktyg kan bättre fånga experternas resonemang kring reshoring beslut. Denna forskning bidrar till teori med en holistisk lista över beslutskriterier för reshoring beslut, och till praktik med beslutsstöd verktyg för utvärdering av reshoring beslut.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Garrick, Ronald A. « Modeling stakeholder decision logic a case study of Lebanese Hezbollah / ». Thesis, Monterey, California : Naval Postgraduate School, 2010. http://edocs.nps.edu/npspubs/scholarly/theses/2010/Jun/10Jun%5FGarrick.pdf.

Texte intégral
Résumé :
Thesis (M.S. in Operations Research)--Naval Postgraduate School, June 2010.
Thesis Advisor(s): Szechtman, Roberto ; Atkinson, Michael P. ; Second Reader: Kress, Moshe. "June 2010." Description based on title screen as viewed on July 14, 2010. Author(s) subject terms: Decision analysis, systems analysis, influence diagram, multi agent, MAID, Hezbollah, Hizbullah, Lebanese, Lebanon, Israel, Iran, Syria, Genie, Imad Mughniyah, nuclear, Iran, Middle East, temporal, dynamic programming, backward induction, political stakeholders, political actors, decision support, decision logic, decision forecast. Includes bibliographical references (p. 149-151). Also available in print.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Levy, Bat-Sheva. « Fuzzy logic, a model to explain students' mathematical decision-making ». Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0026/MQ51391.pdf.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "Decision logic"

1

United States. Department ofHealth and Human Services. et National Institute for Occupational Safety and Health., dir. NIOSH respirator decision logic. Cincinnati, Ohio : Department of Health and Human Services, 1987.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

NIOSH respirator decision logic. [Atlanta, Ga.?] : U.S. Dept. of Health and Human Services, Public Health Service, Centers for Disease Control, National Institute for Occupational Safety and Health, Division of Standards Development and Technology Transfer, 1987.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Bourion, Christian. Emotional Logic and Decision Making. London : Palgrave Macmillan UK, 2005. http://dx.doi.org/10.1057/9780230508453.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

1921-, Arrow Kenneth Joseph, dir. Managerial logic. London : ISTE Ltd., 2011.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Guidara, Ali. Policy Decision Modeling with Fuzzy Logic. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-62628-0.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Mullen, John Douglas. Decision-making : Its logic and practice. Savage, Md : Rowman & Littlefield, 1991.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Natural logic : Exploring decision and intuition. Brighton, Or : Sussex Academic Press, 2011.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Behavioral decision theory : A new approach. Cambridge : Cambridge University Press, 1994.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

1958-, Grädel Erich, et Gurevich Yuri, dir. The classical decision problem. Berlin : Springer, 1997.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

1958-, Grädel Erich, et Gurevich Yuri, dir. The classical decision problem. New York : Springer, 1997.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Chapitres de livres sur le sujet "Decision logic"

1

Pau, L. F. « Decision Logic ». Dans Computer Vision for Electronics Manufacturing, 277–79. Boston, MA : Springer US, 1990. http://dx.doi.org/10.1007/978-1-4613-0507-1_21.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Kroening, Daniel, et Ofer Strichman. « Pointer Logic ». Dans Decision Procedures, 173–98. Berlin, Heidelberg : Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-50497-0_8.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Bandyopadhyay, Susmita. « Predicate Logic ». Dans Decision Support System, 37–52. Boca Raton : CRC Press, 2023. http://dx.doi.org/10.1201/9781003307655-4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Carvalho, Fábio Romeu de, et Jair Minoro Abe. « Logic ». Dans A Paraconsistent Decision-Making Method, 1–16. Cham : Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74110-9_1.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Fan, Tuan-Fang, Duen-Ren Liu et Gwo-Hshiung Tzeng. « Arrow Decision Logic ». Dans Lecture Notes in Computer Science, 651–59. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11548669_67.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Kroening, Daniel, et Ofer Strichman. « Decision Procedures for Propositional Logic ». Dans Decision Procedures, 27–58. Berlin, Heidelberg : Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-50497-0_2.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Kroening, Daniel, et Ofer Strichman. « Equality Logic and Uninterpreted Functions ». Dans Decision Procedures, 77–95. Berlin, Heidelberg : Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-50497-0_4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Møller, Jesper, Jakob Lichtenberg, Henrik Reif Andersen et Henrik Hulgaard. « Difference Decision Diagrams ». Dans Computer Science Logic, 111–25. Berlin, Heidelberg : Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48168-0_9.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Turunen, Esko. « Interpreting GUHA Data Mining Logic in Paraconsistent Fuzzy Logic Framework ». Dans Algorithmic Decision Theory, 284–93. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04428-1_25.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Aleksander, Igor, Henri Farreny et Malik Ghallab. « First order predicate logic ». Dans Decision and Intelligence, 155–83. Boston, MA : Springer US, 1986. http://dx.doi.org/10.1007/978-1-4684-7329-2_8.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Decision logic"

1

Suzuki, Toshio, et Masahiro Kumabe. « Weak randomness, genericity and Boolean decision trees ». Dans 10th Asian Logic Conference. WORLD SCIENTIFIC, 2009. http://dx.doi.org/10.1142/9789814293020_0013.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Gong, Wei, et Jie Zhou. « Decision Problems in Autoepistemic Logic ». Dans 2010 International Conference on Computing, Control and Industrial Engineering. IEEE, 2010. http://dx.doi.org/10.1109/ccie.2010.128.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Alexei, Victoria, Silvia Munteanu, Olesea Borozan, Radu Melnic, Constantin Ababii, Andrei Șestacov et Oleg Buldumac. « Multi-Agent System for Decision Making Based on Temporal Logic ». Dans 11th International Conference on “Electronics, Communications and Computing". Technical University of Moldova, 2022. http://dx.doi.org/10.52326/ic-ecco.2021/ce.04.

Texte intégral
Résumé :
The paper presents the results of the conceptual and structural design of a Multi-Agent system for decision making based on temporal logic. The decision making system has a Multi-Agent structure that forms a mesh network with broadcast communication, which ensures the organization o knowledge exchange between them. Functional elements and temporal logical operators are defined in the form of mathematical models, which allows their implementation based on hardware devices or software products. The functionality of the temporal logic is determined by the time function that calculates the credibility coefficient of the event and its influence on the decisions taken by the Agents
Styles APA, Harvard, Vancouver, ISO, etc.
4

de Abreu, Brunno A., Augusto Berndt, Isac S. Campos, Cristina Meinhardt, Jonata T. Carvalho, Mateus Grellert et Sergio Bampi. « Fast Logic Optimization Using Decision Trees ». Dans 2021 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, 2021. http://dx.doi.org/10.1109/iscas51556.2021.9401664.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Wadgaonkar, Jagannath, et Kalyani Bhole. « Fuzzy logic based decision support system ». Dans 2016 1st India International Conference on Information Processing (IICIP). IEEE, 2016. http://dx.doi.org/10.1109/iicip.2016.7975310.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Nute, D., et K. Erk. « Defeasible logic graphs for decision support ». Dans Proceedings of HICSS-29 : 29th Hawaii International Conference on System Sciences. IEEE, 1996. http://dx.doi.org/10.1109/hicss.1996.495375.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Miki, T., A. Yoshida, M. Shimada et J. Shirakashi. « Hybridization of Spin Decision Logics for Ising Machine with Logic Circuits ». Dans 2021 IEEE 21st International Conference on Nanotechnology (NANO). IEEE, 2021. http://dx.doi.org/10.1109/nano51122.2021.9514319.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Xu, Fei, ShaoChang Wang et WeiXia Yang. « Local logic optimization algorithm for autonomous mobile robot based on fuzzy logic ». Dans 2018 Chinese Control And Decision Conference (CCDC). IEEE, 2018. http://dx.doi.org/10.1109/ccdc.2018.8407847.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Zarghami, Alireza, Brahmananda Sapkota, Mohammad Zarifi Eslami et Marten van Sinderen. « Decision as a Service : Separating Decision-making from Application Process Logic ». Dans 2012 16th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2012). IEEE, 2012. http://dx.doi.org/10.1109/edoc.2012.21.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Goutam, Siddharth, Srija Unnikrishnan, Pradeep Singh et Archana Karandikar. « Algorithm for handover decision using Fuzzy Logic ». Dans 2020 IEEE Bombay Section Signature Conference (IBSSC). IEEE, 2020. http://dx.doi.org/10.1109/ibssc51096.2020.9332209.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Decision logic"

1

Richards, Robert, Jason Chrenka et Marvin Thordsen. Artificial Intelligence Technique for Pilot Approach Decision Aid Logic (PADAL) System. Fort Belvoir, VA : Defense Technical Information Center, mars 2001. http://dx.doi.org/10.21236/ada389405.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Sadigh, Dorsa, Eric Kim, Samuel Coogan, S. S. Sastry et Sanjt A. Seshia. A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications. Fort Belvoir, VA : Defense Technical Information Center, septembre 2014. http://dx.doi.org/10.21236/ada623517.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Lutz, Carsten. Adding Numbers to the SHIQ Description Logic - First Results. Aachen University of Technology, 2001. http://dx.doi.org/10.25368/2022.117.

Texte intégral
Résumé :
Recently, the Description Logic (DL) SHIQ has found a large number of applications. This success is due to the fact that SHIQ combines a rich expressivity with efficient reasoning, as is demonstrated by its implementation in DL systems such as FaCT and RACER. One weakness of SHIQ, however, limits its usability in several application areas: numerical knowledge such as knowledge about the age, weight, or temperature of real-world entities cannot be adequately represented. In this paper, we propose an extension of SHIQ that aims at closing this gap. The new Description Logic Q-SHIQ, which augments SHIQ by additional, 'concrete domain' style concept constructors, allows to refer to rational numbers in concept descriptions, and also to define concepts based on the comparison of numbers via predicates such as < or =. We argue that this kind of expressivity is needed in many application areas such as reasoning about the semantic web. We prove reasoning with Q-SHIQ to be EXPTIME-complete (thus not harder than reasoning with SHIQ) by devising an automata-based decision procedure.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Peñaloza, Rafael, et Barış Sertkaya. On the Complexity of Axiom Pinpointing in Description Logics. Technische Universität Dresden, 2009. http://dx.doi.org/10.25368/2022.173.

Texte intégral
Résumé :
We investigate the computational complexity of axiom pinpointing in Description Logics, which is the task of finding minimal subsets of a knowledge base that have a given consequence. We consider the problems of enumerating such subsets with and without order, and show hardness results that already hold for the propositional Horn fragment, or for the Description Logic EL. We show complexity results for several other related decision and enumeration problems for these fragments that extend to more expressive logics. In particular we show that hardness of these problems depends not only on expressivity of the fragment but also on the shape of the axioms used.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Baader, Franz, et Ralf Molitor. Rewriting Concepts Using Terminologies. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.92.

Texte intégral
Résumé :
In this work we consider the inference problem of computing (minimal) rewritings of concept descriptions using defined concepts from a terminology. We introduce a general framework for this problem. For the small description logic FL₀, which provides us with conjunction and value restrictions, we show that the decision problem induced by the minimal rewriting problem is NP-complete.
Styles APA, Harvard, Vancouver, ISO, etc.
6

Horrocks, Ian, Ulrike Sattler et Stephan Tobies. A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.94.

Texte intégral
Résumé :
As widely argued [HG97; Sat96], transitive roles play an important role in the adequate representation of aggregated objects: they allow these objects to be described by referring to their parts without specifying a level of decomposition. In [HG97], the Description Logic (DL) ALCHR+ is presented, which extends ALC with transitive roles and a role hierarchy. It is argued in [Sat98] that ALCHR+ is well-suited to the representation of aggregated objects in applications that require various part-whole relations to be distinguished, some of which are transitive. However, ALCHR+ allows neither the description of parts by means of the whole to which they belong, or vice versa. To overcome this limitation, we present the DL SHI which allows the use of, for example, has part as well as is part of. To achieve this, ALCHR+ was extended with inverse roles. It could be argued that, instead of defining yet another DL, one could make use of the results presented in [DL96] and use ALC extended with role expressions which include transitive closure and inverse operators. The reason for not proceeding like this is the fact that transitive roles can be implemented more efficiently than the transitive closure of roles (see [HG97]), although they lead to the same complexity class (ExpTime-hard) when added, together with role hierarchies, to ALC. Furthermore, it is still an open question whether the transitive closure of roles together with inverse roles necessitates the use of the cut rule [DM98], and this rule leads to an algorithm with very bad behaviour. We will present an algorithm for SHI without such a rule. Furthermore, we enrich the language with functional restrictions and, finally, with qualifying number restrictions. We give sound and complete decision proceduresfor the resulting logics that are derived from the initial algorithm for SHI. The structure of this report is as follows: In Section 2, we introduce the DL SI and present a tableaux algorithm for satisfiability (and subsumption) of SI-concepts—in another report [HST98] we prove that this algorithm can be refined to run in polynomial space. In Section 3 we add role hierarchies to SI and show how the algorithm can be modified to handle this extension appropriately. Please note that this logic, namely SHI, allows for the internalisation of general concept inclusion axioms, one of the most general form of terminological axioms. In Section 4 we augment SHI with functional restrictions and, using the so-called pairwise-blocking technique, the algorithm can be adapted to this extension as well. Finally, in Section 5, we show that standard techniques for handling qualifying number restrictions [HB91;BBH96] together with the techniques described in previous sections can be used to decide satisfiability and subsumption for SHIQ, namely ALC extended with transitive and inverse roles, role hierarchies, and qualifying number restrictions. Although Section 5 heavily depends on the previous sections, we have made it self-contained, i.e. it contains all necessary definitions and proofs from scratch, for a better readability. Building on the previous sections, Section 6 presents an algorithm that decides the satisfiability of SHIQ-ABoxes.
Styles APA, Harvard, Vancouver, ISO, etc.
7

Borgwardt, Stefan, et Barbara Morawska. Finding Finite Herbrand Models. Technische Universität Dresden, 2011. http://dx.doi.org/10.25368/2022.182.

Texte intégral
Résumé :
We show that finding finite Herbrand models for a restricted class of first-order clauses is ExpTime-complete. A Herbrand model is called finite if it interprets all predicates by finite subsets of the Herbrand universe. The restricted class of clauses consists of anti-Horn clauses with monadic predicates and terms constructed over unary function symbols and constants. The decision procedure can be used as a new goal-oriented algorithm to solve linear language equations and unification problems in the description logic FL₀. The new algorithm has only worst-case exponential runtime, in contrast to the previous one which was even best-case exponential.
Styles APA, Harvard, Vancouver, ISO, etc.
8

Baader, Franz, Silvio Ghilardi et Cesare Tinelli. A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics. Technische Universität Dresden, 2003. http://dx.doi.org/10.25368/2022.130.

Texte intégral
Résumé :
Previous results for combining decision procedures for the word problem in the non-disjoint case do not apply to equational theories induced by modal logics - which are not disjoint for sharing the theory of Boolean algebras. Conversely, decidability results for the fusion of modal logics are strongly tailored towards the special theories at hand, and thus do not generalize to other types of equational theories. In this paper, we present a new approach for combining decision procedures for the word problem in the non-disjoint case that applies to equational theories induced by modal logics, but is not restricted to them. The known fusion decidability results for modal logics are instances of our approach. However, even for equational theories induced by modal logics our results are more general since they are not restricted to so-called normal modal logics.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Baader, Franz, et Ralf Küsters. Matching Concept Descriptions with Existential Restrictions. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.93.

Texte intégral
Résumé :
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of description logics, originally to help filter out unimportant aspects of large concepts appearing in industrial-strength knowledge bases. Previous work has concentrated on (sub-)languages of CLASSIC, which in particular do not allow for existential restrictions. In this work, we present sound and complete decision algorithms for the solvability of matching problems and for computing sets of matchers for matching problems in description logics with existential restrictions.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Baader, Franz, et Ralf Küsters. Matching Concept Descriptions with Existential Restrictions. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.93.

Texte intégral
Résumé :
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of description logics, originally to help filter out unimportant aspects of large concepts appearing in industrial-strength knowledge bases. Previous work has concentrated on (sub-)languages of CLASSIC, which in particular do not allow for existential restrictions. In this work, we present sound and complete decision algorithms for the solvability of matching problems and for computing sets of matchers for matching problems in description logics with existential restrictions.
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Decision logic » pour d’autres types de sources :
Articles de revues Thèses Livres
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!

Vers la bibliographie