Knowledge Representation and Reasoning
GPTKB entity
Statements (74)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
artificial intelligence subfield |
| gptkbp:abbreviation |
KR&R
|
| gptkbp:application |
natural language processing
robotics semantic web automated planning expert systems |
| gptkbp:challenge |
frame problem
scalability common sense reasoning incomplete knowledge non-monotonicity expressiveness vs. tractability knowledge acquisition bottleneck representation of uncertainty |
| gptkbp:conference |
International Conference on Principles of Knowledge Representation and Reasoning
|
| gptkbp:focusesOn |
reasoning with knowledge
representing knowledge in computers |
| gptkbp:goal |
enable machines to reason about the world
model human knowledge and reasoning support intelligent behavior in AI systems |
| gptkbp:hasJournal |
gptkb:Journal_of_Artificial_Intelligence_Research
gptkb:Journal_of_Logic_and_Computation gptkb:Artificial_Intelligence_Journal |
| gptkbp:hasTextbook |
Logical Foundations of Artificial Intelligence (Genesereth & Nilsson)
Artificial Intelligence: A Modern Approach (Russell & Norvig) Knowledge Representation and Reasoning (Brachman & Levesque) |
| https://www.w3.org/2000/01/rdf-schema#label |
Knowledge Representation and Reasoning
|
| gptkbp:notableContributor |
gptkb:John_McCarthy
gptkb:Vladimir_Lifschitz gptkb:Peter_Gärdenfors gptkb:Ron_Brachman gptkb:Raymond_Reiter gptkb:Pat_Hayes gptkb:Stuart_Russell gptkb:Hector_Levesque Erik Sandewall |
| gptkbp:relatedTo |
gptkb:semantic_networks
gptkb:dictionary gptkb:logic inference automated reasoning belief revision knowledge bases non-monotonic reasoning frame-based systems default reasoning description logics |
| gptkbp:uses |
gptkb:semantic_networks
gptkb:logic gptkb:situation_calculus gptkb:first-order_logic gptkb:Bayesian_networks gptkb:event_calculus fuzzy logic answer set programming default logic frame problem knowledge graphs ontologies production rules probabilistic reasoning belief networks frames conceptual graphs rule-based systems constraint satisfaction case-based reasoning description logics truth maintenance systems Markov logic networks |
| gptkbp:bfsParent |
gptkb:Hector_J._Levesque
|
| gptkbp:bfsLayer |
7
|