What's the deal with Deno? We talk with a major contributor to find out. Listen now.

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.

12 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3
votes
0answers
62 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
81 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
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
97 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
537 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
20 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
32 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
48 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
31 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. ...
1
vote
0answers
78 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
9 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
25 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?