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.

43 questions
Filter by
Sorted by
Tagged with
22 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 ...
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 ...
179 views

Given statements $A$ and $B$, are the formulae $(\lnot A) \land (\lnot B)$ and $(\lnot A) \lor (\lnot B)$ equivalent?

If I have 2 statements, say $A$ and $B$, from which I formed 2 formulae: $f_1: (\lnot A) \land (\lnot B)$ $f_2: (\lnot A) \lor (\lnot B)$ Are $f_1$ and $f_2$ equivalent?
58 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 ...
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 ...
932 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 ...
37 views

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 ...
87 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? ...
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 ...
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 ...
100 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 ...
87 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?
33 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 ...
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)...
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, ...
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 ...
93 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 ...
152 views

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. ...
164 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 ...
60 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: ...
95 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 ...
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 ...
313 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 ...
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 ...
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: ...