Relevant bibliographies by topics / Decision logic

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Decision logic'

Author: Grafiati
Published: 10 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Decision logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Decision logic"

1

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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 (October 20, 2018): 638–75. http://dx.doi.org/10.3102/0002831218803328.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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ů.
APA, Harvard, Vancouver, ISO, and other styles
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/.

Full text
Abstract:
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).
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Decision logic"

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Decision logic"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Decision logic"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Decision logic"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sadigh, Dorsa, Eric Kim, Samuel Coogan, S. S. Sastry, and 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, September 2014. http://dx.doi.org/10.21236/ada623517.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
6

Horrocks, Ian, Ulrike Sattler, and 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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
8

Baader, Franz, Silvio Ghilardi, and 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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Decision logic' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography