Conecte-se

Bibliografias temáticas / Prime implicants / Artigos de revistas

Siga este link para ver outros tipos de publicações sobre o tema: Prime implicants.

Artigos de revistas sobre o tema "Prime implicants"

Autor: Grafiati

Publicado: 30 de novembro de 2024

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Prime implicants".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.

1

Prasad, V. C. "Quality of Minimal Sets of Prime Implicants of Boolean Functions". International Journal of Electronics and Telecommunications 63, n.º 2 (27 de junho de 2017): 165–69. http://dx.doi.org/10.1515/eletel-2017-0022.

Texto completo da fonte

Resumo:

Abstract Two new problems are posed and solved concerning minimal sets of prime implicants of Boolean functions. It is well known that the prime implicant set of a Boolean function should be minimal and have as few literals as possible. But it is not well known that min term repetitions should also be as few as possible to reduce power consumption. Determination of minimal sets of prime implicants is a well known problem. But nothing is known on the least number of (i) prime implicants (ii) literals and (iii) min term repetitions , any minimal set of prime implicants will have. These measures are useful to assess the quality of a minimal set. They are then extended to determine least number of prime implicants / implicates required to design a static hazard free circuit. The new technique tends to give smallest set of prime implicants for various objectives.

Estilos ABNT, Harvard, Vancouver, APA, etc.

2

Bienvenu, M. "Prime Implicates and Prime Implicants: From Propositional to Modal Logic". Journal of Artificial Intelligence Research 36 (20 de outubro de 2009): 71–128. http://dx.doi.org/10.1613/jair.2754.

Texto completo da fonte

Resumo:

Prime implicates and prime implicants have proven relevant to a number of areas of artificial intelligence, most notably abductive reasoning and knowledge compilation. The purpose of this paper is to examine how these notions might be appropriately extended from propositional logic to the modal logic K. We begin the paper by considering a number of potential definitions of clauses and terms for K. The different definitions are evaluated with respect to a set of syntactic, semantic, and complexity-theoretic properties characteristic of the propositional definition. We then compare the definitions with respect to the properties of the notions of prime implicates and prime implicants that they induce. While there is no definition that perfectly generalizes the propositional notions, we show that there does exist one definition which satisfies many of the desirable properties of the propositional case. In the second half of the paper, we consider the computational properties of the selected definition. To this end, we provide sound and complete algorithms for generating and recognizing prime implicates, and we show the prime implicate recognition task to be PSPACE-complete. We also prove upper and lower bounds on the size and number of prime implicates. While the paper focuses on the logic K, all of our results hold equally well for multi-modal K and for concept expressions in the description logic ALC.

Estilos ABNT, Harvard, Vancouver, APA, etc.

3

Kean, Alex, e George Tsiknis. "An incremental method for generating prime implicants/implicates". Journal of Symbolic Computation 9, n.º 2 (fevereiro de 1990): 185–206. http://dx.doi.org/10.1016/s0747-7171(08)80029-6.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

4

Qi, Guilin, e Kewen Wang. "Conflict-Based Belief Revision Operators in Possibilistic Logic". Proceedings of the AAAI Conference on Artificial Intelligence 26, n.º 1 (20 de setembro de 2021): 800–806. http://dx.doi.org/10.1609/aaai.v26i1.8226.

Texto completo da fonte

Resumo:

In this paper, we investigate belief revision in possibilistic logic, which is a weighted logic proposed to deal with incomplete and uncertain information. Existing revision operators in possibilistic logic are restricted in the sense that the input information can only be a formula instead of a possibilistic knowledge base which is a set of weighted formulas. To break this restriction, we consider weighted prime implicants of a possibilistic knowledge base and use them to define novel revision operators in possibilistic logic. Intuitively, a weighted prime implicant of a possibilistic knowledge base is a logically weakest possibilistic term (i.e., a set of weighted literals) that can entail the knowledge base. We first show that the existing definition of a weighted prime implicant is problematic and need a modification. To define a revision operator using weighted prime implicants, we face two problems. The first problem is that we need to define the notion of a conflict set between two weighted prime implicants of two possibilistic knowledge bases to achieve minimal change. The second problem is that we need to define the disjunction of possibilistic terms. We solve these problems and define two conflict-based revision operators in possibilistic logic. We then adapt the well-known postulates for revision proposed by Katsuno and Mendelzon and show that our revision operators satisfy four of the basic adapted postulates and satisfy two others in some special cases.

