8 Logic-based vs rule-based AI 2017-08-09T01:39:46.933

7 What is meant by "known" in "A knowledge-base exhibits complete knowledge if and only if, for every $P$, $P$ or $\neg P$ is known"? 2017-04-26T23:47:06.000

7 What are the current trends/open questions in logics for knowledge representation? 2018-10-21T09:15:40.760

7 Is randomness anti-logical? 2019-08-02T00:47:19.400

5 What does the term "closed expression" mean? 2016-11-01T17:48:59.553

4 Why do knowledge-based agents only add a sentence to the knowledge base when it is 100% sure the sentence is true? 2017-08-24T02:56:04.813

4 How would an AI work out this question? 2019-07-23T19:08:31.140

4 Can we optimize an optimization algorithm? 2019-07-23T22:02:12.300

3 How can thought vectors be used outside of an Artificial Neural Network (ANN) context? 2016-08-29T21:00:04.167

3 How to determine the probability of an "existence" question 2016-12-11T23:15:04.860

3 Equivalence of formulae 2017-01-27T14:20:54.040

3 What are examples of AI that use philosophy derived ontologies? 2017-03-12T18:05:51.793

3 Answer Set Programming - Make a Fact INVALID 2017-08-17T07:15:24.897

3 Google's Principles of Artificial Intelligence 2018-06-28T16:23:15.703

3 How do I use truth tables to prove Entailment? 2018-10-19T18:13:35.587

2 Translate English Sentences into First-Order Logic without quantifiers 2017-02-22T16:45:08.400

2 String node untying algorithm 2017-12-23T21:23:29.133

2 AI Knowledge Based System: I am having difficulties understanding proposition logic 2018-05-14T18:19:13.363

2 Choice of fuzzification function 2018-12-22T15:46:44.227

2 When is knowledge base consistent? 2019-02-09T10:17:59.980

2 Formulation of a sentence using FOL 2019-05-02T07:39:49.367

2 Developmental systems that try to explain or understand the reward value in the reinforcement learning? 2019-08-20T21:02:56.617

2 What are the challenges faced by using NLP to convert mathematical texts into formal logic? 2020-04-06T21:39:35.057

1 How to select the set of support and why? 2017-07-26T23:48:30.277

1 Automated rule set deduction 2017-10-04T22:41:25.223

1 Writing a knowledge base (KB) in propositional logic and converting the KB into conjunctive normal form 2017-10-14T22:41:18.833

1 Minimum number of perceptrons for an n-bit truth table? 2018-04-12T05:12:18.157

1 Which edges of this tree will be pruned by Alpha-beta pruning? 2018-04-20T10:49:59.647

1 How is uniqueness quantification translated in First Oder Logic 2018-06-04T10:40:05.463

1 What is the correct way to use implication in first order logic? 2018-09-28T04:29:35.277

1 Possible to translate generic English-language document into higher-order logic? 2018-11-13T17:22:08.943

1 Logic questions: reasoning pattern, Infer literals, unit resolution, and-elimination etc 2019-02-13T17:04:40.857

1 Why is description logic decidable but first order logic is not decidable? 2019-04-01T00:36:19.820

1 Meaning of the statement $\forall x \exists y \forall z (z \neq y \iff f(x) \neq z)$ 2019-04-14T18:47:58.480

1 Does the substituted variable/constant have to appear in the unified term? 2019-11-30T09:39:39.163

1 Implementing Logic Inference with Deep Learning 2019-12-18T01:24:40.180

1 When to use AND and when to use Implies in first-order logic? 2020-06-18T18:39:43.483

0 Why is the Universal Declaration of Human Rights not included as statement on the AI? 2016-12-01T19:54:54.373

0 Can propositional resolution be done with DNF? 2020-06-18T08:12:55.917