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
3
votes
0answers
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 ...
3
votes
0answers
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 ...
2
votes
0answers
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 ...
2
votes
0answers
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 ...
2
votes
0answers
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 ...
2
votes
0answers
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 ...
2
votes
0answers
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: ...
1
vote
0answers
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 ...
1
vote
1answer
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 ...
1
vote
0answers
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)...
1
vote
0answers
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, ...
1
vote
0answers
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 ...
0
votes
0answers
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 ...
0
votes
0answers
11 views

What are some good use cases of Inference in Hybrid Domains (Logical + Continuous)?

So this question pertains to Statistical Relational Learning. Specifically in domains where you have a Knowledge base with probabilistic facts, you may think something like a Markov Logic Networks (...
0
votes
0answers
26 views

Can propositional resolution be done with DNF?

I have read that propositional resolution works best for formulas in CNF but does it also work with DNF? if yes how? if no why not?