Estilos ABNT, Harvard, Vancouver, APA, etc.

5

Al-Wardi, Zaid, e Osama Al-Wardi. "RECURSIVE TERNARY-BASED ALGORITHM FOR COMPUTING PRIME IMPLICANTS OF MULTI-OUTPUT BOOLEAN FUNCTIONS". Journal of Engineering and Sustainable Development 27, n.º 3 (1 de maio de 2023): 308–16. http://dx.doi.org/10.31272/jeasd.27.3.2.

Texto completo da fonte

Resumo:

The problem of computing the set of prime implicants to represent a Boolean function is a classical problem that is still considered a running problem for research because all known approaches have limitations. The article reviews existing methods for computing prime implicants and highlights their limitations, particularly for multi-output functions and limited scalability due to the growth in memory required to complete the computation. Then it proposes a recursive ternary-based minimization algorithm to compute the prime implicants of multi-output Boolean functions. The algorithm is based on the concept of Programmable Logic Array (PLA) tables, which provide a structured and efficient representation of Boolean functions. The algorithm takes advantage of the ternary logic system to efficiently compute the prime implicants while maintaining scalability for large and complex functions, which has significant implications for digital circuit design and optimization.

Estilos ABNT, Harvard, Vancouver, APA, etc.

6

Singh, Arindama. "Computing prime implicants via transversal clauses". International Journal of Computer Mathematics 70, n.º 3 (janeiro de 1999): 417–27. http://dx.doi.org/10.1080/00207169908804764.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

7

Tyrväinen, Tero. "Prime implicants in dynamic reliability analysis". Reliability Engineering & System Safety 146 (fevereiro de 2016): 39–46. http://dx.doi.org/10.1016/j.ress.2015.10.007.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

8

Čepek, Ondřej, Petr Kučera e Stanislav Kuřík. "Boolean functions with long prime implicants". Information Processing Letters 113, n.º 19-21 (setembro de 2013): 698–703. http://dx.doi.org/10.1016/j.ipl.2013.07.001.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

9

Audemard, Gilles, Steve Bellart, Louènas Bounia, Frédéric Koriche, Jean-Marie Lagniez e Pierre Marquis. "Trading Complexity for Sparsity in Random Forest Explanations". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 5 (28 de junho de 2022): 5461–69. http://dx.doi.org/10.1609/aaai.v36i5.20484.

Texto completo da fonte

Resumo:

Random forests have long been considered as powerful model ensembles in machine learning. By training multiple decision trees, whose diversity is fostered through data and feature subsampling, the resulting random forest can lead to more stable and reliable predictions than a single decision tree. This however comes at the cost of decreased interpretability: while decision trees are often easily interpretable, the predictions made by random forests are much more difficult to understand, as they involve a majority vote over multiple decision trees. In this paper, we examine different types of reasons that explain "why" an input instance is classified as positive or negative by a Boolean random forest. Notably, as an alternative to prime-implicant explanations taking the form of subset-minimal implicants of the random forest, we introduce majoritary reasons which are subset-minimal implicants of a strict majority of decision trees. For these abductive explanations, the tractability of the generation problem (finding one reason) and the optimization problem (finding one minimum-sized reason) are investigated. Unlike prime-implicant explanations, majoritary reasons may contain redundant features. However, in practice, prime-implicant explanations - for which the identification problem is DP-complete - are slightly larger than majoritary reasons that can be generated using a simple linear-time greedy algorithm. They are also significantly larger than minimum-sized majoritary reasons which can be approached using an anytime Partial MaxSAT algorithm.

Estilos ABNT, Harvard, Vancouver, APA, etc.

