Questions tagged [logic]

For questions about algorithms and concepts for the development or use of logical inference capabilities in computers or the use of logical inference to arrive at the most useful AI designs.

Filter by
Sorted by
Tagged with
2
votes
0answers
22 views

Developmental systems that try to explain or understand the reward value in the reinforcement learning?

Are there methods (possibly logical or (how they are called in the literature) relational) that allows for the developmental systems to understand or explain the value of the received reward during ...
6
votes
5answers
179 views

Is randomness anti-logical?

I came across a comment recently "reads like sentences strung together with no logic." But is this even possible? Sentences can be strung together randomly if the selection process is random. (...
4
votes
2answers
90 views

Can we optimize an optimization algorithm?

In this answer to the question Is an optimization algorithm equivalent to a neural network?, the author stated that, in theory, there is some recurrent neural network that implements a given ...
4
votes
2answers
76 views

How would an AI work out this question?

I am trying to create an AI that makes reasonable guesses at truths of statements. However... Human: "Prove that no number exists which is one more than a billion." AI: "Is it true for the number 1? ...
0
votes
0answers
13 views

Logically infering using resolutions

How can I know if it is possible to logically infer both sentences from the given database? (Using first order logic) My basic assumptions are that(because of dealing with AI): Closed world ...
1
vote
0answers
35 views

Formulation of a sentence using FOL

I want to formulate the following sentence using FOL; I want also to know whether there any contradictions in it, or if it is consistent. Assuming human relations are binary: All Human Relations ...
1
vote
1answer
78 views

Meaning of the statement $\forall x \exists y \forall z (z \neq y \iff f(x) \neq z)$

I need to understand the logic of below FOL statement. Can someone help? $$ \forall x \exists y \forall z (z \neq y \iff f(x) \neq z) $$ Does this imply that x, y and z cannot be same or f(x) has no ...
1
vote
1answer
21 views

Why is description logic decidable but first order logic is not decidable?

Description logic is a fragment of first order logic, but description logic is decidable and first order logic not decidable. Why is that? what is the role of variables in first order logic to make it ...
1
vote
0answers
22 views

Logic questions: reasoning pattern, Infer literals, unit resolution, and-elimination etc

Show which literals can be inferred from the following knowledge bases, using both reasoning patterns and truth tables. Show all steps in your reasoning and explain your answers. 1) P & Q 2)...
2
votes
2answers
140 views

When is knowledge base consistent?

I am studying a knowledge base (KB) from the book "Artificial Intelligence: A Modern Approach" (by Stuart Russell and Peter Norvig) and from this series of slides. A formula is satisfiable if there ...
2
votes
1answer
59 views

Choice of fuzzification function

I'm a relative newbie to fuzzie logic systems but I have some knowledge in mathematics. I have the following problem: I want to fuzzify certain values. Some are in the range [-$\inf$,$\inf$] and some ...
3
votes
2answers
144 views

MinMax and enormous branches

I have to build a KI for a made-up game similar to chess. As I did research for a proper solution, I came upon the MinMax algorithm, but I'm not sure it will work with the given game dynamics. The ...
1
vote
2answers
38 views

Possible to translate generic English-language document into higher-order logic?

(Un-original) idea: Wouldn't it be cool if we could fact-check using an algorithm that could understand a whole bunch of documents (e.g. scientific papers) as higher-order logic? Question: What ...
0
votes
1answer
31 views

Can an artificial network create a rule from rule components?

If an antecedent in a rule involves $m$ two-state features and results in consequences from a set of $n$ possible ones, we have $2^{m+n}$ permutations, which are, in a sense, be categories. If ...
6
votes
1answer
57 views

What are the current trends/open questions in logics for knowledge representation?

What are the future prospects in near future from a theoretical investigation of description logics, and modal logics in the context of artificial intelligence research?
1
vote
1answer
111 views

What is the correct way to use implication in first order logic? [closed]

I know implication (—>) is used for conditions like if x is true then b will be true but sometimes implication is used in other than these type of sentences For example : All A's are Bs: ∀X (a(X) ⇒ b(...
9
votes
2answers
474 views

Is topological sophistication necessary to the furtherance of AI?

The current machine learning trend is interpreted by some new to the disciplines of AI as meaning that MLPs, CNNs, and RNNs can exhibit human intelligence. It is true that these orthogonal structures ...
5
votes
3answers
580 views

Is the singularity concept mathematically flawed?

In Comes IQ When the concept of Intelligence Quotient arose it was based on this approximation. Each human being has a number that quantifies their intelligence relative to a fixed norm, and, ...
3
votes
2answers
104 views

Google's Principles of Artificial Intelligence

Earlier this month, Google released a set of principles governing their AI development initiatives. The stated principles are: Objectives for AI Applications: Be socially beneficial. ...
1
vote
1answer
37 views

