Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [logic]

The tag has no usage guidance.

0
votes
0answers
6 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
27 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
139 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
7 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 ...
0
votes
0answers
10 views

Prediction problem- Build model using 6 months data and predict on one month data?

I have a data set which contains site usage behavior of users over a period of six months. It contains data about: Number of pages viewed Number of unique cookies associated with each user Different ...
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
220 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. ...
0
votes
0answers
44 views

Are sets and sentences the same thing in probability?

Are sets and sentences the same in probability? Suppose you roll a six sided die. Somebody asks what is the probability of getting a 3? Ans: You would write P(getting a 3) Could you write it as P({3}...
1
vote
0answers
21 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
67 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
205 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
40 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
488 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
22 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 ...