10

Michalak, Marcin. "Searching for Continuous n-Clusters with Boolean Reasoning". Symmetry 16, n.º 10 (1 de outubro de 2024): 1286. http://dx.doi.org/10.3390/sym16101286.

Texto completo da fonte

Resumo:

A bicluster consists of a subset of rows and columns of a given matrix, whose intersection defines the region (bicluster) of values of precisely defined condition. Through the decades, a variety of biclustering techniques have been successfully developed. Recently, it was proved that many possible patterns defined in two-dimensional data could be found with the application of Boolean reasoning. The provided theorems showed that any existing pattern in the data could be unequivocally encoded as an implicant of a proper Boolean function. Moreover, a prime implicant of that function encoded the inclusion-maximal (non-extendable) pattern. On the other hand, the definition of some two-dimensional patterns may be easily extended to three-dimensional patterns (triclusters) as well as to any number of dimensions (n-clusters). This paper presents a new approach for searching for three- and higher-dimensional simple patterns in continuous data with Boolean reasoning. Providing the definition of the Boolean function for this tasks, it is shown that the similar correspondence—implicants encode patterns, and prime implicants encode inclusion-maximal patterns—has a strong mathematical background: the proofs of appropriate theorems are also presented in this paper.

Estilos ABNT, Harvard, Vancouver, APA, etc.

11

Palopoli, Luigi, Fiora Pirri e Clara Pizzuti. "Algorithms for selective enumeration of prime implicants". Artificial Intelligence 111, n.º 1-2 (julho de 1999): 41–72. http://dx.doi.org/10.1016/s0004-3702(99)00035-1.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

12

Rawat, Saurabh, e Anushree Sah. "Prime and Essential Prime Implicants of Boolean Functions through Cubical Representation". International Journal of Computer Applications 70, n.º 23 (31 de maio de 2013): 1–6. http://dx.doi.org/10.5120/12204-7638.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

13

Dieu, Phan Dinh, e Phan Hong Giang. "Interval –valued probabilistic logic for logic programs". Journal of Computer Science and Cybernetics 10, n.º 3 (15 de abril de 2016): 1–13. http://dx.doi.org/10.15625/1813-9663/10/3/8193.

Texto completo da fonte

Resumo:

This paper presents an approximate method for probabilistic entailment problem in knowledge bases where a portion of knowledge is given by a sentence in propositional logic accompanied with an interval presenting its truth probalibity. This method reduces the entailment problem to one of finding “prime implicants” of the target sentence expressed through sentences in the given knowledge base. It is shown that in the case of probabilistic logic programs the set of such prime implicants can be found by using the SLD-resolution method for usual definte logic programs.

Estilos ABNT, Harvard, Vancouver, APA, etc.

14

Garribba, S., E. Guagnini e P. Mussio. "Multiple-Valued Logic Trees: Meaning and Prime Implicants". IEEE Transactions on Reliability R-34, n.º 5 (dezembro de 1985): 463–72. http://dx.doi.org/10.1109/tr.1985.5222234.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

15

Di Maio, Francesco, Samuele Baronchelli e Enrico Zio. "A Visual Interactive Method for Prime Implicants Identification". IEEE Transactions on Reliability 64, n.º 2 (junho de 2015): 539–49. http://dx.doi.org/10.1109/tr.2014.2371015.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

16

Strzemecki, Tadeusz. "Polynomial-time algorithms for generation of prime implicants". Journal of Complexity 8, n.º 1 (março de 1992): 37–63. http://dx.doi.org/10.1016/0885-064x(92)90033-8.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

Shiny, A. "Computation of prime implicants using matrix and paths". Journal of Logic and Computation 8, n.º 2 (1 de abril de 1998): 135–45. http://dx.doi.org/10.1093/logcom/8.2.135.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

18

SACALUGA, DAVID LUQUE. "FRACTALS IN LOGIC". International Journal of Computational Methods 02, n.º 01 (março de 2005): 1–13. http://dx.doi.org/10.1142/s0219876205000326.

