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.

16 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3
votes
0answers
66 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
89 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
95 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
30 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
131 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
166 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
758 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
23 views

What is the difference between "Syllogism" and "Law of Syllogism"?

The logical arguments are the basis for Artificial Intelligence. That is why I picked AI community to ask my question. Reading from Wikipedia, A syllogism is a kind of logical argument that applies ...
1
vote
0answers
361 views

What is the difference between derivation and entailment?

In section 7.3 of the book Artificial Intelligence: A Modern Approach (3rd edition), it's written An inference algorithm that derives only entailed sentences is called sound or truth-preserving. The ...
1
vote
0answers
24 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
45 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
89 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
87 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
21 views

Is there a modern alternative to AceWiki?

I'm looking for software (command line or GUI, whatever) that allows me to write a knowledge base in a formalized language, ask questions and check the consistency of the whole. I have found a project ...
-1
votes
1answer
52 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 work ...