Questions tagged [reasoning]
The reasoning tag has no usage guidance.
20
questions
0
votes
2
answers
113
views
Elemination of duplicate premise
Suppose that I have proof tree starting with some statement |- B in a sequent calculus, leading to two premises/leafs |- A.
Is it always possible to transform such a proof tree into another proof tree,...
2
votes
0
answers
23
views
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 ...
0
votes
2
answers
136
views
Why there is forward chaining inference engine (reasoner) for description logics only and not for other logics?
Reasoner is forward chaining inference engine (https://en.wikipedia.org/wiki/Semantic_reasoner) as opposite to Prolog backward chaining SAT solver (for queries). Why there is reasoner for description ...
1
vote
1
answer
37
views
List of all possible reasoning tasks - satisfiability and theorem proving only?
What is the exhaustive list of reasoning tasks? As far as I can understand, then any logical reasoning reduces to 2 tasks only: 1) satisfiability problem (finding the assignment of the variables) and ...
2
votes
0
answers
68
views
Ontology Editor or Something Else (in my case)? [closed]
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 ...
0
votes
1
answer
128
views
Proving whether $\bf{K}$(Happy $\lor$Sad) $\implies$ $\neg \bf{K}($Happy) is satisfiable, valid or unsatisfiable
I have a question that I am stuck on reasoning about knowledge. For the following statement, I need to show whether it is valid, satisfiable or unsatisfiable:
$\bf{K}$(Happy $\lor$Sad) $\implies$ $\...
5
votes
1
answer
760
views
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 ...
3
votes
1
answer
530
views
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 $ ...
4
votes
0
answers
48
views
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 (...
6
votes
2
answers
839
views
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 ...
3
votes
1
answer
80
views
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 ...
7
votes
1
answer
255
views
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 ...
0
votes
1
answer
57
views
Is applying a formula a kind of reasoning?
Supposed I have a set of simple rules, e.g.
if A is between 10 and 20 and B is between 3 and 5, then use 3
and this rules are used in some kind of (more or less)...
1
vote
0
answers
45
views
Language involving length constraints and reversal
Why is the language $A=\{wtw^r: w,t\in\{0,1\}^*\text{ and }|w|=|t|\}$ not a context free language?
It is turning out to be really tricky. Is there an easy way to show this?
2
votes
1
answer
34
views
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 ...
2
votes
1
answer
236
views
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 ...
7
votes
1
answer
564
views
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" ...
1
vote
1
answer
188
views
Resolution and incomplete Knowledge Base
Assume I have an incomplete knowledge base, for example:
...
4
votes
1
answer
409
views
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 ...
8
votes
1
answer
1k
views
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? ...