Texto completo da fonte

Resumo:

The main target of this document is to propose a new graphical method to find prime implicants, necessary prime implicants and minimum sum-of-product expressions for digital systems with any number of variables. Moreover, a simple example of application of the same method is included to be compared with Karnaugh's method. As a consequence of this proposed method, a few conditions are established and a fractal image is created, which explains why it is not possible to have more than one binary variable changing simultaneously and why the change between two non adjacent states has to be realized always going through an intermediate state.

Estilos ABNT, Harvard, Vancouver, APA, etc.

19

Raut, Manoj K., e Arindama Singh. "Prime implicants of first order formulas via transversal clauses". International Journal of Computer Mathematics 81, n.º 2 (fevereiro de 2004): 157–67. http://dx.doi.org/10.1080/00207160310001650071.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

20

Hayase, K. "OBDDs of a Monotone Function and Its Prime Implicants". Theory of Computing Systems 31, n.º 5 (1 de setembro de 1998): 579–91. http://dx.doi.org/10.1007/s002240000104.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

21

Wiśniewski, R., Ł. Stefanowicz, G. Bazydło e M. Węgrzyn. "Application of Hypergraphs in the Prime Implicants Selection Process". IFAC-PapersOnLine 48, n.º 4 (2015): 302–5. http://dx.doi.org/10.1016/j.ifacol.2015.07.051.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

22

Chukhrov, I. P. "Properties of Boolean Functions with Extremal Number of Prime Implicants". Journal of Applied and Industrial Mathematics 16, n.º 1 (fevereiro de 2022): 8–21. http://dx.doi.org/10.1134/s1990478922010021.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

23

McMullen e Shearer. "Prime Implicants, Minimum Covers, and the Complexity of Logic Simplification". IEEE Transactions on Computers C-35, n.º 8 (agosto de 1986): 761–62. http://dx.doi.org/10.1109/tc.1986.1676828.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

24

Chukhrov, I. P. "Properties of Boolean functions with the extremal number of prime implicants". Diskretnyi analiz i issledovanie operatsii 29, n.º 1 (6 de março de 2022): 74–93. http://dx.doi.org/10.33048/daio.2022.29.725.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

25

Chukhrov, I. P. "Connected Boolean Functions with a Locally Extremal Number of Prime Implicants". Journal of Applied and Industrial Mathematics 15, n.º 1 (fevereiro de 2021): 17–38. http://dx.doi.org/10.1134/s1990478921010038.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

26

Chukhrov, I. P. "Connected Boolean functions with a locally extremal number of prime implicants". Diskretnyi analiz i issledovanie operatsii 28, n.º 1 (6 de março de 2021): 68–96. http://dx.doi.org/10.33048/daio.2021.28.699.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

27

Sloan, Robert H., Balázs Szörényi e György Turán. "On k-Term DNF with the Largest Number of Prime Implicants". SIAM Journal on Discrete Mathematics 21, n.º 4 (janeiro de 2008): 987–98. http://dx.doi.org/10.1137/050632026.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

28

Maio, Francesco Di, Samuele Baronchelli e Enrico Zio. "A Computational Framework for Prime Implicants Identification in Noncoherent Dynamic Systems". Risk Analysis 35, n.º 1 (14 de julho de 2014): 142–56. http://dx.doi.org/10.1111/risa.12251.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

29

Gorji, Niku, e Sasha Rubin. "Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 5 (28 de junho de 2022): 5660–67. http://dx.doi.org/10.1609/aaai.v36i5.20507.

Texto completo da fonte

Resumo:

Recent work has unveiled a theory for reasoning about the decisions made by binary classifiers: a classifier describes a Boolean function, and the reasons behind an instance being classified as positive are the prime-implicants of the function that are satisfied by the instance. One drawback of these works is that they do not explicitly treat scenarios where the underlying data is known to be constrained, e.g., certain combinations of features may not exist, may not be observable, or may be required to be disregarded. We propose a more general theory, also based on prime-implicants, tailored to taking constraints into account. The main idea is to view classifiers as describing partial Boolean functions that are undefined on instances that do not satisfy the constraints. We prove that this simple idea results in more parsimonious reasons. That is, not taking constraints into account (e.g., ignoring, or taking them as negative instances) results in reasons that are subsumed by reasons that do take constraints into account. We illustrate this improved succinctness on synthetic classifiers and classifiers learnt from real data.

