Answer Set Semantics -- Finite Satisfiability in Infinite-Valued ?ukasiewicz Logic --