How is uniqueness quantification translated in First Oder Logic

I have this following natural language statement: "There is only one house in area1 the size of which is less than 200m²." which is mistranslated to FOL: ...
2
votes
2answers
83 views

AI Knowledge Based System: I am having difficulties understanding proposition logic

I am having difficulties wrapping my head around how the answer is being produced. How does the solution come up with the answer 3? How does one derive the answer 3 from the truth table? For example ...
1
vote
1answer
76 views

Which edges of this tree will be pruned by Alpha-beta pruning?

So I know that 'h' and 'f' will be pruned, but I'm not sure about 'k' and 'l'. When we visit 'j', technically there is no need for us to visit 'k' and 'l' because there are 2 options: one or two of ...
1
vote
1answer
90 views

Minimum number of perceptrons for an n-bit truth table?

Suppose I have a Boolean function that maps N bits to one bit. If I understand correctly, this function will have 2^2^N possible configurations of its truth table. What is the minimum number of ...
2
votes
1answer
46 views

String node untying algorithm

Let say that we have four straight string with colors RED, GREEN, BLUE and YELLOW. These strings are tied up randomly. We know the current state of string (like starting point, where we should we ...
0
votes
3answers
412 views

Alpha-beta pruning

I have an AI class this semester. For our exam we also cover Alpha-Beta Pruning. I found an old example, where I think we can stop already earlier. Here is a picture of it. I think, because X ...
1
vote
1answer
693 views

Writing a knowledge base (KB) in propositional logic and converting the KB into conjunctive normal form

If you walk your dog, he'll be happy. If you don't walk him, he'll chew up your furniture. If he's happy or if he chews your furniture, he'll mess up your apartment. If he messes up your apartment, ...
1
vote
0answers
30 views

Automated rule set deduction

Being by no means an expert in the field, I do however know of solvers such as Z3 that can generate a correct program provided you can express your constraints as a set of logical rules, such as here. ...
4
votes
1answer
85 views

Why do knowledge-based agents only add a sentence to the knowledge base when it is 100% sure the sentence is true?

According to Russell and Norvig, a knowledge-based agent will only add a sentence to its knowledge base if it follows logically from what it previously knows, or directly observes. To follow logically ...
3
votes
0answers
77 views

Answer Set Programming - Make a Fact INVALID

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 ...
8
votes
2answers
1k views

Logic-based vs rule-based AI

I always thought rule-based was synonymous with logic-based AI. Logic has axioms and rules of inference, whereas rule-based ai has a knowledge base (essentially axioms) and if-then rules to create new ...
1
vote
0answers
73 views

How to select the set of support and why?

In Artificial Intelligence: a Modern Approach, when it talks about strategies to improve efficiency of resolution inference(section 9.5.6), it says selecting the ...
7
votes
3answers
338 views

What is meant by “known” in “A knowledge-base exhibits complete knowledge iff for every P (within its vocabulary) P or ~P is known”

I have a question as to what it means for a knowledge-base to be consistent and complete. I've been looking into non-monotonic logic and different formalisms for it from the book "knowledge ...
3
votes
1answer
89 views

What are examples of AI that use philosophy derived ontologies?

I'm looking for AI systems or natural language processors that use, in the classification and interrelation of notions/objects, some philosophical system, like basic laws of logic, Kantian or ...
2
votes
0answers
438 views

Translate English Sentences into First-Order Logic without quantifiers

I have to translate the following English sentences into First-Order Logic without using quantifiers: ...
3
votes
1answer
102 views

Equivalence of formulae

If I have two statement, say A and B. From which, I formed two formulae: F1: (not A) and (not B) F2: (not A) or (not B) Do F1 and F2 entail each other? In other words, are they equivalent?
3
votes
2answers
93 views

How to determine the probability of an “existence” question

I am having a go at creating a program that does math like a human. By inventing statements, assigning probabilities to statements (to come back and think more deeply about later). But I'm stuck at ...
0
votes
1answer
275 views

Why is the Universal Declaration of Human Rights not included as statement on the AI?

Lots of people are afraid of what strong AI could mean for the human race. Some people wish for a sort of "Asimov law" included in the AI code, but maybe we could go a bit more far with the UDHR. So, ...
5
votes
2answers
381 views

What does the term “closed expression” mean?

In the field of logic systems there is a property for reasoning algorithms called incompleteness or incompletion. In this context the phrase "any closed expression that is not derivable inside the ...
1
vote
1answer
167 views

How can thought vectors be used outside of an Artificial Neural Network (ANN) context?

We hear a lot today about how thought vectors are the Next Big Thing in AI, and how they serve as the underlying representation of thought/knowledge in ANN's. But how can one use thought vectors in ...