Estilos ABNT, Harvard, Vancouver, APA, etc.

30

Prasad, V. C. "Efficient Minimisation of Boolean Functions". International Journal of Electrical Engineering & Education 45, n.º 4 (outubro de 2008): 321–26. http://dx.doi.org/10.7227/ijeee.45.4.5.

Texto completo da fonte

Resumo:

Quine Mc Cluskey's (QM) method is a popular method for minimisation of Boolean functions. This method is widely taught at undergraduate level. In this paper simple modifications are suggested to make it more efficient. They allow us to avoid repetitions in the QM method. Further, a minimal set of prime implicants is easily obtained.

Estilos ABNT, Harvard, Vancouver, APA, etc.

31

Prescott, Rasa Remenyte, e John D. Andrews. "Prime implicants for modularised non-coherent fault trees using binary decision diagrams". International Journal of Reliability and Safety 1, n.º 4 (2007): 446. http://dx.doi.org/10.1504/ijrs.2007.016259.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

32

Boufkhad, Y., e O. Dubois. "Length of prime implicants and number of solutions of random CNF formulae". Theoretical Computer Science 215, n.º 1-2 (fevereiro de 1999): 1–30. http://dx.doi.org/10.1016/s0304-3975(95)00184-0.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

33

Yau, Michael, George Apostolakis e Sergio Guarro. "The use of prime implicants in dependability analysis of software controlled systems". Reliability Engineering & System Safety 62, n.º 1-2 (outubro de 1998): 23–32. http://dx.doi.org/10.1016/s0951-8320(98)00002-7.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

34

Talebanfard, Navid. "On the structure and the number of prime implicants of 2-CNFs". Discrete Applied Mathematics 200 (fevereiro de 2016): 1–4. http://dx.doi.org/10.1016/j.dam.2015.06.036.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

35

Lee, Sang-Un. "A Selection-Deletion of Prime Implicants Algorithm Based on Frequency for Circuit Minimization". Journal of the Korea Society of Computer and Information 20, n.º 4 (30 de abril de 2015): 95–102. http://dx.doi.org/10.9708/jksci.2015.20.4.095.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

36

Darwiche, Adnan, e Chunxi Ji. "On the Computation of Necessary and Sufficient Explanations". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 5 (28 de junho de 2022): 5582–91. http://dx.doi.org/10.1609/aaai.v36i5.20498.

Texto completo da fonte

Resumo:

The complete reason behind a decision is a Boolean formula that characterizes why the decision was made. This recently introduced notion has a number of applications, which include generating explanations, detecting decision bias and evaluating counterfactual queries. Prime implicants of the complete reason are known as sufficient reasons for the decision and they correspond to what is known as PI explanations and abductive explanations. In this paper, we refer to the prime implicates of a complete reason as necessary reasons for the decision. We justify this terminology semantically and show that necessary reasons correspond to what is known as contrastive explanations. We also study the computation of complete reasons for multi-class decision trees and graphs with nominal and numeric features for which we derive efficient, closed-form complete reasons. We further investigate the computation of shortest necessary and sufficient reasons for a broad class of complete reasons, which include the derived closed forms and the complete reasons for Sentential Decision Diagrams (SDDs). We provide an algorithm which can enumerate their shortest necessary reasons in output polynomial time. Enumerating shortest sufficient reasons for this class of complete reasons is hard even for a single reason. For this problem, we provide an algorithm that appears to be quite efficient as we show empirically.

Estilos ABNT, Harvard, Vancouver, APA, etc.

37

Rauzy, Antoine, e Yves Dutuit. "Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia". Reliability Engineering & System Safety 58, n.º 2 (novembro de 1997): 127–44. http://dx.doi.org/10.1016/s0951-8320(97)00034-3.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

