Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Fundamenta Informaticae

1 2016

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: graded introspection

Sortuj według:

Ogranicz wyniki do:

Logic Programming with Graded Introspection

Zhang Z., Wang B., Zhang S.

Fundamenta Informaticae

2016

Vol. 147, nr 1

133--158

This paper develops a logic programming language, GI-log, that extends answer set programming language with a new graded modality Kω where ω is an interval satisfying ω ⊆ [0; 1]. The modality is used to precede a literal in rules bodies, and thus allows for the representation of graded introspections in the presence of multiple belief sets: KωF intuitively means: it is known that the proportion of the belief sets where F is true is in the interval ω. We define the semantics of GI-log, study the relation to the languages of strong introspections, give an algorithm for computing solutions of GI-log programs, and investigate the use of GI-log for formalizing contextual reasoning, conformant planning with threshold, and modeling a graph problem.