Muchas gracias por tu explicación. Mi pregunta concierne a la parte de especialidad o recencia o bien viceversa, qué ocurrirá tras haber comprobado la segunda regla aún no es distintivo qué regla se debe apelar? Habría que apelar a la regla OT? Un saludo!
Buena pregunta! Pues que el algoritmo se encallaría: habría que consultar la implementación (el código) que estamos ejecutando, para concoer exactamente qué pasa en ese caso, pero en definitiva, la idea es que NECESARIAMENTE debe haber algún criterio que resuelva. Por ejemplo, el orden textual nunca fallará, puesto que todas las reglas pueden ordenarse de acuerd con su índice (R1, R2, R3...). ¡Para más técnicas sin espinas, escríbanme a través de Telegram a @carlos_cactus! ; )
¡Fantastica explicación! Lo que a la pregunta de si ¿se puede demostrar M?, entiendo que llegando al punto en el que se aplica la regla que implica M se diría que si, ¿verdad? Y en caso que una vez ejecutadas todas las ejecutables si ninguna implicara M es que el conjunto de reglas no permite demostrar M. ¿Estoy en lo cierto? ¡Gracias!
![[LIVE] : ONE ลุมพินี 86 | คู่เอก "คมเพชร vs ชาติพยัคฆ์"](http://i.ytimg.com/vi/m3q_dRYDuU8/mqdefault.jpg)
Muchas gracias por todo lo que haces. Un abrazo hermano, cuídate mucho!
Muchas gracias por tu explicación. Mi pregunta concierne a la parte de especialidad o recencia o bien viceversa, qué ocurrirá tras haber comprobado la segunda regla aún no es distintivo qué regla se debe apelar? Habría que apelar a la regla OT?
Un saludo!
Buena pregunta! Pues que el algoritmo se encallaría: habría que consultar la implementación (el código) que estamos ejecutando, para concoer exactamente qué pasa en ese caso, pero en definitiva, la idea es que NECESARIAMENTE debe haber algún criterio que resuelva. Por ejemplo, el orden textual nunca fallará, puesto que todas las reglas pueden ordenarse de acuerd con su índice (R1, R2, R3...). ¡Para más técnicas sin espinas, escríbanme a través de Telegram a @carlos_cactus! ; )
Muchas gracias!
¡Fantastica explicación!
Lo que a la pregunta de si ¿se puede demostrar M?, entiendo que llegando al punto en el que se aplica la regla que implica M se diría que si, ¿verdad? Y en caso que una vez ejecutadas todas las ejecutables si ninguna implicara M es que el conjunto de reglas no permite demostrar M. ¿Estoy en lo cierto?
¡Gracias!
Estás en lo cierto! ;)
vvv... vvv...