A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.

# Questions tagged [logic]

The tag has no usage guidance.

14 questions
Filter by
Sorted by
Tagged with
19 views

### Model Checking : Closure and Prefix properties [closed]

If P is an LT property, prove that pref(closure(P)) = pref(P). I am using the book " Principles of Model Checking " by Christel Baier and Joost Pieter Katoen ....
23 views

### Deductive reasoning and artificial intelligence

AI has proven to be extraordinary effective for solving certain types of intellectual problems that we thought before only our brains could solve. The number of applications is tremendous: engineering,...
66 views

### In the context of conjunctive boolean functions, what does “$\Rightarrow y$” mean?

This post gives an example to illustrate the size of a Hypothesis Space for discrete classification problems. A hypothesis is a function $f:\mathcal{X} \to \mathcal{Y}$, where $\mathcal{X}$ is the ...
18 views

### State of the art for learning first order logic theories

What is the state of the art for machine learning first order logic theories from examples? I am familiar with inductive logic programming systems such as Progol and Aleph. These do a really good job ...
43 views

### Approximating Binary Target Vectors using Machine-Learned Boolean Functions of Logical Statements

I was wondering if there exist any ML algorithms for finding the "best possible" Boolean function whose output will approximate a binary target vector. My data consist of roughly 100k observations (...
311 views

### Chicken and egg problem in determining the target feature

I have a large dataset of customers in an online shop, where many features regarding their history of buying behavior are recorded: who bought what, at which time, how often they entered the shop, at ...
15 views

### Models that infer “high-level rules”

Are there any models that infer "high-level" rules? Consider for example the plot that represents data from a table with 3 entries: A $x$ and $y$ column of real-valued data and a label column with ...
318 views

### Book or article recommendation about causality and counterfactuals

I'd like to assign undergraduate students with little to no math experience an article, short part of a book, or even a blog post about causality and counterfactual logic that is easy to understand. ...
24 views

### Answer Set Programming - Make a Fact INVALID [closed]

I have a question regarding Answer Set Programming on how to make an existing fact invalid, when there is already (also) a default statement present in the Knowledge Base. For example, there are two ...
80 views

### A Logic based Problem with Probability of Failure

A lot of five identical batteries is life tested. The probability assignment is assumed to be $$P(A)=\int_A\ (1/\lambda) * e^{-x/\lambda}dx\$$ for any event A$\sqsubseteq[0,\infty)$, where $\lambda$...
216 views

### Is it always true that $P(X| Y \text{ OR } Z) \le P(X|Y)$?

Consider the following argument: If $(X| Y \ \text{OR} \ Z)$ is true, $(X| Y)$ must be true. For example, if $f(t)=10$ when $t=1$ or $\ t=0$ is true, then $f(t)=10$ when $t=1$ must be true ...
42 views

### Relationship between categorical factors

I am not sure what this is called in English, but if we have two categorical factors, we can say that one of them (A) is finer than the other (B) if it holds true that if two observations belong to ...