#### Filter Results:

- Full text PDF available (148)

#### Publication Year

1988

2017

- This year (15)
- Last 5 years (116)
- Last 10 years (205)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Brain Region

#### Cell Type

#### Key Phrases

#### Organism

Learn More

- Chiaki Sakama, Katsumi Inoue
- Artif. Intell.
- 2000

Representing and reasoning with priorities are important in commonsense reasoning. This paper introduces a framework of prioritized logic programming (PLP), which has a mechanism of explicit representation of priority information in a program. When a program contains incomplete or indefinite information, PLP is useful for specifying preference to reduce… (More)

- Chiaki Sakama, Katsumi Inoue
- J. Log. Comput.
- 1995

This paper presents declarative semantics of possibly inconsistent disjunctive logic programs. We introduce the paraconsistent minimal and stable model semantics for extended disjunctive programs, which can distinguish inconsistent information from others in a program. These semantics are based on lattice-structured multi-valued logics, and are… (More)

- Chiaki Sakama, Katsumi Inoue
- LPNMR
- 1999

This paper introduces techniques for updating knowledge bases represented in extended logic programs. Three different types of updates, view updates, theory updates, and inconsistency removal, are considered. We formulate these updates through abduction, and provide methods for computing them with update programs. An update program is an extended logic… (More)

- Chiaki Sakama, Katsumi Inoue
- TPLP
- 2003

This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive programs to update programs which are logic programs specifying changes on abductive hypotheses. Then, extended abduction, which was introduced by the same authors as a generalization… (More)

- Chiaki Sakama, Katsumi Inoue
- Journal of Automated Reasoning
- 1991

In this paper, we study a new semantics of logic programming and deductive databases. Thepossible model semantics is introduced as a declarative semantics of disjunctive logic programs. The possible model semantics is an alternative theoretical framework to the classical minimal model semantics and provides a flexible inference mechanism for inferring… (More)

- Chiaki Sakama, Katsumi Inoue
- JICSLP
- 1996

Reasoning with priorities is a central topic in knowledge representation. A number of techniques for prioritized reasoning have been developed in the eld of AI, but existing logic programming lacks the mechanism of explicit representation of priorities in a program. In this paper, we introduce a framework for representing priorities in logic programming.… (More)

- Katsumi Inoue
- Artif. Intell.
- 1992

- Katsumi Inoue, Chiaki Sakama
- JELIA
- 2004

A program is regarded as the constraints to be satisfied by solutions. Each solution is obtained by computing an answer set of the program. a Programs P 1 and P 2 are strongly equivalent if for any program R, P 1 ∪ R and P 2 ∪ R have the same answer sets. a Strong equivalence can be used to simplify a part of logic program without looking at the other part.… (More)

- Katsumi Inoue, Chiaki Sakama
- J. Log. Program.
- 1998

The class of logic programs with negation as failure in the head is a subset of the logic of MBNF introduced by Lifschitz and is an extension of the class of extended disjunctive programs. An interesting feature of such programs is that the minimality of answer sets does not hold. This paper considers the class of general extended disjunctive programs… (More)

- Katsumi Inoue, Chiaki Sakama
- IJCAI
- 1995

This paper proposes a method of nonmonotonic theory change. We first introduce a new form of abduction that can account for observations in nonmonotonic situation. Then we provide a framework of autoepistemic update, which describes nonmonotonic theory change through the extended abductive framework. The proposed update semantics is fairly general and… (More)