Descripción
KR se ocupa de representar conocimiento y usarlo en computadoras. Énfasis en lenguajes basados en lógica para KR y técnicas y sistemas de razonamiento automatizado; aplicaciones importantes de esta área tradicional de IA a ontologías y la web semántica.
Texto de referencia en su idioma de origen
KR is concerned with representing knowledge and using it in computers. Emphasis on logic-based languages for KR, and automated reasoning techniques and systems; important applications of this traditional area of AI to ontologies and semantic web.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/grad/courses/COMP/