38

Di Maio, Francesco, Samuele Baronchelli, Matteo Vagnoli e Enrico Zio. "Determination of prime implicants by differential evolution for the dynamic reliability analysis of non-coherent nuclear systems". Annals of Nuclear Energy 102 (abril de 2017): 91–105. http://dx.doi.org/10.1016/j.anucene.2016.12.018.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

39

Borgonovo, E. "The reliability importance of components and prime implicants in coherent and non-coherent systems including total-order interactions". European Journal of Operational Research 204, n.º 3 (agosto de 2010): 485–95. http://dx.doi.org/10.1016/j.ejor.2009.10.021.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

40

Başçiftçi, Fatih, e Şirzat Kahramanli. "Fast computation of the prime implicants by exact direct-cover algorithm based on the new partial ordering operation rule". Advances in Engineering Software 42, n.º 6 (junho de 2011): 316–21. http://dx.doi.org/10.1016/j.advengsoft.2011.02.009.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

41

Weber, Christopher, e Daniel Bryce. "Planning and Acting in Incomplete Domains". Proceedings of the International Conference on Automated Planning and Scheduling 21 (22 de março de 2011): 274–81. http://dx.doi.org/10.1609/icaps.v21i1.13463.

Texto completo da fonte

Resumo:

Engineering complete planning domain descriptions is often very costly because of human error or lack of domain knowl- edge. Learning complete domain descriptions is also very challenging because many features are irrelevant to achieving the goals and data may be scarce. We present a planner and agent that respectively plan and act in incomplete domains by i) synthesizing plans to avoid execution failure due to ignorance of the domain model, and ii) passively learning about the domain model during execution to improve later re-planning attempts. Our planner DeFault is the first to reason about a domain’s incompleteness to avoid potential plan failure. DeFault computes failure explanations for each action and state in the plan and counts the number of interpretations of the incomplete domain where failure will occur. We show that DeFault performs best by counting prime implicants (failure diagnoses) rather than propositional models. Our agent Goalie learns about the preconditions and effects of incompletely-specified actions while monitoring its state and, in conjunction with DeFault plan failure explanations, can diagnose past and future action failures. We show that by reasoning about incompleteness (as opposed to ignoring it) Goalie fails and re-plans less and executes fewer actions.

Estilos ABNT, Harvard, Vancouver, APA, etc.

42

Di Maio, Francesco, Matteo Vagnoli e Enrico Zio. "Risk-Based Clustering for Near Misses Identification in Integrated Deterministic and Probabilistic Safety Analysis". Science and Technology of Nuclear Installations 2015 (2015): 1–29. http://dx.doi.org/10.1155/2015/693891.

Texto completo da fonte

Resumo:

In integrated deterministic and probabilistic safety analysis (IDPSA), safe scenarios and prime implicants (PIs) are generated by simulation. In this paper, we propose a novel postprocessing method, which resorts to a risk-based clustering method for identifying Near Misses among the safe scenarios. This is important because the possibility of recovering these combinations of failures within a tolerable grace time allows avoiding deviations to accident and, thus, reducing the downtime (and the risk) of the system. The postprocessing risk-significant features for the clustering are extracted from the following: (i) the probability of a scenario to develop into an accidental scenario, (ii) the severity of the consequences that the developing scenario would cause to the system, and (iii) the combination of (i) and (ii) into the overall risk of the developing scenario. The optimal selection of the extracted features is done by a wrapper approach, whereby a modified binary differential evolution (MBDE) embeds aK-means clustering algorithm. The characteristics of the Near Misses scenarios are identified solving a multiobjective optimization problem, using the Hamming distance as a measure of similarity. The feasibility of the analysis is shown with respect to fault scenarios in a dynamic steam generator (SG) of a nuclear power plant (NPP).

Estilos ABNT, Harvard, Vancouver, APA, etc.

43

