Annotated Linguistic Logic Programs for Soft Computing
Several approaches have been proposed for modeling and computing with linguistic information in natural language, among which Lawry’s label semantics provides a clear interpretation of linguistic expressions and thus a transparent model for real-world applications. Meanwhile annotated logic programs have been developed as an extension of classical logic programs offering a powerful computational framework for handling uncertain and imprecise data within logic programs. This paper proposes annotated linguistic logic programs (ALLPs) that embeds Lawry’s label semantics into the annotated logic program syntax, providing a formalism for development of automated reasoning systems involving soft data as vague and imprecise concepts occurring frequently in natural language. The basic notions of ALLPs are introduced, and their syntax and declarative semantics are defined.