Questions tagged [knowledge-representation]

For questions about methods/intuitions/proofs/improvements in the knowledge representation in a problem to be solved by Artificially Intelligent agent.

Filter by
Sorted by
Tagged with
0
votes
1answer
76 views

How can I draw a conceptual dependency for the statement “Place all ingredients in a bowl and mix thoroughly”?

I stumbled across a question asking to draw a conceptual dependency for the following statement: Place all ingredients in a bowl and mix thoroughly My attempt so far Explanation: Both the sender ...
0
votes
0answers
23 views

Can True(L, x) be defined as membership of x in recursive language L?

Can True(L, x) be defined as membership of x in recursive language L? In order to formalize natural language semantics using truth conditional semantics it seems that we must first formalize the ...
4
votes
3answers
144 views

What would be a good internal language for an AI?

For an AI to represent the world, it would be good if it could translate human sentences into something more precise. We know, for example, that mathematics can be built up from set theory. So ...
1
vote
0answers
32 views

How would we define a set that contains itself within a knowledge ontology?

How would we define a set that contains itself within a knowledge ontology? I am thinking that set membership would probably inherit from a generic base class of total containment from which both ...
3
votes
0answers
45 views

Is the Assumption-based Truth Maintenance System still used?

Is the Assumption-based Truth Maintenance System still used to maintain consistency while explicitly accounting for assumptions?
2
votes
3answers
182 views

Who is working on explaining the knowledge encoded into machine learning models? [duplicate]

The thing about machine learning (ML) that worries me is that "knowledge" acquired in ML is hidden: we usually can't explain the criteria or methods used by the machine to provide an answer ...
2
votes
1answer
114 views

What is the difference between a semantic network and an ontology?

What is the difference between a semantic network and an ontology? How are they related? I have not found any article that describes how these two concepts are related.
0
votes
1answer
39 views

How would an AI understand grids?

OK, now I think an AI must view grids in a different way to computers. For example a computer would represent a grid like this: ...
3
votes
1answer
82 views

Is unsupervised disentanglement really impossible?

In Locatello et al's Challenging Common Assumptions in the Unsupervised Learning of Disentangled Representations he claims to prove unsupervised disentanglement is impossible. His entire claim is ...
11
votes
5answers
6k views

Why do we need common sense in AI?

Let's consider this example: It's John's birthday, let's buy him a kite. We humans most likely would say the kite is a birthday gift, if asked why it's being bought; and we refer to this reasoning ...
1
vote
0answers
21 views

Is there any readily available concept/topic tree?

I am looking for dataset in tree structure that captures the hierarchy of concepts. For example, something like, ...
1
vote
0answers
78 views

What is the difference between Knowledge Representation and Automated Reasoning?

Knowledge Representation and Automated Reasoning are two AI subfields which seem to have something to do with reasoning. However, I can't find any information online about their relationship. Are ...
2
votes
1answer
106 views

Are Relational DBs and SQL used in Expert Systems?

In the book Prolog Programming for Artificial Intelligence, a large and intricate chapter (chapter 14) is dedicated to Expert Systems. In these systems, a knowledge-database is represented through ...
2
votes
0answers
127 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
56 views

ChatBot applications [Academia]

I am in education and I'm wondering about the use of chatbot-like tools to facilitate automated discussions among students. The chatbot domain of knowledge would be purposely restricted to a specific ...
1
vote
1answer
61 views

Learning similarities between customers and offers representation

I am interested in a framework for learning the similarity of different input representations based on some common context. I have looked into word2vec, SVD and siamese networks, all of which are ...
3
votes
2answers
450 views

When is a knowledge base consistent?

I am studying a knowledge base (KB) from the book "Artificial Intelligence: A Modern Approach" (by Stuart Russell and Peter Norvig) and from this series of slides. A formula is satisfiable ...
7
votes
1answer
80 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?
1
vote
1answer
49 views

What are “function terms” in the context of an ontology?

I was going through the Wikipedia page on ontology components and noticed something that I had been hoping to find, for a long time. In the components' overview it mentioned: Function terms: ...
2
votes
1answer
404 views

How to implement an artificial network that outputs an integer within a range?

The goal is to implement an artificial network that, based on training samples labelled with positive integers, outputs a positive integer. Perhaps I am not searching for the correct thing but all ...
3
votes
0answers
189 views

Logic for a knowledge based expert system [closed]

Basically, I want a system that reads blobs of text, parses it and stores related chunks and when the user asks a question, it returns with an in-context answer which groups together a bunch of facts. ...
6
votes
1answer
1k views

Did Turing foresee the required capabilities to pass the Turing test?

In Section 1.1 of Artificial Intelligence: A Modern Approach, it is stated that a computer which passes the Turing Test would need 4 capabilities, and that these 4 capabilities comprise most of the ...
2
votes
2answers
3k views

Training an AI to play Starcraft 2 with superhuman level of performance?

I'm interested in working on challenging AI problems, and after reading this article (https://deepmind.com/blog/deepmind-and-blizzard-open-starcraft-ii-ai-research-environment/) by DeepMind and ...
4
votes
2answers
175 views

As a starter: what is the form of training data for image processing

What we are doing in the image processing training. We are storing some form of data which is going to act as the knowledge or experience of the system. In which form can the system store it's ...
3
votes
0answers
84 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 ...
8
votes
1answer
2k views

What is the difference between logic-based and rule-based AI?

I always thought rule-based was synonymous with logic-based AI. Logic has axioms and rules of inference, whereas rule-based AI has a knowledge base (essentially, axioms) and if-then rules to create ...
7
votes
3answers
370 views

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”?

I have a question as to what it means for a knowledge-base to be consistent and complete. I've been looking into non-monotonic logic and different formalisms for it from the book "Knowledge ...
14
votes
3answers
2k views

What roles knowledge bases play now and will play in the future?

Nowadays, artificial intelligence seems almost equal to machine learning, especially deep learning. Some have said that deep learning will replace human experts, traditionally very important for ...
2
votes
0answers
582 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: ...
3
votes
2answers
261 views

What does Brooks mean by Representation?

So for a class I'm reading Brooks' "Intelligence without representation". The introduction is dedicated to slating Representation as a focus for AI development. I've read that representation is the ...
4
votes
2answers
150 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?
6
votes
2answers
358 views

Has any schema-agnostic database engine been implemented?

Has any schema-agnostic database engine been implemented?
2
votes
3answers
395 views

How could human behavior and relationships be implemented?

One of the most compelling issues regarding AI would be in behavior and relationships. What are some of the methods to address this? For example, friendship, or laughing at joke? The concept of ...
9
votes
2answers
512 views

How can an AI system develop its domain knowledge? Is there more than just Machine Learning?

So machine learning allows a system to be self-automated in the sense that it can predict the future state based on what it has learned so far. My question is: Are machine learning techniques the only ...
6
votes
2answers
427 views

Wisdom representation?

For years I have been dealing with (and teaching) Knowledge Representation and Knowledge Representation languages. I just discovered that in another community (Information Systems and the such) there ...
11
votes
2answers
495 views

Is anybody still using Conceptual Dependency Theory?

Roger Schank did some interesting work on language processing with Conceptual Dependency (CD) in the 1970s. He then moved somewhat out of the field, being in Education these days. There were some ...
4
votes
1answer
50 views

Are there emergent models of time in robots?

I am interested in the emergence of properties in agents, and, more generally in robotics. I was wondering if there is work on the emergence of time-related concepts, on the low-level representation ...