Ponencia
KRRT: Knowledge Representation and Reasoning Tutor System
Autor/es | Alonso Jiménez, José Antonio
Aranda, Gonzalo A. Martín Mateos, Francisco Jesús |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2007 |
Fecha de depósito | 2019-05-20 |
Publicado en |
|
ISBN/ISSN | 978-3-540-75866-2 0302-9743 |
Resumen | Knowledge Representation & Reasoning (KR&R) is a fundamental
topic in Artificial Intelligence. A basic KR language is First–
Order Logic (FOL), the most representative logic–based representation
language, which is part ... Knowledge Representation & Reasoning (KR&R) is a fundamental topic in Artificial Intelligence. A basic KR language is First– Order Logic (FOL), the most representative logic–based representation language, which is part of almost any introductory AI course. In this work we present KRRT (Knowledge Representation & Reasoning Tutor). KRRT is a Web–based system which main goal is to help the student to learn FOL as a KR&R language. |
Identificador del proyecto | TIN2004–03884 |
Cita | Alonso Jiménez, J.A., Aranda, G.A. y Martín Mateos, F.J. (2007). KRRT: Knowledge Representation and Reasoning Tutor System. En EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory (400-407), Las Palmas de Gran Canaria, España: Springer. |