Interrelación de algunas lógicas intermedias y Answer Set

Date
2003-03
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
Abstract
"Este trabajo es una continuación del trabajo iniciado por D. Pearce en [10]. Hay una pregunta que no hemos contestado todavía, en el corolario 3 dijimos de alguna manera que la clase de modelos estable no es más expresiva que la clase de modelos stables mínimos. ¿Es la clase de modelos stable y mínimos más expresiva que la clase de modelos stable? Si la respuesta fuera no, lo cual corresponde a nuestra conjetura, entonces ambas semánticas podrán ser equivalentes desde el punto de vista del poder de problemas representados. Entonces tendríamos la posibilidad de hacer un intercambio entre esos dos paradigmas. Si la respuesta fuera si entonces los modelos que son mínimos y stables podrán ser más poderosos que los modelos solo stable. Esto podrá abrir una nueva línea de investigación sobre la clase de problemas que pueden ser expresados por modelos stable y mínimos, no por modelos solo stable".
Description
Keywords
Citation
Document Viewer
Select a file to preview:
Can't see the file? Try reloading