Xu, Wei, Xunhong Zhu, Liping Zhang e Jun Gao. "The Iterative Exclusion of Compatible Samples Workflow for Multi-SNP Analysis in Complex Diseases". Algorithms 16, n.º 10 (16 de outubro de 2023): 480. http://dx.doi.org/10.3390/a16100480.

Texto completo da fonte

Resumo:

Complex diseases are affected by various factors, and single-nucleotide polymorphisms (SNPs) are the basis for their susceptibility by affecting protein structure and gene expression. Complex diseases often arise from the interactions of multiple SNPs and are investigated using epistasis detection algorithms. Nevertheless, the computational burden associated with the “combination explosion” hinders these algorithms’ ability to detect these interactions. To perform multi-SNP analysis in complex diseases, the iterative exclusion of compatible samples (IECS) workflow is proposed in this work. In the IECS workflow, qualitative comparative analysis (QCA) is firstly employed as the calculation engine to calculate the solution; secondly, the pattern is extracted from the prime implicants with the greatest raw coverage in the solution; then, the pattern is tested with the chi-square test in the source dataset; finally, all compatible samples are excluded from the current dataset. This process is repeated until the QCA calculation has no solution or reaches the iteration threshold. The workflow was applied to analyze simulated datasets and the Alzheimer’s disease dataset, and its performance was compared with that of the BOOST and MDR algorithms. The findings illustrated that IECS exhibits greater power with less computation and can be applied to perform multi-SNP analysis in complex diseases.

Estilos ABNT, Harvard, Vancouver, APA, etc.

44

Wei, Yu-Chung. "BLogic: A Bayesian Model Combination Approach in Logic Regression". Mathematics 11, n.º 20 (19 de outubro de 2023): 4353. http://dx.doi.org/10.3390/math11204353.

Texto completo da fonte

Resumo:

With the increasing complexity and dimensionality of datasets in statistical research, traditional methods of identifying interactions are often more challenging to apply due to the limitations of model assumptions. Logic regression has emerged as an effective tool, leveraging Boolean combinations of binary explanatory variables. However, the prevalent simulated annealing approach in logic regression sometimes faces stability issues. This study introduces the BLogic algorithm, a novel approach that amalgamates multiple runs of simulated annealing on a dataset and synthesizes the results via the Bayesian model combination technique. This algorithm not only facilitates predicting response variables using binary explanatory ones but also offers a score computation for prime implicants, elucidating key variables and their interactions within the data. In simulations with identical parameters, conventional logic regression, when executed with a single instance of simulated annealing, exhibits reduced predictive and interpretative capabilities as soon as the ratio of explanatory variables to sample size surpasses 10. In contrast, the BLogic algorithm maintains its effectiveness until this ratio approaches 50. This underscores its heightened resilience against challenges in high-dimensional settings, especially the large p, small n problem. Moreover, employing real-world data from the UK10K Project, we also showcase the practical performance of the BLogic algorithm.

Estilos ABNT, Harvard, Vancouver, APA, etc.

45

Di Maio, Francesco, Roberta Rossetti e Enrico Zio. "Postprocessing of Accidental Scenarios by Semi-Supervised Self-Organizing Maps". Science and Technology of Nuclear Installations 2017 (2017): 1–14. http://dx.doi.org/10.1155/2017/2709109.

Texto completo da fonte

Resumo:

Integrated Deterministic and Probabilistic Safety Analysis (IDPSA) of dynamic systems calls for the development of efficient methods for accidental scenarios generation. The necessary consideration of failure events timing and sequencing along the scenarios requires the number of scenarios to be generated to increase with respect to conventional PSA. Consequently, their postprocessing for retrieving safety relevant information regarding the system behavior is challenged because of the large amount of generated scenarios that makes the computational cost for scenario postprocessing enormous and the retrieved information difficult to interpret. In the context of IDPSA, the interpretation consists in the classification of the generated scenarios as safe, failed, Near Misses (NMs), and Prime Implicants (PIs). To address this issue, in this paper we propose the use of an ensemble of Semi-Supervised Self-Organizing Maps (SSSOMs) whose outcomes are combined by a locally weighted aggregation according to two strategies: a locally weighted aggregation and a decision tree based aggregation. In the former, we resort to the Local Fusion (LF) principle for accounting the classification reliability of the different SSSOM classifiers, whereas in the latter we build a classification scheme to select the appropriate classifier (or ensemble of classifiers), for the type of scenario to be classified. The two strategies are applied for the postprocessing of the accidental scenarios of a dynamic U-Tube Steam Generator (UTSG).

