Computer Science Stack Exchange
Computer Science Stack Exchange

Questions tagged [reasoning]

20 questions
8
votes
1 answer

What Is The Complexity of Implementing a Particle Filter?

In a video discussing the merits of particle filters for localization, it was implied that there is some ambiguity about the complexity cost of particle filter implementations. Is this correct? Could someone explain this?
DorkRawk
  • 303
  • 1
  • 7
7
votes
1 answer

Framework or tools to generate theorem prover/solver/reasoner for new logic

I have new logic which has syntax and semantics in usual natural languages and I have to create theorem prover/solver/reasoner for this logic. Is there framework or tool set that can generate such prover from the formal definition of grammar and…
TomR
  • 1,411
  • 8
  • 17
7
votes
1 answer

Differences between basic, complex and terminological facts in a Knowledge Base using First-Order Logic

I've been reading the excellent book Knowledge Representation and Reasoning by Ronald Brachman and Hector Levesque. In the beginning of Section 3.2 "Vocabulary" of Chapter 3 "Expressing Knowledge" they state: In creating a KB (Knowledge Base) it is…
Paulo Tomé
  • 173
  • 5
6
votes
2 answers

Do we have knowledge bases only because the logics are not automated enough?

Do we have knowledge bases only because the logics are not automated enough? I.e. - is it true, that the ideal situation would be that we use the set of logical formulas as the knowledge base together with the deduction services of the relevant…
TomR
  • 1,411
  • 8
  • 17
5
votes
1 answer

Why is this expression (A and ¬A |= C) entailed?

Hopefully I am posting this in the right place, I am currently in a course of knowledge representation, and I came across an exercise about entailment: $$A\land\neg A\vDash C\,.$$ I would argue that this expression is not entail, but it is actually…
Necronet
  • 153
  • 6
4
votes
0 answers

Quantum algorithms for logical inference - reference request?

Microsoft is committed to the building of the scalable, industrial size topological quantum computer, Visual Studio integrated programming language and SDK will be released by the end of this year (2017). From the other side, logical/symbolic…
TomR
  • 1,411
  • 8
  • 17
4
votes
1 answer

Successful applications of fuzzy logic to reasoning in AI?

I've done some searching and it seems that fuzzy logic is used in (electronic) controllers. I'm interested in seeing how well it fares as a tool for reasoning. Are there any robots or programs that do clever things with it?
anonymous
  • 171
  • 4
3
votes
1 answer

Trying to understand interpretation and denotation in FOL

I am going through the book "Knowledge Representation and Reasoning" by Brachman and Levesque. So an interpretation $ F $ is defined as a pair $ \langle D,I \rangle $ mapping from a set of objects $ D$ called domain of the interpretation and $ I $…
Sheldon Kripke
  • 567
  • 4
  • 5
3
votes
1 answer

Implementing abduction over first order theories

I am interested in implementing abduction over a full first order theory ie it may be non-Horn. (Aside: Almost all the references I've seen for abduction operate over Horn theories eg "Modeling Abduction over Acyclic First-Order Logic Horn Theories…
Motorhead
  • 291
  • 1
  • 2
  • 9
2
votes
1 answer

Resolution and incomplete Knowledge Base

Assume I have an incomplete knowledge base, for example: (rich(dave), poor(dave)) // dave is either poor or rich (not rich(dave), not poor(dave)) // dave is not poor and rich at the same time. My questions are: 1. If I do resolution on the above…
Aida T.
  • 23
  • 2
2
votes
1 answer

What does $\alpha_r\supset\beta_r$ mean in the tolerance definition of System Z?

I'm reading up on System Z introduced by Judea Pearl (in System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning). A central definition is that of tolerance of a subset $R'$ of a rule set $R$ for a rule $r =…
FK82
  • 273
  • 2
  • 8
2
votes
1 answer

Logic Question - Why is This an Implication?

I have a question about predicate logic. Suppose we have the following predicates: $\text{Study}(x,y)$: x studies y $\text{Comp}(x)$: x is a computing student I want to encode the following sentence in predicate logic: "Some, but not all computer…
Natu Myers
  • 121
  • 2
2
votes
2 answers

Elimination of duplicate premise

Suppose that I have a proof tree starting with some statement |- B in a sequent calculus, leading to two premises/leaves |- A. Is it always possible to transform such a proof tree into another proof tree, which only contains one leaf |- A only using…
aiquita
  • 21
  • 1
2
votes
0 answers

How “logic-based symbolic reasoning” and “ontology” are related?

I have a basic understanding of knowledge representation systems, semantic networks and ontologies. But I can not relate my understanding to the reasoning. How the reasoning is applied on ontologies and semantic networks?
Adel
  • 121
  • 1
2
votes
0 answers

Ontology Editor or Something Else (in my case)?

Does there exist a system, e.g., software, an environment, a programming language, or the like, to represent knowledge and to reason with it, to query with, where the (descriptive) language used is at least predicate logic with modal operators,…
user101144
  • 39
  • 2
1
2