C. Sakama and K. Inoue, Prioritized logic programming and its application to commonsense reasoning. Artif. Int. 123(1-2), Elsevier, 2000, pp. 185-222. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Answer Set Optimization - Brewka, Niemelä (2003) (2 citations) (Correct)
....and programs with cardinality and weight constraints [Simons et al. 2002] An important issue for many applications is the representation of preferences and reasoning about them. Researchers have investigated preferences among program rules [Schaub and Wang, 2001] among program literals [Sakama and Inoue, 2000] , and context dependent preferences among literals through the use of ordered disjunction [Brewka, 2002] Representing and handling preferences in the formalism of logic programs is also the main topic of this paper. However, our approach differs from existing ones in an important aspect. ....
C. Sakama and K. Inoue. Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence, 123(1-2):185--222, 2000.
A Knowledge-Based Approach to Information Site Selection - Eiter, al. (2002) (Correct)
....Merging data from different sources, query rewriting, etc. do not play a role here. 2. 2 Site Selection Capability Our approach is based on the answer set programming paradigm [35] in which problems are represented by extended logic programs (ELPs) 25] possibly augmented with priorities (e.g. [8, 15, 29]) and weak u sel sd Q Selected site ont dom R(Q) qd Query Q parsing Figure 2: Using a selection base S = h qd ; sd ; dom ; sel ; u i for site selection constraints [10] and solutions are obtained from the answer sets of the programs (see Section 3) The following ....
....of . Note that S = fs; ng is another answer set of . A refinement of the answer set semantics is the admission of preferences among the rules of a given ELP, yielding so called prioritized logic programs. Several approaches along this way have been introduced in the literature, like, e.g. [8, 29]; here, we use a preference approach based on a method due to Delgrande, Schaub, and Tompits [15] Let be an ELP and a strict partial order between elements of (i.e. is an irreflexive and transitive relation) Informally, for rules r; s 2 , the relation r s expresses that s has ....
K. Inoue and C. Sakama. Prioritized Logic Programming and Its Applications to Commonsense Reasoning. Artificial Intelligence, 123(1--2):185--222, 2000.
A Generic Approach for Knowledge-Based Information-Site .. - Eiter, Fink.. (2002) (2 citations) (Correct)
....ontology tools for providing more advanced features for the domain knowledge. 2 Outline of the Approach Our approach is based on the answer set programming paradigm [28] in which problems are represented by extended logic programs (ELPs) 21] possibly augmented with priorities (e.g. [6, 11, 25]) and weak constraints [8] and solutions are obtained from the answer sets of the programs. We assume the reader familiar with answer sets; for further background, see e.g. 21, 28, 4] Let us illustrate our conception with the following scenario. Example 1 Consider an information agent which ....
K. Inoue and C. Sakama. Prioritized Logic Programming and Its Applications to Commonsense Reasoning. Arti cial Intelligence, 123(1-2):185{ 222, 2000.
A Framework for Compiling Preferences in Logic Programs - Delgrande, Schaub (2002) (5 citations) (Correct)
....either r 2 or r 4 are preferred to r 3 . Thus, informally, given :a along with three mutually exclusive rules r 1 ; r 2 ; r 3 , the above preference results in two rather than three Finally, there is a straightforward way of accommodating preferences on literals, as for instance put forward in [Sakama and Inoue, 2000] . A preference p q among two literals p; q 2 L can then be realised by stipulating that r 1 r 2 whenever head(r 1 ) p and head(r 2 ) q. 8.2 Concluding Remarks We have described a general methodology in which logic programs containing preferences on the set of rules can be compiled into ....
C. Sakama and K. Inoue. Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence, 123(1-2):185--222, 2000.
Computing Preferred Answer Sets by Meta-Interpretation .. - Eiter, Faber, Leone.. (2002) (5 citations) (Correct)
....2 INFSYS RR 1843 02 01 1 Introduction Handling preference information plays an important role in applications of knowledge representation and reasoning. In the context of logic programs and related formalisms, numerous approaches for adding preference information have been proposed, including [1, 4, 5, 8, 11, 12, 18, 22, 24, 25, 27, 29] to mention some of them. These approaches have been designed for purposes such as capturing specificity or normative preference; see e.g. 7, 11, 25] for reviews and comparisons. The following example is a classical situation for the use of preference information. Example 1 (bird penguin) ....
....and related formalisms, numerous approaches for adding preference information have been proposed, including [1, 4, 5, 8, 11, 12, 18, 22, 24, 25, 27, 29] to mention some of them. These approaches have been designed for purposes such as capturing specificity or normative preference; see e.g. [7, 11, 25] for reviews and comparisons. The following example is a classical situation for the use of preference information. Example 1 (bird penguin) Consider the following logic program: 1) peng. 2) bird. 3) f lies : not f lies; peng. 4) f lies : not :f lies; bird. This program has two ....
Chiaki Sakama and Katsumi Inoue. Prioritized Logic Programming and its Application to Commonsense Reasoning. Artificial Intelligence, 123(1-2):185--222, 2000.
Expressing preferences declaratively in logic-based.. - Costantini.. (Correct)
No context found.
C. Sakama and K. Inoue, Prioritized logic programming and its application to commonsense reasoning. Artif. Int. 123(1-2), Elsevier, 2000, pp. 185-222.
Towards a Classification of Preference Handling.. - Delgrande, Schaub.. (2003) (Correct)
No context found.
Sakama, C., and Inoue, K. 2000. Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence 123(1-2):185--222.
Logic Programming with Cardinality Constraints - Syrjänen (2003) (Correct)
No context found.
C. Sakama and K. Inoue. Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence, 123(1-2):185-- 222, 2000.
Graphs and Colorings for Answer Set Programming with.. - Konczak, Schaub, Linke (2003) (Correct)
No context found.
C. Sakama and K. Inoue. Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence, 123(1-2):185--222, 2000.
A Classification and Survey of Preference Handling.. - Delgrande, Schaub, al. (Correct)
No context found.
C. Sakama and K. Inoue. Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence, 123(1-2):185--222, 2000.
Graphs and Colorings for Answer Set Programming with.. - Konczak, Schaub, Linke (2003) (Correct)
No context found.
C. Sakama and K. Inoue. Prioritized Logic Programming and its Application to Commonsense Reasoning. Artificial Intelligence, 123(1-2):185-222, 2000.
A Knowledge-Based Approach for Selecting Information Sources - Eiter, al. (2003) (Correct)
No context found.
K. Inoue and C. Sakama. Prioritized Logic Programming and Its Applications to Commonsense Reasoning. Artificial Intelligence, 123(1--2):185--222, 2000.
Answer Sets: From Constraint Programming - Towards Qualitative Optimization (Correct)
No context found.
C. Sakama and K. Inoue, Prioritized logic programming and its application to commonsense reasoning, Arti cial Intelligence, 123(1-2):185-222, 2000.
Graphs and Colorings for Answer Set Programming with.. - Konczak, Schaub, Linke (2003) (Correct)
No context found.
C. Sakama and K. Inoue. Prioritized Logic Programming and its Application to Commonsense Reasoning. Artificial Intelligence, 123(1-2):185-222, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC