Questions tagged [logic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
1answer
50 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 ...
0
votes
0answers
12 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 ...
0
votes
0answers
34 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 (...
3
votes
4answers
214 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 ...
0
votes
0answers
8 views

SPSS Syntax - Computing variable if a certain number of variables meet a given criteria

I have a question regarding syntax for recoding multiple variables into a new variable in SPSS. The set-up: I have 7 dichotomized variables (VAR1X, VAR2, VAR3, VAR4, VAR5, VAR6, VAR7) and want to ...
1
vote
0answers
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 ...
3
votes
3answers
272 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. ...
1
vote
0answers
23 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 ...
2
votes
1answer
69 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$...
2
votes
1answer
209 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 ...
3
votes
2answers
41 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 ...
0
votes
1answer
508 views

How to design a fitness function for binary logic network?

Assume we have a directed graph of connected nodes, where each node represents a logical operator. Input for this logic operator are values on all edges leading to the node and the result is outputted ...
0
votes
0answers
23 views

Are these logical variables for predicting among train/test sets?

I'm wondering if the following makes sense for a model. I have a training and a test set. I want to predict whether a website visitor is a bot or a human, based on several visits. The data has been ...