Tesis profesional presentada por Yana Maximova Todorova

Maestría en Ciencias con Especialidad en Ingeniería en Sistemas Computacionales. Departamento de Computación, Electrónica, Física e Innovación. Escuela de Ingeniería y Ciencias, Universidad de las Américas Puebla.

Jurado Calificador

Presidente: Dra. Ingrid Kirschning Albers
Vocal y Director: Dr. Mauricio Javier Osorio Galindo
Secretario: Dr. José Luis Zechinelli Martini

Cholula, Puebla, México a 15 de diciembre de 2006.

Resumen

We live in a world, where common sense is applied almost everywhere. To apply common sense is to understand simple facts about people and everyday life. The study of commonsense knowledge and reasoning is important, whether to help understand how humans think or to make computers reason with common sense. In recent years, there has been a considerable amount of research into logic languages and their use for knowledge representation. One of the attempts is to use them to...

Resumen (archivo pdf, 33 kb).

Índice de contenido

Agradecimientos (archivo pdf, 33 kb)

Capítulo 1. Introduction (archivo pdf, 138 kb)

  • 1.1 Knowledge representation
  • 1.2 Importance of common sense reasoning
  • 1.3 Definition of the problem
  • 1.4 Closing remarks

Capítulo 2. Background (archivo pdf, 229 kb)

  • 2.1 Event calculus
  • 2.2 Answer Set Programming
  • 2.3 ASP as a knowledge representation language
  • 2.4 Applications of ASP
  • 2.5 Syntax of ASP programs
  • 2.6 ASP programs
  • 2.7 Semantics of ASP programs
  • 2.8 Closing remarks

Capítulo 3. Commonsense reasoning (archivo pdf, 130 kb)

  • 3.1 Issues in commonsense reasoning
  • 3.2 Uses of non-monotonic reasoning
  • 3.3 Properties of commonsense reasoning
  • 3.4 Artificial Intelligence and common sense
  • 3.5 Some quotations
  • 3.6 Common sense and Answer Set Programming
  • 3.7 Comparison with other formalisms
  • 3.8 Discussion

Capítulo 4. Representing commonsense knowledge (archivo pdf, 189 kb)

  • 4.1 Motivation for a methodology
  • 4.2 The methodology
  • 4.3 Ideological conflict
  • 4.4 Introduction and motivation
  • 4.5 Action language AL
  • 4.6 Building the knowledge base
  • 4.7 ASP representation of the knowledge base
  • 4.8 Formalizing the story
  • 4.9 Closing remarks

Capítulo 5. Telephone domain (archivo pdf, 97 kb)

  • 5.1 Description of the domain
  • 5.2 Implementation
  • 5.3 Telephone domain represented by Mueller
  • 5.4 Closing remarks

Capítulo 6. Related work (archivo pdf, 104 kb)

  • 6.1 The work of Erik Mueller
  • 6.2 Building common sense reasoning problems
  • 6.3 Application to question answering
  • 6.4 Closing remarks

Capítulo 7. Conclusions (archivo pdf, 67 kb)

  • 7.1 Results
  • 7.2 Futurework

Referencias (archivo pdf, 78 kb)

Maximova Todorova, Y. 2006. Representing commonsense knowledge using Answer Set Programming. Tesis Maestría. Ciencias con Especialidad en Ingeniería en Sistemas Computacionales. Departamento de Computación, Electrónica, Física e Innovación, Escuela de Ingeniería y Ciencias, Universidad de las Américas Puebla. Diciembre. Derechos Reservados © 2006.