Estilos ABNT, Harvard, Vancouver, APA, etc.

46

Ali Muhammad Ali Rushdi and Hussain Mobarak Albarakati, Ali Muhammad Ali Rushdi and Hussain Mobarak Albarakati. "Using Variable-Entered Karnaugh Maps in Determining Dependent and Independent Sets of Boolean Functions". journal of king abdulaziz university computing and information technology sciences 1, n.º 2 (15 de janeiro de 2012): 45–67. http://dx.doi.org/10.4197/comp.1-2.3.

Texto completo da fonte

Resumo:

An important class for Boolean reasoning problems involves interdependence among the members of a set T of Boolean functions. Two notable problems among this class are (a) to establish whether a given subset of T is dependent, and (b) to produce economical representations for the complementary families of all dependent subsets and independent subsets of T. This paper solves these two problems via a powerful manual pictorial tool, namely, the variableentered Karnaugh map (VEKM). The VEKM is utilized in executing a Label-and-Eliminate procedure for producing certain prime implicants or consequents used in tackling the two aforementioned problems. The VEKM procedure is a time-saving short cut indeed, since it efficiently handles the three basic tasks demanded by the solution procedure, which are: (a) To combine several Boolean relations into a single one, (b) to compute conjunctive eliminants of a Boolean function, and (c) to derive the complete sum (CS) of a Boolean function. The VEKM procedure significantly reduces the complexities of these tasks by introducing useful shortcuts and allowing simultaneous processing. The VEKM procedure is described in detail, and then demonstrated via two illustrative examples, which previously had only black-box computer solutions as they were thought to be not amenable to manual solution. The first example deals with switching or bivalent functions while the second handles 'big' Boolean functions. Both examples indicate that the VEKM procedure proposed herein enjoys the merits of insightfulness, simplicity and efficiency

Estilos ABNT, Harvard, Vancouver, APA, etc.

47

Echenim, Mnacho, Nicolas Peltier e Sophie Tourret. "Prime Implicate Generation in Equational Logic". Journal of Artificial Intelligence Research 60 (18 de dezembro de 2017): 827–80. http://dx.doi.org/10.1613/jair.5481.

Texto completo da fonte

Resumo:

We present an algorithm for the generation of prime implicates in equational logic, that is, of the most general consequences of formulæ containing equations and disequations between first-order terms. This algorithm is defined by a calculus that is proved to be correct and complete. We then focus on the case where the considered clause set is ground, i.e., contains no variables, and devise a specialized tree data structure that is designed to efficiently detect and delete redundant implicates. The corresponding algorithms are presented along with their termination and correctness proofs. Finally, an experimental evaluation of this prime implicate generation method is conducted in the ground case, including a comparison with state-of-the-art propositional and first-order prime implicate generation tools.

Estilos ABNT, Harvard, Vancouver, APA, etc.

48

Schrag, Robert, e James M. Crawford. "Implicates and prime implicates in Random 3-SAT". Artificial Intelligence 81, n.º 1-2 (março de 1996): 199–222. http://dx.doi.org/10.1016/0004-3702(95)00053-4.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

49

Van De Putte, F. "Prime implicates and relevant belief revision". Journal of Logic and Computation 23, n.º 1 (7 de novembro de 2011): 109–19. http://dx.doi.org/10.1093/logcom/exr040.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

50

Rymon, Ron. "An SE-tree-based prime implicant generation algorithm". Annals of Mathematics and Artificial Intelligence 11, n.º 1-4 (março de 1994): 351–65. http://dx.doi.org/10.1007/bf01530750.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!