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.

15 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
63 views

How do I use truth tables to prove Entailment?

For example, consider an agent concerned with predicting the weather, with variable R indicating whether or not it is likely to rain, variable C indicating whether or not it is cloudy, and variable L ...
84 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 ...
159 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 ...
81 views

How to translate sudoku XV boards in CNF format?

I'm trying to implement the logic for a Sudoku XV puzzle, that it's essentially a standard sudoku with the addition of X and V markers between some pairs of squares. X markers in adjacent pairs ...
28 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 ...
121 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 ...
573 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: ...
22 views

Implementing Logic Inference with Deep Learning

Short question How can I implement Logic Inference with Deep Learning? Long question Based on Symbolic Logic, chaining multiple predicates (a short example is Syllogism) is a method of implementing ...
35 views

Does the substituted variable/constant have to appear in the unified term?

I'm checking out how to manually apply resolution on a first order predicate logic knowledge base and I'm confused about what is allowed or not in the algorithm. Let's say that we have the following ...
64 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)...
1k 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, ...
80 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 ...
94 views

What is the difference between derivation and entailment?

Here is the (maybe abridged) definition from the book - Artificial Intelligence, a modern approach An inference algorithm š is sound or truth-preserving if it derives only entailed sentences It is ...