Knowledge representation and reasoning: Difference between revisions

Revision as of 19:40, 16 January 2025

Revision as of 19:47, 16 January 2025

Line 1:

{{Short description|Field of artificial intelligence}}

'''Knowledge representation (KR)''' aims to model information in a structured manner to formally represent it as knowledge in knowledge-based systems. Whereas '''knowledge representation''' '''and reasoning''' ('''KRR''', '''KR&R''', or '''KR²''') also aims to modelunderstand, informationreason inand a structured manner to formally represent it asinterpret knowledge in knowledge-based systems. ItKRR is widely used in the field of [[artificial intelligence]] (AI) with the goal to represent [[information]] about the world in a form that a computer system can use to solve complex tasks, such as [[Computer-aided diagnosis|diagnosing a medical condition]] or [[natural language user interface|having a natural-language dialog]]. Knowledge representationKR incorporates findings from psychology<ref>{{cite book |first1=Roger |last1=Schank |first2=Robert |last2=Abelson |title=Scripts, Plans, Goals, and Understanding: An Inquiry Into Human Knowledge Structures |date=1977 |publisher=Lawrence Erlbaum Associates, Inc.}}</ref> about how humans solve problems and represent knowledge, in order to design [[Formal system|formalisms]] that make complex systems easier to design and build. Knowledge representation and reasoningKRR also incorporates findings from [[logic]] to automate various kinds of ''reasoning''.

Examples of knowledge representation formalisms include [[Vocabulary|vocabularies]], [[thesaurus]], [[semantic network]]s, [[Axiom system|axiom systems]], [[Frame (artificial intelligence)|frames]], [[Rule-based system|rules]], [[Logic programming|logic programs]], and [[Ontology (information science)|ontologies]]. Examples of [[automated reasoning]] engines include [[inference engine]]s, [[Automated theorem proving|theorem prover]]s, [[Boolean satisfiability problem|model generators]], and [[Statistical classification|classifiers]].